8

我使用 Spirit mini_c 样本进行了一些测试。不幸的是,它没有按预期保持运算符优先级:

int main()
{
    return 3 > 10 || 3 > 1;
}

评估为 0。

return (3 > 10) || (3 > 1);

返回 1

我试图移动“||”的定义 和“&&”在构造函数的最顶端

template <typename Iterator>
expression<Iterator>::expression(

但这并没有改变任何事情。这怎么可能解决。我正在使用提升 1.3.38。

4

1 回答 1

7

确认,这是 mini_c 示例中与运算符优先级相关的错误。我对 SVN 进行了修复,它将在 Boost V1.45 中可用。这是我在头文件 mini_cb.hpp 中更改的内容:

旧代码:

equality_expr =
    relational_expr
    >> *(   ("==" > relational_expr     [op(op_eq)])
        |   ("!=" > relational_expr     [op(op_neq)])
        )
    ;

relational_expr =
    logical_expr
    >> *(   ("<=" > logical_expr        [op(op_lte)])
        |   ('<' > logical_expr         [op(op_lt)])
        |   (">=" > logical_expr        [op(op_gte)])
        |   ('>' > logical_expr         [op(op_gt)])
        )
    ;

logical_expr =
    additive_expr
    >> *(   ("&&" > additive_expr       [op(op_and)])
        |   ("||" > additive_expr       [op(op_or)])
        )
    ;

新代码:

equality_expr =
    logical_expr
    >> *(   ("==" > logical_expr        [op(op_eq)])
        |   ("!=" > logical_expr        [op(op_neq)])
        )
    ;

logical_expr =
    relational_expr
    >> *(   ("&&" > relational_expr     [op(op_and)])
        |   ("||" > relational_expr     [op(op_or)])
        )
    ;

relational_expr =
    additive_expr
    >> *(   ("<=" > additive_expr       [op(op_lte)])
        |   ('<' > additive_expr        [op(op_lt)])
        |   (">=" > additive_expr       [op(op_gte)])
        |   ('>' > additive_expr        [op(op_gt)])
        )
    ;
于 2010-08-28T15:54:29.090 回答