c – 在基于yacc的解析器中防止内存泄漏的最佳方法是什么？

我不知道你是使用C还是C.为了我自己的目的,我修改了Yacc来生成C,但是这个解决方案可以适用于C.

我首选的解决方案是将一个接口传递给解析树下的所有者,而不是堆栈中构造的对象.通过在Yacc之外创建自己的堆栈来做到这一点.在调用分配对象的非终端之前,将该对象的所有者推送到此堆栈.

例如：

class IExpressionOwner
{
public:
    virtual ExpressionAdd *newExpressionAdd() = 0;
    virtual ExpressionSubstract *newExpressionSubtract() = 0;
    virtual ExpressionMultiply *newExpressionMultiply() = 0;
    virtual ExpressionDivide *newExpressionDivide() = 0;
};

class ExpressionAdd : public Expression,public IExpressionOwner
{
private:
    std::auto_ptr<Expression> left;
    std::auto_ptr<Expression> right;

public:
    ExpressionAdd *newExpressionAdd()
    {
        ExpressionAdd *newExpression = new ExpressionAdd();
        std::auto_ptr<Expression> autoPtr(newExpression);
        if (left.get() == NULL)
            left = autoPtr;
        else
            right = autoPtr;
        return newExpression;
    }

    ...
};

class Parser
{
private:
    std::stack<IExpressionOwner *> expressionOwner;

    ...
};

想要表达式的所有东西都必须实现IExpressionOwner接口并在调用非终结表达式之前将其自身推送到堆栈.这是很多额外的代码,但它控制对象的生命周期.

更新

表达式示例很糟糕,因为在减少左操作数之后才知道操作.尽管如此,这种技术在许多情况下都有效,并且只需要对表达式进行一些调整.