boost :: any und templates

Question

Ich schreibe eine Bibliothek, die eine gute Menge von beiden Vorlagen Tricks und boost :: any enthält. Ich habe in einer Situation führen, wo ich dies im Wesentlichen haben:

boost::any a1, a2, a3, a4; 

... und ich brauche eine Funktion aufzurufen, die wie folgt aussieht:

template <typename A1, typename A2, typename A3, typename A4> 
void somefunc (A1 a1, A2 a2, A3 a3, A4 a4); 

ich auf eine obszöne verschachtelte Serie zurückgreifen konnte von if-Anweisungen, aber unter der Annahme, dass ich 10 unterschiedliche Typen handle, sind das 10.000 if-Anweisungen! Boost Präprozessor könnte hier helfen, aber das ist immer noch eine schreckliche Lösung.

Gibt es eine bessere Möglichkeit, eine Template-Funktion mit dem Inhalt eines boost :: any aufzurufen, ohne auf diese Art von Wahnsinn zurückzugreifen? Soweit ich das beurteilen kann, gibt es das nicht.

Answer 1

Wenn alle Ihre any Objekte gleichzeitig gesetzt werden können, können Sie den Typ für den Funktionszeiger dann hart und genau dort codieren. Fülle alles in ein separates Objekt und du kannst loslegen. Dies ist im Grunde ein Doppeltnehmen auf type-erasure und auch durch virtuelle Funktionen implementiert werden könnte (wie, wie boost::any arbeitet intern), aber Ich mag diese Version mehr:

// note that this can easily be adapted to boost::tuple and variadic templates 
struct any_container{ 
    template<class T1, class T3, class T3> 
    any_container(T1 const& a1, T2 const& a2, T3 const& a3) 
    : _ichi(a1), _ni(a2), _san(a3), _somefunc(&somefunc<T1, T2, T3>) {} 

    void call(){ _somefunc(_ichi, _ni, _san); } 

private: 
    boost::any _ichi, _ni, _san; 
    // adjust to your need 
    typedef void (*func_type)(boost::any&, boost::any&, boost::any&); 
    func_type _somefunc; 

    template<class T1, class T2, class T3> 
    void somefunc(boost::any& a1, boost::any& a2, boost::any& a3){ 
    // access any objects with 'boost::any_cast<TN>(aN)' 
    } 
};