Czy członkowie klasy tworzą instancję, gdy tworzona jest klasa?

Question

Podobno członkowie klasy szablonu nie powinni być tworzone, chyba że są używane. Jednak ta próbka wydaje się tworzyć egzemplarz użytkownika do_something, a enable_if kończy się niepowodzeniem (czego można by się było spodziewać, gdybyśmy go stworzyli - ale AFAIK my nie).

Czy brakuje mi czegoś naprawdę podstawowego?

#include <string> 
#include <boost/utility.hpp> 

struct some_policy { 
    typedef boost::integral_constant<bool, false> condition; 
}; 

struct other_policy { 
    typedef boost::integral_constant<bool, true> condition; 
}; 


template <typename policy> 
class test { 
    void do_something(typename boost::enable_if<typename policy::condition>::type* = 0) {} 
}; 

int main() { 
    test<other_policy> p1; 
    test<some_policy> p2; 
} 

coliru

Answer 1

Od C++ 11 14.7.1/1:

Domniemana instancji klasy o specjalizacji szablonu powoduje niejawne konkretyzacji deklaracji, ale nie z definicji lub domyślnych argumentów, z funkcje klasy klasy

Deklaracja funkcji jest tworzona; która nie działa, ponieważ zależy od nieprawidłowego typu.

_{(Niestety, nie mam żadnych historycznych wersji standardu do ręki, ale wyobrażam sobie, zasada ta była podobna w C++ 98)}

Answer 2

SFINAE zdarza się tylko na szablonie funkcji/metody (tutaj jest to klasa, która jest szablon),

Można to zrobić w C++ 11 (domyślny parametr szablonu dla funkcji/metoda):

template <typename policy> 
class test { 
    template <typename T = policy> 
    void do_something(typename boost::enable_if<typename T::condition>::type* = 0) {} 
}; 

Możesz używać alternatywnie specjalizacji, coś

template <bool> struct helper_do_something {}; 
template <> struct helper_do_something<true> 
{ 
    void do_something() { /* Your implementation */ } 
}; 

template <typename policy> 
class test : helper_do_something<T::condition::value> 
{ 
    // do_something is inherited (and it is present only when T::condition::value is true) 
}; 

Answer 3

Mike Seymour już odpowiedział dlaczego to nie działa , oto jak go obejść:

#include <string> 
#include <boost/utility.hpp> 

struct some_policy { 
    typedef boost::integral_constant<bool, false> condition; 
}; 

struct other_policy { 
    typedef boost::integral_constant<bool, true> condition; 
}; 

template <typename policy> 
class test { 
private: 

    template<typename P> 
    void do_something_impl(typename boost::enable_if<typename P::condition>::type* = 0) {} 

public: 
    void do_something() 
    { 
     do_something_impl<policy>();  
    } 
}; 

int main() { 
    test<other_policy> p1; 
    test<some_policy> p2; 
} 

Szybkie zasada: Jeśli chcesz zrobić SFINAE, trzeba funkcji składowej szablonu.