CRTP и Boost TTI

Question

Я проверил следующий код с gcc 4.9.0 и clang 3.5.0. Программа выводит «истина», как ожидалось. Однако, если я удаляю комментарий перед перечислением, он превращается в «ложь». Что здесь происходит? Как я могу убедиться, что has_mem boolean имеет значение true. Моя конечная цель - иметь функцию-член в структуре A, которая включена через enable_if, только если класс T имеет определенную функцию-член.

#include <iostream> 
#include <boost/tti/has_member_function.hpp> 

BOOST_TTI_HAS_MEMBER_FUNCTION(func) 

template<class T> 
struct A 
{ 
    //enum : bool { has_mem= has_member_function_func<T,void,boost::mpl::vector<const T &> >::value }; 
    A() 
    { 
    std::cout << std::boolalpha 
     << has_member_function_func<T,void,boost::mpl::vector<const T &> >::value 
     << "\n"; 
    } 
}; 

struct B : public A<B> 
{ 
    void func(const B&) {} 
}; 

int main() 
{ 
    B b; 
} 

Answer 1

Я понял, что следующий подход решает мою проблему.

#include <iostream> 
struct empty_ {}; 

template<class derT> 
struct A 
{ 
    A(derT * ptr) : m_ptr(ptr) {} 
    // 
    template<class T=empty_> 
    void func() { m_ptr->f(); } 
private: 
    derT *m_ptr; 
}; 

struct B : public A<B> 
{ 
    B() : A<B>(this) {} 
    void f() { std::cout << "B::f\n"; } 
}; 

struct C : public A<C> 
{ 
    C() : A<C>(this) {} 
    void g() { std::cout << "C::g\n"; } 
}; 

int main() 
{ 
    B b; 
    C c; 
    b.func(); 
    c.g(); 
    // Does not compile (as disired) since class C does not have a function f() 
    //c.func(); 
} 

Это работает, потому что функция func является функцией шаблона, так что SFINAE заботится о функциональности enable_if.