Priorité d'opérateur dans boost :: spirit?

Question

J'ai fait quelques tests en utilisant l'échantillon spirit mini_c. Malheureusement, il ne tient pas la priorité des opérateurs comme prévu:

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

est évaluée à 0.

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

retourne 1

J'ai essayé de déplacer la définition de "||" et « & & » au très haut dans le constructeur de

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

mais cela ne change rien. Comment cela peut-il être réparé? J'utilise boost 1.3.38.

Answer 1

Confirmé, c'est un bogue dans l'exemple de mini_c lié à la priorité de l'opérateur. J'ai commis une correction à SVN, qui sera disponible dans Boost V1.45. Voici ce que j'ai changé dans le fichier d'en-tête mini_cb.hpp:

ancien code:

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

nouveau code:

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