为何编译器会为多类型实参选择单类型模板特化？

问题1：模板实参数量为何匹配，且为何不选主模板？ #

先搞清楚：你写的是变量模板，不是类模板或者函数模板。主模板template<typename T, typename U> constexpr bool is_same = false;本身就定义了2个类型参数，所以is_same<int, int>传入2个实参，数量完全匹配，根本不会报错。

编译器不选主模板的原因是：template<typename T> constexpr bool is_same<T,T> = true;是变量模板的部分特化——它专门匹配「两个模板实参完全相同」的场景。C++模板匹配的核心规则是更特化的版本优先被选中，所以当你传入int,int时，这个部分特化会覆盖主模板，直接使用它的true值，而不会用到主模板的false。

至于你提到的template<typename T, typename T>这种写法，本身是不合法的（模板参数不能重复命名），所以用部分特化的方式实现「匹配相同类型」的逻辑，是标准且合法的写法。

问题2：主模板无尖括号，为何编译器生成带尖括号的实例？ #

主模板template<typename T, typename U> constexpr bool is_same = false;是变量模板的定义语法，这里不需要尖括号——它定义的是一个「模板化的变量」，不是某个具体的变量。

当你在代码里使用is_same<int, float>时，编译器会自动根据主模板实例化出一个具体的变量，这个实例化过程本质上就是生成该变量的全特化版本，所以编译器会输出template<> constexpr bool is_same<int, float> = false;。这是编译器自动完成的模板实例化操作，和手动写全特化的效果完全一致。

对编译器输出的补充解释 #

编译器输出里的几个关键部分：

• 主模板被标记为constexpr const bool是因为constexpr变量默认带有const属性；
• is_same<int,int>的全特化，是从你写的部分特化is_same<T,T>实例化而来；
• is_same<int,float>的全特化，是从主模板实例化而来；
• 你写的部分特化模板会被保留，因为它是通用规则，还能用于其他相同类型的实例（比如is_same<double,double>）。

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