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

在第二种情况下，您有一个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 2

正如 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 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 匹配。那么应该推导出哪一个值呢？这只是为什么非推导上下文是绝对必要的一个例子！