Prioridad del operador en boost :: spirit?

Question

Hice algunas pruebas con la muestra spirit mini_c. Por desgracia, no se mantiene la prioridad de los operadores como se esperaba:

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

evalúa a 0.

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

devuelve 1

Traté de mover la definición de "||" y "& &" a lo más alto en el constructor de

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

pero eso no cambia nada. ¿Cómo puede ser arreglado? Estoy usando boost 1.3.38.

Answer 1

Confirmado, eso es un error en el ejemplo mini_c relacionado con la precedencia del operador. Apliqué una solución a SVN, que estará disponible en Boost V1.45. Esto es lo que ha cambiado en el archivo de cabecera mini_cb.hpp:

código antiguo:

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)]) 
     ) 
    ; 

nuevo código:

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)]) 
     ) 
    ;