Yacc不允许传递物体.因为%union只能包含POD类型,所以复杂对象必须是新的并且由指针传递.如果发生语法错误,yacc解析器将停止运行,并且对所有这些创建的对象的引用都将丢失.
我提出的唯一解决方案是所有new’d对象继承特定的基类,在分配时添加到容器中,如果有错误,则可以删除该容器中的所有内容.
有谁知道任何更好的yacc技巧来解决这个问题?
请不要告诉我选择不同的解析器.
最佳答案 我喜欢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接口并在调用非终结表达式之前将其自身推送到堆栈.这是很多额外的代码,但它控制对象的生命周期.
更新
表达式示例很糟糕,因为在减少左操作数之后才知道操作.尽管如此,这种技术在许多情况下都有效,并且只需要对表达式进行一些调整.