_block_type_is_valid phead-在删除命令上使用nblock

Question

So I know this is a pretty common error, but I'm very new to C++, we are using it for a programing languages class, and this error has me stuck. The delete parser; line is the line that causes this error, and I cannot figure out why.

Turtle2.cpp

#include <iostream> 
#include <sstream> 
#include <string> 
#include <fstream> 
#include "scanner.h" 
#include "parser.h"

using namespace std; 

int main(int argc, char* argv[]) { 
//string line; 
if (argc != 2) { 
    cout << "Usage: turtle filename" << endl; 
    return 0; 
} 
char* filename = argv[1];
cout << "filename is " << filename << endl; 
ifstream in(filename); 
Parser * parser = new Parser(&in); 
AST* tree = parser->parse(); 

tree->evaluate(); 

delete tree; 
delete parser;   //This is the line that causes the error!
return 0; 
} 

parser.cpp

#include "parser.h"
#include "calcex.h"
#include <string>
#include <sstream>

Parser::Parser(istream* in) {
scan = new Scanner(in);
}

Parser::~Parser() {
try {
  delete scan;
} catch (...) {
}
}

AST* Parser::parse() {
AST* returnValue = Prog();
cout << "We are still ok1" << endl;
return returnValue;
}

AST* Parser::Prog() {
AST* result = StmtList();
Token* t = scan->getToken();

if (t->getType() != eof) {
    cout << "Syntax Error: Expected EOF, found token at column " << t->getCol() << endl;
throw ParseError;
}
cout << "We are still ok2" << endl;
return result;
}

AST* Parser::StmtList() {
AST* result = Statement();
Token* t = scan->getToken();
scan->putBackToken();   

if (t->getType() != eof) {
  AST* result = StmtList();
        return result;
}

return result;
}

AST* Parser::Statement() {
float num1;
float num2;
stmtNode* node;
Token* t = scan->getToken();
/*if (turtle->getType() != keyword || turtle->getLex() != "turtle"){
    cerr <<"expected turtle" << endl;  //print to standard error stream
    throw ParseError;
}*/
if (t->getType() == keyword && t->getLex() == "turtle"){
    t = scan->getToken();
    if (t->getType() == dot){
        t = scan->getToken();
        if (t->getType() == keyword && t->getLex() == "goto"){
            t = scan->getToken();
            if (t->getType() == lparen){
                t = scan->getToken();
                if (t->getType() == number){
                    istringstream in(t->getLex());
                    in >> num1;
                    t = scan->getToken();
                    if (t->getType() == comma){
                        t = scan->getToken();
                        if (t->getType() == number){
                            istringstream in(t->getLex());
                            in >> num2;
                            t = scan->getToken();
                            if (t->getType() == rparen){
                                cout << "Good" << endl;
                                node = new stmtNode(num1,num2);
                                cout << "X is " << node->getX() << endl;
                                cout << "Y is " << node->getY() << endl;
                            }
                        }
                    }
                }
            }
        }
    }
}
else{
    cout << "bad" << endl;
}
return node;
}

scanner.cpp

#include "scanner.h"
#include "calcex.h"
#include <iostream>
#include <string>

using namespace std;

//Uncomment this to get debug information
//#define debug

const int numberOfKeywords = 2;

const string keywd[numberOfKeywords] = { //defining the keywords
string("turtle"), string("goto")
};

int isLetter(char c) { //c is bigger or equal to 'a' and small or equal to 'z'. same     for captial versions
return ((c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z'));
}

int isDigit(char c) { //c is bigger or equal to '0' or smaller or equal to '9' 
return (c >= '0' && c <= '9');
}

int isWhiteSpace(char c) { //c is a space, tab or newline
return (c == ' ' || c == '\t' || c == '\n');
}

Scanner::Scanner(istream* in): //scanner constructor
inStream(in),
lineCount(1),
colCount(0),
needToken(true),
lastToken(0)
{}

Scanner::~Scanner() { //scanner de-constructor
try {
  delete inStream;
} catch (...) {}
}

void Scanner::putBackToken() { //method?
needToken = false;
}

Token* Scanner::getToken() { //method?
if (!needToken) {
  needToken=true;
  return lastToken;
}

Token* t;
int state=0;
bool foundOne=false;
char c;
string lex;
TokenType type;
int k;
int column, line;

c = inStream->get();

while (!foundOne) {
  colCount++;
  switch (state) {
     case 0 : 
        lex = "";
        column=colCount;
        line = lineCount;
        if (isLetter(c)) state=1;
        else if (isDigit(c)) state=2;
        else if (c=='.') state=3;
        else if (c==',') state=4;
        else if (c=='(') state=5;
        else if (c==')') state=6;
        else if (c=='\n') {
           colCount=0;
           lineCount++;
        }
        else if (isWhiteSpace(c));
        else if (inStream->eof()) {
           foundOne=true;
           type=eof;
        }
        else {
           cout << "Unrecognized Token found at line " << line <<
              " and column " << column << endl;
           throw UnrecognizedToken;
        }
        break;
     case 1 :
        if (isLetter(c) || isDigit(c)) state=1;
        else {
           for (k=0;k<numberOfKeywords;k++)
              if (lex == keywd[k]) {
                 foundOne = true;
                 type = keyword;
              }
           if (!foundOne) {
              type = identifier;
              foundOne = true;
           }
        }
        break;
     case 2 :
        if (isDigit(c)) state=2;
        else {
           type = number;
           foundOne=true;
        }
        break;
     case 3 :
        type = dot;
        foundOne = true;
        break;
     case 4 :
        type = comma;
        foundOne = true;
        break;
     case 5 :
        type = lparen;
        foundOne=true;
        break;
     case 6 :
        type = rparen;
        foundOne=true;
        break;
  }

  if (!foundOne) {
     lex = lex + c;
     c = inStream->get();
  }
 }

 inStream->putback(c);
 colCount--;
 if (type == number || type == identifier || type == keyword) {
  t = new Token(type,new string(lex),line, column);
 }
 else {
  t = new Token(type,new string(lex),line,column);
 }

 #ifdef debug
 cout << "just found " << lex << " with type " << type << endl;
 #endif

 lastToken = t;
 return t;

}

I don't know if that is enough code to help you guys out or not, if you need anything more just ask, its not a secret or anything :) I know its the de-constructor for parser, but I have no idea how to fix it, or really why this is happening... I've added scanner.cpp, because some ponited out that the problem could be in its deconstructor, so I hope that helps.

Answer 1

The reason why this is failing is that you are using delete on something that was allocated on the stack.

Note the combination of ifstream in(filename); , creating an ifstream on the stack and the delete inStream; in the destructor of Scanner.

The easiest suggestion would be to allocate in on the heap, whish ifstream *in = new ifstream(filename) or whatnot.

A better solution would probably be to have the other classes(Scanner, Parser, etc) take the ifstream by reference, and avoid pointers unless they are needed.

Answer 2

You are trying to delete a stack variable, in the destructor of Scanner.

Parser * parser = new Parser(&in); 

Parser::Parser(istream* in) {
scan = new Scanner(in);
}

Parser::Parser(istream* in) {
scan = new Scanner(in);
}

Parser::~Parser() {
try {
  delete scan;
} catch (...) {
}
}

Scanner::~Scanner() { //scanner de-constructor
try {
  delete inStream;
} catch (...) {}
}