具体原因没啥好说的，都能理解。概括一下使用方式。

这几种比较看起来容易混淆的概念其实非常好理解。从字面意义上的好理解。

问题也是答案。因为类模板没有重载所以有偏特化。因为函数模板有重载所以没有偏特化。

用于判断T类型是否是被const修饰的类型。

我们知道，函数模板可以重载。类模板不可以。我们将要讨论如何实现这一类似行为

C++有四种基础模板。他们既可以出现在命名空间作用域，也可以出现在类作用域。

目前，类模板无法应用这个东西。针对于类模板，enable_if只能起到一种static_assert的作用。由于类和类模板不能重载，所以自然不存在候选集这个东西。也不存在SFINAE。enable_if在应用中的感觉是一种调整候选集的作用。

编译期变参模板展开有四种方式：