Tăng MPL: Chỉ gọi hàm (thành viên) nếu nó tồn tại

Question

Tôi có lớp A có tham số mẫu T. Có trường hợp sử dụng lớp T cung cấp hàm func1() và có trường hợp sử dụng T không không cung cấp nó. Một hàm f() trong A nên gọi func1(), iff nó tồn tại. Tôi nghĩ rằng điều này nên có thể với mpl tăng, nhưng tôi không biết làm thế nào. Dưới đây một số mã giả:

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

Thậm chí tốt hơn sẽ là một người khác hợp cụ thể:

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 không đối phó với điều đó vì nó là đúng cho TMP và bạn không thể gọi thành viên trong TMP. Boost.Fusion và Boost.TypeTraits cũng không có gì cả; Tôi nghĩ một trong số họ sẽ nhưng dường như tôi đang rất đáng tin cậy.

Here và here là một số giải pháp về cách viết một đặc điểm để phát hiện thành viên trong C++ 03. Một khi bạn có một đặc điểm như vậy (Tôi sẽ gọi nó has_func1_member), bạn có thể sử dụng nó cho 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); 

Lưu ý rằng với C++ 11 nó dễ dàng hơn để viết các đặc điểm ở nơi đầu tiên, mặc dù nó vẫn còn hơi phức tạp.