Yükseltme MPL: Sadece (0)

Question

varsa bir üye işlevini çağırın. Şablon parametresi T olan bir A sınıfına sahibim. T sınıfının func1() fonksiyonunu sunduğu durumlarda kullanım durumları vardır ve burada T yokken kullanım durumları vardır. teklif etmeyin. A'daki f() işlevi, varsa func1() işlevini çağırmalıdır. Sanırım bu destek mpl ile mümkün olmalı, ama nasıl bilmiyorum. İşte bazı sözde kodu:

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

Daha da iyisi bir başka durum olacaktır: o TMP için kesinlikle var olduğu

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 bununla başa etmez ve üyeleri diyemezsin TMP'de. Boost.Fusion ve Boost.TypeTraits ya bir şey yok; Onlardan birinin olacağını sanıyordum ama görünüşe bakılırsa yanlış anlaşılıyor.

Here ve here, C++ 03'teki bir üyeyi algılamak için bir yazının nasıl yazılacağı konusunda bazı çözümlerdir. Eğer böyle bir özelliği sahip olduktan sonra SFINAE için kullanabilirsiniz, (bunu has_func1_member arayacağım): C++, 11 ile ilk etapta özelliği yazmak daha kolay olduğunu

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

Not, hala olmasına rağmen biraz arcane.