应优先用{}初始化以阻止窄化转换、明确构造意图并避免未初始化风险，但需警惕auto x = {…}推导为initializer_list、initializer_list构造函数优先匹配及模板推导失败等陷阱。
什么时候该用{}而不是()初始化？
C++11起，{}（花括号初始化列表）成为首选初始化方式，核心原因是它更安全、更统一。它能阻止窄化转换（narrowing conversion），比如int x{3.14};直接编译失败，而int x(3.14);会静默截断为3。在容器、类成员、返回值等场景中，{}也更明确表达“构造+填充”的意图。
- 容器初始化优先用
{}：std::vector<int> v{1, 2, 3};</int>比std::vector<int> v(3, 1);</int>（构造含3个1的vector）不易混淆 - 类成员初始化推荐
{}：struct S { int x{0}; std::string s{"default"}; };避免未初始化风险 - 函数返回局部对象时，
return {a, b};可触发返回值优化（RVO），且语义清晰
{}和=一起用会怎样？
auto x = {1, 2, 3};会让x的类型变成std::initializer_list<int></int>，不是std::vector<int></int>或std::array——这是最常踩的坑。编译器按规则推导：只要右边是{}且左边没显式类型，就默认为initializer_list。
- 想要
vector？写std::vector<int> v{1, 2, 3};</int>或auto v = std::vector<int>{1, 2, 3};</int> - 想要
array？必须指定大小：std::array<int, 3> a{1, 2, 3};（auto a = {1,2,3};不行） -
auto x{42};推导为int，但auto x = {42};推导为initializer_list<int></int>——单元素也不同
哪些构造函数会被{}绕过？
如果类定义了接受std::initializer_list的构造函数，那么{}会优先匹配它，哪怕其他构造函数更“贴切”。这是std::vector常见陷阱的根源：std::vector<int> v{5};</int>构造含一个元素5的vector，而不是含5个默认元素的vector；后者得写std::vector<int> v(5);</int>。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 自定义类中，若同时有
MyClass(size_t n)和MyClass(std::initializer_list<t>)</t>，MyClass obj{5};调前者还是后者？取决于是否匹配initializer_list——5无法隐式转成initializer_list，所以调size_t版本；但MyClass obj{5, 10};一定调initializer_list版本 - 若想禁用
initializer_list构造，可加explicit修饰（C++11起允许） - 聚合类（如
struct无用户定义构造函数）用{}是聚合初始化，不调任何构造函数
在模板里用{}要注意什么？
模板参数推导对{}支持有限：template<typename t> void f(T); f({1,2,3});</typename>会编译失败，因为{}本身无类型，编译器无法推导T。必须显式指定或借助辅助函数。
立即学习“C++免费学习笔记（深入）”；
- 常见 workaround：
auto make_vec = [](auto... xs) { return std::vector{xs...}; }; auto v = make_vec(1,2,3);（C++17折叠表达式） - 或用
std::make_optional、std::make_pair等工厂函数替代裸{} - 在
std::function或lambda捕获中，[x{val}]合法，但[x=val]更常见；两者语义一致，但{}在这里只是成员初始化语法，不涉及推导
花括号初始化看着简单，但类型推导、重载决议、模板约束三者一叠加，很容易掉进静默行为差异的坑里。实际编码时，宁可多写半行类型声明，也别依赖auto x = {...}猜意图。
