Precedenza dell'operatore in boost :: spirit?

Question

Ho effettuato alcuni test utilizzando lo spirit mini_c sample. Purtroppo non mantiene la precedenza dell'operatore come previsto:

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

viene valutato come 0.

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

restituisce 1

ho provato a spostare la definizione di "||" e "& &" al vertice nel costruttore di

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

ma questo non cambia nulla. Come può essere risolto. Sto usando boost 1.3.38.

Answer 1

Confermato, questo è un bug nell'esempio mini_c relativo alla precedenza degli operatori. Ho eseguito una correzione per SVN, che sarà disponibile in Boost V1.45. Ecco quello che ho cambiato nel file di intestazione mini_cb.hpp:

vecchio codice:

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

nuovo codice:

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