为何这段C++代码在不同编译器下输出结果不同？

为什么会有输出差异？ #

你的代码里T是std::vector<C>的别名，T({5})这个写法触发了构造函数重载的歧义，不同编译器的解析逻辑不一样：

• GCC的选择：优先匹配vector的std::initializer_list<C>构造函数。{5}会被解析为初始化列表，通过C的C(int)构造函数创建一个值为5的C对象，最终vector里只有这一个元素，所以输出5, 。
• MSVC的选择：优先匹配vector(size_type n, const C& value = C())构造函数。5被隐式转换成size_t类型（vector的元素数量类型），于是创建了一个包含5个默认构造C对象的vector——每个C的a成员是0，所以输出0, 0, 0, 0, 0,。

这种分歧源于早期C++标准对这类混合构造语法的优先级定义不够明确，不同编译器厂商做了不同的实现选择。

去掉外侧()后行为一致的原因 #

当你写成T{5}时，这属于直接列表初始化，根据C++标准，这种语法会优先匹配initializer_list构造函数。此时{5}被明确解析为包含一个C(5)对象的初始化列表，两种编译器都会执行相同的逻辑，所以输出一致。

如何避免这类歧义 #

• 如果你想创建指定数量的默认元素，显式转换类型消除歧义：

  auto v = T(static_cast<std::size_t>(5)); // 明确创建5个默认C对象
  

• 如果你想创建包含单个C(5)的vector，直接用列表初始化：

  auto v = T{5}; // 推荐写法，无歧义
  

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