偏模板专业化怎么选？

Question

请解释一下模板专业化选择的规则。我有一个例子：

template<typename T1, typename T2 = int>
struct S : false_type{};

template<typename T>
struct S<T, float> : true_type{};

cout << boolalpha << S<float>::value;

为什么输出是false？一般来说，专用类中的默认模板参数typename T2 = int 会发生什么情况？会不会带来一些影响？

Answer 1

选择模板专业化分为五个步骤：

1. 采用主模板声明。 (<T1, T2 = int> S)
2. 填写用户指定的模板参数。 (T1 <- float)
3. 仅限函数模板：推导出其他模板参数。
4. 对剩余的模板参数使用默认值。 (T2 <- int)
5. 使用偏序算法 (C++14 14.5.6.2) 选择最匹配的特化。 （<float, int> 与 <T, float> 不匹配，因此忽略特化；唯一的可能是主模板）