Zwiększ MPL: wywołanie funkcji (członek) tylko jeśli istnieje

Question

Mam klasy A, która ma parametr szablonu T. Istnieją przypadki użycia, gdzie klasa T oferuje funkcję func1() i są przypadki użycia, gdzie T doesn nie oferuj tego. Funkcja f() w A powinna wywoływać func1(), iff istnieje. Myślę, że powinno to być możliwe dzięki boost mpl, ale nie wiem jak. Oto niektóre pseudo kod:

template<class T> 
class A 
{ 
    void f(T param) 
    { 
     if(T::func1 is an existing function) 
      param.func1(); 
    } 
}; 

Jeszcze lepiej byłoby inaczej-case:

template<class T> 
class A 
{ 
    void f(T param) 
    { 
     if(T::func1 is an existing function) 
      param.func1(); 
     else 
      cout << "func1 doesn't exist" << endl; 
    } 
}; 

Answer 1

Boost.MPL nie radzić sobie z tym, jak jest to ściśle dla PZT i nie można nazwać członków w TMP. Boost.Fusion i Boost.TypeTraits również nic nie mają; Myślałem, że któryś z nich, ale najwyraźniej błędnie.

Here i here to niektóre rozwiązania dotyczące pisania cech wykrywających członka w C++ 03. Gdy masz taką cechę (ja to has_func1_member nazwać), można go używać do SFINAE:

template<typename T> 
typename boost::enable_if<has_func1_member<T> >::type 
maybe_call(T& t) 
{ t.func1(); } 

template<typename T> 
typename boost::disable_if<has_func1_member<T> >::type 
maybe_call(T&) 
{ 
    // handle missing member case 
} 

// your example code would then do: 
maybe_call(param); 

Należy zauważyć, że z C++ 11 Łatwiej jest napisać cechę w pierwszej kolejności, chociaż to wciąż nieco tajemniczy.