Informazioni su SFINAE

Question

Per quanto ne so, SFINAE significa che i guasti di sostituzione non provocano errori di compilazione, ma rimuovono il prototipo dall'elenco di possibili sovraccarichi.

Quello che non capisco: perché è questo SFINAE:

template <bool C, typename T = void> struct enable_if{}; 
template <typename T> struct enable_if<true, T> { typedef T type; }; 

Ma questo non è?

template <bool C> struct assert; 
template <> struct assert<true>{}; 

Dalla mia comprensione, la logica sottostante è identica qui. Questa domanda è emersa dai commenti a this answer.

Answer 1

In C++ 98, SFINAE avviene ad un tipo di ritorno o argomento fittizio di una funzione con parametro predefinito

// SFINAE on return type for functions with fixed arguments (e.g. operator overloading) 
template<class T> 
typename std::enable_if< std::is_integral<T>::value, void>::type 
my_function(T const&); 

// SFINAE on dummy argument with default parameter for functions with no return type (e.g. constructors) 
template<class T> 
void my_function(T const&, std::enable_if< std::is_integral<T>::value, void>::type* = nullptr); 

In entrambi i casi, substution di T al fine di ottenere il tipo annidato type è il essenza di SFINAE. A differenza di std::enable_if, il modello assert non ha non un tipo nidificato che può essere utilizzato nella parte di sostituzione di SFINAE.

Vedere l'eccellente ACCU 2013 presentation di Jonathan Wakely per ulteriori dettagli e anche per l'espressione CINAE di C++ 11. Tra gli altri (come sottolineato da @BartekBanachewicz nei commenti) è ora è anche possibile utilizzare SFINAE nel modello di funzione argomenti di default

// use C++11 default function arguments, no clutter in function's signature! 
template<class T, class dummy = typename std::enable_if< std::is_integral<T>::value, void>::type> 
void my_function(T const&);