C++中使用{}初始化变量是否比使用=的方式更优？

结论 #

该说法在绝大多数开发场景下是正确的。C++11 引入的{}列表初始化（又称统一初始化），相比传统的=赋值初始化具备更多安全性、通用性优势，具体原因如下：

• 禁止隐式窄化转换，规避精度丢失问题
  这是{}最核心的安全特性：编译阶段会自动检查是否存在会导致信息丢失的隐式类型转换，存在问题直接报错终止编译。
  示例：int a = 3.99;使用=初始化时，编译器最多给出警告，默认会自动截断浮点数得到a=3，很容易埋下隐蔽bug；而int a{3.99};会直接编译报错，强制开发者显式处理类型匹配问题。
• 解决「最令人头疼的解析」语法歧义
  C++ 语法规则中，std::vector<int> v();会被编译器解析为「返回std::vector<int>类型、无参数的函数声明」，而非初始化空的vector对象。使用std::vector<int> v{};则完全不会产生该歧义，明确表示初始化空对象。
• 统一所有初始化场景的写法，降低学习成本
  从普通基础类型、自定义类对象、STL容器、聚合类型到动态内存分配，所有初始化场景都可以用{}实现，不需要额外记忆不同场景的特殊初始化规则：

  int num{10}; // 基础类型
  User user{"张三", 25}; // 自定义类
  std::vector<int> arr{1,2,3,4}; // 容器批量初始化
  int* p = new int{20}; // 动态内存初始化
  

• 默认值初始化更安全
  写int x{};时会自动将x初始化为0（值初始化），而int x;的取值是未定义的，int x = 0;虽然也能实现初始化，但{}的写法更简洁，对自定义类对象也会自动调用对应构造函数完成默认初始化。

注意事项 #

少数场景下需要区分{}和()的语义：如果类提供了接收std::initializer_list参数的构造函数，{}初始化会优先匹配该构造函数。比如std::vector<int> v(10, 2);是生成10个值为2的元素，而std::vector<int> v{10, 2};是生成两个元素，分别为10和2，这类场景需要根据业务需求选择对应初始化方式，不能无脑使用{}。

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