C++使用花括号初始化调用拷贝构造函数的行为差异问题

假设存在如下代码片段，目前已知关于自定义类型Type的信息仅有两点：

• Type未实现签名为Type(std::initializer_list<Type>)的构造函数，即不接受由Type类型元素构成的初始化列表作为构造参数
• Type已实现默认构造函数与拷贝构造函数

/*
 all necessary includes
*/

int main()
{
   Type t{};          // 调用默认构造函数
   Type t_ref(t);     // 参考案例：调用拷贝构造函数

   Type t1{t};        // Case1：和参考案例行为是否有差异？
   Type t2 = Type{t}; // Case2：和参考案例行为是否有差异？
   Type t3{Type{t}};  // Case3：和参考案例行为是否有差异？
   Type t4 = {t};     // Case4：和参考案例行为是否有差异？
}

花括号通常用于初始化列表场景，针对上述代码的行为有两个明确技术疑问：

1. 是否可以100%确认上述4种花括号初始化写法，在所有场景下的行为都与直接传入对象调用拷贝构造的参考案例完全一致？如果存在差异，差异出现的场景与具体表现是什么？
2. 在C++中拷贝构造对象时，使用花括号代替圆括号完成初始化是否存在缺陷？

关于4种写法的行为一致性结论 #

在题目给出的两个前提约束下（无匹配的initializer_list构造、拷贝构造可正常调用），4种写法的最终可观测行为和参考案例完全一致，都会完成对象的拷贝构造，但无法保证所有场景下行为都完全对齐，具体规则和差异场景如下：

C++列表初始化（花括号初始化）的重载决议有明确优先级：优先检查是否存在参数匹配的std::initializer_list构造函数，若匹配则优先调用；如果不存在匹配的initializer_list构造，再按照普通构造函数的重载规则匹配参数。逐个Case的标准行为：

• Type t1{t}：属于直接列表初始化，无匹配的initializer_list构造，直接匹配拷贝构造函数，和参考案例的调用逻辑完全一致。
• Type t2 = Type{t}：属于拷贝初始化，Type{t}是纯右值表达式。C17起标准强制要求拷贝消除，会直接在t2的内存空间完成构造，没有额外的临时对象拷贝/移动开销；C17之前的标准中，该写法要求拷贝/移动构造可访问，编译器可以选择省略拷贝调用，最终效果和参考案例无任何可观测差异。
• Type t3{Type{t}}：和Case2逻辑完全一致，C++17起强制拷贝消除，旧标准下要求拷贝/移动构造可访问，最终可观测行为和参考案例一致。
• Type t4 = {t}：属于拷贝列表初始化，无匹配的initializer_list构造，会将花括号内的t作为构造参数匹配拷贝构造，行为和参考案例一致。

会出现行为差异的场景 #

只要打破题目给出的前提约束，就会出现明确差异：

1. 若为Type添加了Type(std::initializer_list<Type>)构造函数，所有带花括号的写法都会优先匹配这个initializer_list构造，完全不会调用拷贝构造，和参考案例行为完全不同。
2. 若Type的拷贝构造被explicit修饰：Case2、Case4属于拷贝初始化上下文，不允许隐式调用explicit构造函数，会直接编译失败；而参考案例、Case1、Case3属于直接初始化上下文，可以正常调用explicit拷贝构造，此时会出现编译结果的差异。
3. 若传入构造的参数存在隐式转换，花括号初始化会禁止窄化转换，直接触发编译错误，而圆括号初始化仅会产生警告，也会出现行为差异。

花括号代替圆括号做拷贝构造的缺陷 #

在明确知道类型构造重载的场景下，花括号初始化不会有问题，但在通用场景尤其是泛型编程中，这种写法存在明确缺陷：

• 最容易踩坑的是initializer_list构造劫持：只要类型存在能匹配参数的initializer_list构造，花括号初始化就会优先选择它，完全忽略预期的拷贝构造，甚至会出现语义完全相反的结果。最典型的例子是std::vector<int> v{5}和std::vector<int> v(5)：前者构造一个存储单个元素5的vector，后者构造5个默认初始化元素的vector，语义差异极大。
• 其次是explicit构造兼容性问题：带=的花括号拷贝初始化形式无法调用explicit修饰的构造函数，容易出现意料之外的编译失败。
• 最后是窄化检查的泛型适配问题：花括号初始化会严格检查窄化转换，在模板代码中如果参数类型存在隐式转换，很容易触发无意义的编译错误，而圆括号初始化没有这个限制。

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