C++ параметр шаблона вычет не может

Question

Почему компилятор может вывести T с этим кодом:

#include <vector> 

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

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

Но терпит неудачу с этим кодом:

#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; 
} 

Я хочу использовать вторую конструкцию, чтобы выбрать между двумя функциями шаблона , основанный на существовании метода пройденного класса.

Answer 1

Как пояснил vsoftco, у вас есть не-вывод, контекст.

Для SFINAE, вы можете использовать один из следующих вариантов:

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

или

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

Answer 2

Во втором случае у вас есть non-deduced context, другими словами, компилятор не может вывести тип.

Простейший пример не-выводится контексте

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

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

Answer 3

Чтобы визуализировать проблему, давайте проанализируем пример:

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{}); 
} 

Теперь в строке bar(int{}); оба типа bool, а также int соответствует температуре поздний параметр T. Какое значение должно быть выведено тогда? Это только один пример, почему неустановленный контекст строго необходим!