C ++向量和分段错误

时间:2012-04-08 05:26:37

标签: c++ vector segmentation-fault binary-tree abstract-syntax-tree

我正在研究一个简单的数学解析器。只读number = 1 + 2;

的东西

我有一个包含这些标记的向量。它们存储字符的类型和字符串值。我试图通过向量逐步构建这些令牌的AST,并且我不断得到分段错误,即使我的印象是我的代码应该阻止这种情况发生。

以下是构建AST的代码:

struct ASTGen
{
    const vector<Token>            &Tokens;
    unsigned int                   size,
                                   pointer;

    ASTGen(const vector<Token> &t) : Tokens(t), pointer(0) 
    {
        size = Tokens.size() - 1;
    }

    unsigned int next()
    {
        return pointer + 1;
    }

    Node* Statement()
    {
        if(next() <= size)
        {
            switch(Tokens[next()].type)
            {
                case EQUALS
                :
                    Node* n = Assignment_Expr();
                    return n;
            }
        }

        advance();
    }

    void advance()
    {
        if(next() <= size) ++pointer;
    }

    Node* Assignment_Expr()
    {
        Node* lnode = new Node(Tokens[pointer], NULL, NULL);
        advance();
        Node* n = new Node(Tokens[pointer], lnode, Expression());
        return n;
    }

    Node* Expression()
    {
        if(next() <= size)
        {                        
            advance();
            if(Tokens[next()].type == SEMICOLON)
            {
                Node* n = new Node(Tokens[pointer], NULL, NULL);
                return n;
            }

            if(Tokens[next()].type == PLUS)
            {
                Node* lnode = new Node(Tokens[pointer], NULL, NULL);
                advance();
                Node* n = new Node(Tokens[pointer], lnode, Expression());
                return n;
            }
        }
    }
};

...

ASTGen AST(Tokens);
Node* Tree = AST.Statement();
cout << Tree->Right->Data.svalue << endl;

我可以访问Tree->Data.svalue并获取=节点的令牌信息,因此我知道该节点正在生成,我也可以获取Tree->Left->Data.svalue并获取左侧的变量=

我已经多次重写它尝试了不同的方法来逐步执行向量,但是当我尝试访问=右边节点(应该是{{1})时,我总是遇到分段错误} node)

非常感谢任何帮助。

1 个答案:

答案 0 :(得分:4)

我们还没有看到更多的代码,所以我无法准确地告诉你发生了什么,但我看到一些令人担忧的事情。一个是Statement()方法并不总是返回一个值。如果第一个if测试没有通过,那么我们调用advance()并在没有明确返回的情况下从例程的底部掉下来。调用者将尝试获取函数的返回值,但它会变得垃圾。这可能会导致各种问题,包括双free()次调用等问题,这些问题很容易导致段错误。

Expression()也有同样的问题。