C++ Template-Parameter Abzug nicht

Question

Warum Compiler T mit diesem Code ableiten kann:

#include <vector> 

template<typename T> 
void foo(T& t) {} 

int main(void) { 
    std::vector<uint8_t> vec = { 1,2,3 }; 
    foo(vec); 
    return 0; 
} 

Aber nicht mit diesem Code:

#include <vector> 
#include <type_traits> 

template<typename T> 
void foo(typename std::enable_if<true, T>::type& t) {} 

int main(void) { 
    std::vector<uint8_t> vec = { 1,2,3 }; 
    foo(vec); 
    return 0; 
} 

I zweites Konstrukt verwendet werden soll, zwischen zwei Template-Funktionen wählen basierend auf der Existenz der bestandenen Klassenmethode.

Answer 1

Wie vsoftco erklärt, Sie haben einen nicht abgeleitet Kontext.

Für SFINAE Sie eine der folgenden Optionen verwenden:

template<typename T> 
std::enable_if_t<condition_dependent_of_T, ReturnType> 
foo(T& t) {} 

oder

template<typename T, std::enable_if_t<condition_dependent_of_T>* = nullptr> 
ReturnType foo(T& t) {} 

Answer 2

Im zweiten Fall, dass Sie eine non-deduced context haben, mit anderen Worten, kann der Compiler den Typ nicht ableiten.

Das einfachste Beispiel eines nicht abgeleitet Kontext ist

template<typename T> 
struct Id 
{ 
    using type = T; 
}; 

template<typename T> 
void foo(typename Id<T>::type arg); // T cannot be deduced 

Answer 3

Zur Visualisierung des Problems lassen Sie uns ein Beispiel analysieren:

template <class> 
struct foo { 
    using type = float; 
}; 

template <> 
struct foo<bool> { 
    using type = int; 
}; 

template <> 
struct foo<int> { 
    using type = int; 
}; 

template <class T> 
void bar(foo<T>::type t) { } 

int main() { 
    bar(int{}); 
} 

Jetzt in der Leitung bar(int{}); beide Typen bool sowie int entspricht einer Temp späte Parameter T. Welcher Wert sollte dann abgeleitet werden? Dies ist nur das eine Beispiel, warum ein nicht-abgeleiteter Kontext unbedingt notwendig ist!