C++构造函数重载有歧义但普通函数重载无歧义的原因

这个规则不一致不是编译器实现bug，是C++标准对两类表达式的重载决议逻辑本身存在明确差异，核心区别如下：

复现代码 #

#include <unordered_set>

void test1(int a, int b); 
void test1(std::unordered_set<char> set); 

struct Test2 {
  Test2(int a, int b); 
  Test2(std::unordered_set<char> set); 
};

int main() {
  test1(123,456); 
  test1({'a','b'}); // 无歧义，编译通过

  Test2(123,456); 
  Test2({'a','b'}); // 歧义报错
}

普通重载函数无歧义的原因 #

调用test1({'a','b'})属于普通函数调用表达式，重载决议首先会校验实参数量和形参数量的匹配性：

• 这次调用只传入了1个实参（即整个花括号包裹的初始化列表），需要2个int形参的test1重载直接因为实参数量不匹配被排除在候选集外
• 剩余唯一可行候选是单参数的test1(std::unordered_set<char>)，初始化列表可以直接用于构造unordered_set<char>形参，匹配成功，因此不存在歧义。

构造函数调用出现歧义的根本原因 #

Test2({'a','b'})本质不是普通的构造函数调用，而是函数式类型转换表达式，语义是「将括号内的内容转换为Test2类型」，它的重载决议规则和普通函数调用完全不同：

• 候选集枚举阶段不会先做严格的参数数量校验，所有构造函数、甚至隐式生成的拷贝/移动构造都会被纳入可行范围
• 编译器会枚举所有可能的转换路径：
  • 路径1：将初始化列表作为单参数，直接构造std::unordered_set<char>，再匹配Test2(std::unordered_set<char>)构造函数，转换序列合法
  • 路径2：尝试将传入的初始化列表直接转换为Test2临时对象——这一步会走列表初始化规则，初始化列表内的两个char元素可直接匹配Test2(int,int)的两个形参（char到int是标准允许的隐式转换），生成临时Test2对象后再经移动构造完成目标对象构造，整个转换序列同样合法
• 两条路径的转换序列优先级完全相同，标准要求编译器必须判定为歧义。

给双int构造加explicit仅能解决Clang报错的原因，是Clang会将explicit构造函数排除在隐式转换路径的候选集外，路径2直接失效；但GCC在直接初始化场景下仍会将explicit构造函数纳入候选，因此依然会报歧义。
如果要彻底消除这个歧义，只需要显式指定初始化路径即可，比如写Test2(std::unordered_set<char>{'a','b'})，或者用花括号嵌套明确传入初始化列表构造set：Test2{{'a','b'}}。

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