std::initializer_list构造函数在花括号初始化中优先级最高，因C++11标准规定：只要其可行，就优先匹配，甚至高于完全匹配的普通构造函数。
为什么 std::initializer_list 构造函数在花括号初始化中优先级最高
因为 C++11 标准明确将 {...} 列表初始化的重载决议规则设为：只要存在接受 std::initializer_list<t></t> 的构造函数，且该构造函数在当前上下文中**可行**（不被 SFINAE 删除、不被 = delete、参数类型可转换），它就拥有**最高匹配优先级**——甚至高于完全匹配的普通构造函数。
这不是编译器“偏好”，而是语言规则。比如：
struct Vec {
Vec(size_t n, int val) { /* 分配 n 个 val */ }
Vec(std::initializer_list<int> il) { /* 逐个插入 il 中元素 */ }
};
Vec v{5, 10}; // 调用 initializer_list 版！不是 size_t+int 版
即使 {5, 10} 语义上更贴近“两个参数”，编译器也**不会尝试隐式转换成 size_t 和 int**，而是直接打包成 std::initializer_list<int> 并调用对应构造函数。
std::initializer_list 构造函数和单参数构造函数冲突时的典型错误
当类同时定义了 MyClass(int) 和 MyClass(std::initializer_list<int>)，写 MyClass m{42} 就会触发歧义或意外行为：
立即学习“C++免费学习笔记（深入）”；
- 若两者都存在且未加
explicit，MyClass m = {42};可能编译失败：error: call to constructor is ambiguous - 若
MyClass(int)存在而initializer_list版未声明explicit，MyClass v = {42};会静默调用initializer_list版（传入含一个元素的 list），而非你预期的int构造 - 若
initializer_list版是explicit，但MyClass m{42};（直接列表初始化）仍会调用它——explicit只禁用拷贝初始化（=形式），不限制直接列表初始化
如何判断是否该提供 std::initializer_list 构造函数
不是所有类都适合。关键看语义是否天然支持“同质集合初始化”：
- 适合：容器类（
Array<T, N>、MyVector<T>）、数学类型（Vec2<float>{x, y}、Mat3<double>{...9 elements...}） - 不适合：资源句柄（
File、Socket、DatabaseConnection），它们没有“多个同类型值构成”的自然含义 - 若已有明确多参数构造（如
Regex(const char*, flags)），强行加initializer_list版会导致Regex{"abc", std::regex_constants::icase}被解释成两元素 list，彻底破坏原有接口
实际编写时必须做的三件事
避免踩坑的最小安全实践：
- 始终把
std::initializer_list构造函数声明为explicit，除非你**明确需要**MyContainer c = {1,2,3};这类拷贝初始化 - 如果类已有单参数构造函数（如
MyClass(int)），要么删掉它，要么用std::enable_if_t<std::is_same_v<T, int>>等 SFINAE 手段限制initializer_list版只对特定类型启用，防止{42}同时匹配两个重载 - 别依赖
operator[]：std::initializer_list只提供begin()/end()/size()，取第i个元素得写*(il.begin() + i)，不是il[i]
最常被忽略的一点：std::initializer_list 的底层数据是临时数组，生命周期绑定到完整表达式结束；把它存进成员变量（如 const std::initializer_list<T>& m_il）是危险的——引用悬空风险极高，应立即拷贝内容。
