模板特化vs函数重载：混合类型初始化列表调用foo的差异原因

场景复现 #

首先定义两个类，其中MyClass2可通过转换运算符隐式转换为MyClass：

struct MyClass{};

struct MyClass2{
    operator MyClass() const { return MyClass{}; }
};

接着实现一个模板函数foo，以及针对std::initializer_list<MyClass>的模板特化：

#include <iostream>
#include <initializer_list>

template<typename T>
void foo(std::initializer_list<T>)
{
}

template<>
void foo(std::initializer_list<MyClass>)
{
    std::cout << "specialised template foo<>()";
}

当尝试用混合MyClass和MyClass2的初始化列表调用foo时：

foo({MyClass{}, MyClass2{}, MyClass2{}});

编译器会报错，提示推导的参数类型冲突：

<source>:35:8: error: no matching function for call to 'foo(<brace-enclosed initializer list>)'
   35 |     foo({MyClass{}, MyClass2{}, MyClass2{}});
      |     ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<source>:19:6: note: candidate: 'template<class T> void foo(std::initializer_list<_Tp>)' 
   19 | void foo(std::initializer_list<T>)
      |      ^~~
<source>:19:6: note:   template argument deduction/substitution failed:
<source>:35:8: note:   deduced conflicting types for parameter '_Tp' ('MyClass' and 'MyClass2')
   35 |     foo({MyClass{}, MyClass2{}, MyClass2{}});
      |     ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

但如果添加一个与模板特化签名相同的非模板重载foo：

void foo(std::initializer_list<MyClass>)
{
    std::cout << "overloaded foo()";
}

int main(int argc, char **argv) {
    foo({MyClass{}, MyClass2{}, MyClass2{}}); // 程序输出：overloaded foo()
}

此时调用可正常执行，并输出重载函数的内容。

核心问题 #

为什么混合类型初始化列表调用时，模板特化无法匹配反而报错，而非模板重载却能正常工作？这属于未定义行为还是完全合法的操作？

解答 #

• 模板参数推导的限制：编译器推导模板函数foo(std::initializer_list<T>)的模板参数T时，要求初始化列表中所有元素都能推导为同一个T，这个过程不考虑隐式转换。这里第一个元素是MyClass，后两个是MyClass2，编译器无法推导出统一的T，直接导致模板推导失败——模板特化是模板的特例，只有模板推导成功后才会判断是否匹配特化，因此特化根本没有参与的机会。
• 非模板重载的匹配逻辑：非模板函数直接参与重载决议，编译器会尝试将初始化列表中的每个元素转换为std::initializer_list<MyClass>所需的MyClass类型。由于MyClass2定义了到MyClass的转换运算符，所有元素都可通过隐式转换适配参数类型，因此这个重载是可行的。同时，重载决议中非模板函数优先级高于模板实例化，所以会被选中执行。
• 合法性说明：这完全是符合C++标准的合法行为，所有逻辑严格遵循模板推导和重载决议的规则，不属于未定义行为。

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