C++ STL中template<class = enable_if_t<...>>的作用是什么？

嘿，我来帮你把这段std::thread的构造代码掰碎了讲清楚，尤其是那个让人头疼的enable_if_t部分～

先把你提到的代码贴出来方便对照：

template<class _Fn, class... _Args, class = enable_if_t<!is_same<decay_t<_Fn>, thread>::value>>
explicit thread(_Fn&& _Fx, _Args&&... _Ax) {
    // construct with _Fx(_Ax...) ...
}

// std::enable_if_t的定义
template<bool _Test, class _Ty = void>
using enable_if_t = typename enable_if<_Test, _Ty>::type;

核心目的：避免构造函数的重载歧义 #

这个enable_if_t在这里的作用，简单说就是禁止用另一个std::thread对象来触发这个模板构造函数——因为std::thread本身已经有专门的移动构造函数，不需要这个通用模板来“抢活儿”，否则会引发编译时的歧义问题。

逐部分解析细节 #

• decay_t<_Fn>：std::decay_t是个类型退化工具，它会把传入的类型“打回原形”——比如如果传的是std::thread&或者const std::thread&&，它都会把类型简化成std::thread，确保我们能准确判断传入的可调用对象本质是不是线程类型。
• !is_same<decay_t<_Fn>, thread>::value：这个判断的意思是：只有当传入的_Fn类型退化后不等于std::thread时，这个模板构造函数才会被编译器纳入重载候选。
• class = enable_if_t<...>：这是C++里的SFINAE技巧（Substitution Failure Is Not An Error，替换失败不是错误）——当enable_if_t里的条件为false时，这个模板参数会变成无效类型，编译器会自动忽略这个构造函数，不会把它当成可用的重载选项。

为什么要费这么大劲？ #

假设没有这个enable_if_t的限制，当你尝试用一个线程对象构造另一个线程时：

std::thread t1([](){/* do something */});
std::thread t2(t1); // 本来应该触发"不能拷贝线程"的明确错误

编译器会同时找到两个候选构造函数：

1. std::thread自带的拷贝构造函数（已经被delete了，因为线程不能拷贝）
2. 你看到的这个通用模板构造函数（它会把t1当作可调用对象_Fn传入）

这时候编译器要么报重载歧义，要么给出模糊的错误提示。而加上enable_if_t之后，当_Fn是线程类型时，这个模板构造函数会被自动过滤，编译器只会去匹配线程自己的移动/拷贝构造函数，最终给出清晰的“线程不能拷贝”的错误提示，同时也保证了移动构造函数能正常被调用。

补个SFINAE的小知识点 #

SFINAE是C++模板编程里的核心技巧之一，简单说就是：当编译器尝试替换模板参数时，如果替换失败（比如这里条件不满足导致enable_if_t无效），不会直接报错，而是跳过这个模板，继续找其他符合要求的重载。这里的enable_if_t就是利用这个特性，让不符合条件的构造函数自动“隐身”。

内容的提问来源于stack exchange，提问作者Cody W