Analyse de listes imbriquées avec Boost.Spirit

Question

J'essaye d'analyser des listes de nombres imbriquées avec Boost.Spirit. Voilà ce que j'ai jusqu'à présent:

//define a test string 
std::string string = "[[\t1 , 2 ], [3, 4, 65.4]]"; 
auto it = string.begin(); 

//parse the string 
std::vector<std::vector<double>> vector; 
auto listRule = "[" >> (qi::double_ % ",") >> "]"; 
auto list2Rule = "[" >> (listRule % ",") >> "]"; 
bool match = qi::phrase_parse(it, string.end(), list2Rule, ascii::space, vector); 

//check if we have a match 
std::cout << "matched: " << std::boolalpha << match << '\n'; 
if (it != string.end()) 
    std::cout << "unmatched part: " << std::string{it, string.end()} << '\n'; 

//print the result 
std::cout << "result\n"; 
for (const auto& v : vector) { 
    std::cout << "["; 
    for (double i : v) 
     std::cout << i << ","; 
    std::cout << "]\n"; 
} 

Les travaux ci-dessus à merveille et impressions:

matched: true 
result 
[1,2,] 
[3,4,65.4,] 

Le problème que je suis confronté est qu'il n'accepte pas vides listes. Par exemple, en changeant la chaîne comme ceci:

std::string string = "[[\t1 , 2 ], [3, 4, 65.4], []]"; 

alors je n'ai pas de match (c'est match == false et it == string.begin()). Le vecteur est toujours peuplé, apparemment, mais la dernière liste vide est manquante. Quelqu'un peut-il expliquer pourquoi c'est le cas et comment y remédier?

Answer 1

Vous utilisez auto pour les modèles proto d'expression dans le domaine Qi - c'est un comportement non défini 99,9% du temps:

• undefined behaviour somewhere in boost::spirit::qi::phrase_parse

Maintenant, pendant que vous résoudre ce problème, assurez-vous aussi corps de liste optionnelle:

Live On Coliru

#include <boost/spirit/include/qi.hpp> 
namespace qi = boost::spirit::qi; 

int main() { 
    using It  = std::string::const_iterator; 
    using Skipper = qi::space_type; 

    for(std::string const input : { "[[\t1 , 2 ], [3, 4, 65.4]]", "[[\t1 , 2 ], [3, 4, 65.4], []]", "[]" }) 
    { 
     std::cout << " ---- '" << input << "' ----\n"; 
     auto it = input.begin(); 

     //parse the string 
     using doubles = std::vector<double>; 
     using vectors = std::vector<doubles>; 

     qi::rule<It, doubles(), Skipper> doubles_ = "[" >> -(qi::double_ % ",") >> "]"; 
     qi::rule<It, vectors(), Skipper> vectors_ = "[" >> -(doubles_ % ",") >> "]"; 

     vectors data; 
     bool match = qi::phrase_parse(it, input.end(), vectors_, qi::space, data); 

     //check if we have a match 
     std::cout << "matched: " << std::boolalpha << match << '\n'; 
     if (it != input.end()) 
      std::cout << "unmatched part: " << std::string{it, input.end()} << '\n'; 

     //print the result 
     std::cout << "result\n"; 
     for (const auto& v : data) { 
      std::cout << "["; 
      for (double i : v) 
       std::cout << i << ","; 
      std::cout << "]\n"; 
     } 
    } 
} 

Prints

---- '[[ 1 , 2 ], [3, 4, 65.4]]' ---- 
matched: true 
result 
[1,2,] 
[3,4,65.4,] 
---- '[[ 1 , 2 ], [3, 4, 65.4], []]' ---- 
matched: true 
result 
[1,2,] 
[3,4,65.4,] 
[] 
---- '[]' ---- 
matched: true 
result