Comment faire pour contourner apply_visitor variante ne supporte pas 3 args?

Question

Pour une raison quelconque, en utilisant la variante de boost (je sais qu'il ya une C++ 17 la version, je suis fournir rétrocompatibilité ici, et en plus C++ 17 ne sont pas entièrement pris en charge par clang ++ encore) conduit à un comportement étrange quand en utilisant le paradigme du visiteur:

2 arguments, travaille

#include <iostream> 
#include <boost/variant.hpp> 

using boost::variant; 

typedef boost::variant<double, std::string> term_t; 

class plus_visitor : public boost::static_visitor<term_t> { 
public: 
    term_t operator()(double lhs, double rhs) const{ 
     return {lhs + rhs}; 
    } 
    term_t operator()(double lhs, std::string rhs) const{ 
     return {lhs + std::stoi(rhs)}; 
    } 
    term_t operator()(std::string lhs, int rhs) const{ 
     return operator()(rhs, lhs); 
    } 
    term_t operator()(std::string lhs, std::string rhs) const{ 
     return std::stoi(lhs) + std::stoi(rhs); 
    } 
}; 

int main(){ 
    // term_t lhs {3.0}; 
    term_t rhs {"10"}; 
    term_t lhs {"3"}; 
    term_t res = boost::apply_visitor(plus_visitor(), lhs, rhs); 
    std::cout << res << std::endl; 
    return 0; 
} 

Il produit 13 comme prévu.

3 arguments, explose

#include <iostream> 
#include <boost/variant.hpp> 

using boost::variant; 

typedef boost::variant<double, std::string> term_t; 

class plus_visitor : public boost::static_visitor<term_t> { 
public: 
    term_t operator()(double lhs, double rhs, double x) const{ 
     return {lhs + rhs + x}; 
    } 
    term_t operator()(double lhs, std::string rhs, double x) const{ 
     return {lhs + std::stoi(rhs) + x}; 
    } 
    term_t operator()(std::string lhs, double rhs, double x) const{ 
     return operator()(rhs, lhs, x); 
    } 
    term_t operator()(std::string lhs, std::string rhs, double x) const{ 
     return std::stoi(lhs) + std::stoi(rhs) + x; 
    } 
}; 

int main(){ 
    term_t rhs {"10"}; 
    term_t lhs {"3"}; 
    term_t x {3.0}; 
    term_t res = boost::apply_visitor(plus_visitor(), lhs, rhs, x); 
    std::cout << res << std::endl; 
    return 0; 
} 

Quelle est l'affaire ici? Est-ce que apply_visitor ne fonctionne que pour 2 arguments?

Diagnostic

je regardais à la documentation et a constaté que:

http://www.boost.org/doc/libs/1_36_0/doc/html/boost/apply_visitor.html

apply_visitor ne fonctionne que pour les arguments binaires ou arguments unaire! C'est nul! Comment puis-je contourner cela et en fournir un troisième sans être complètement moche dans la syntaxe? Y a-t-il une autre fonction de bibliothèque boost qui permet plus d'entrées? Pourquoi la bibliothèque boost n'utiliser des modèles variadique pour permettre de taille apply_visitor arbitraires fonctions?

Answer 1

Vous regardez la documentation pour Boost 1,36, ce qui était released in 2008. Si vous regardez le documentation for the current release, il énumère les surcharges suivantes apply_visitor

template<typename MultiVisitor, typename Variant1, typename Variant2, 
     typename Variant3> 
    typename MultiVisitor::result_type OR decltype(auto) 
    apply_visitor(MultiVisitor & visitor, Variant1 & operand1, 
       Variant2 & operand2, Variant3 & operand3, ... other_operands); 
template<typename MultiVisitor, typename Variant1, typename Variant2, 
     typename Variant3> 
    typename MultiVisitor::result_type OR decltype(auto) 
    apply_visitor(const MultiVisitor & visitor, Variant1 & operand1, 
       Variant2 & operand2, Variant3 & operand3, ... other_operands); 

La documentation indique également

Surcharges acceptant trois opérandes ou plus invoquer l'opérateur d'appel de fonction du visiteur donné sur le contenu du opérandes variants donnés. ... Ces fonctions sont en fait définies dans un en-tête boost/variant/multivisitors.hpp ... cet en-tête doit être inclus manuellement si les visiteurs sont multiples destinés à une utilisation.

Alors assurez-vous que vous utilisez un récent communiqué de Boost, inclure l'en-tête pertinent, définir les operator() manquantes pour l'surcharge exemple 3 argument et votre code devrait compiler.