只有参数声明为std::initializer_list<T>才能接收{1,2,3}，因C++不支持裸初始化列表类型推导；需包含<initializer_list>，元素类型必须一致且可推导，不可与其它重载冲突。
函数参数声明为 std::initializer_list 才能接收初始化列表
直接写 void f({1, 2, 3}) 是非法的——C++ 不允许裸初始化列表作为实参推导类型。必须显式告诉编译器你打算接收一个初始化列表，方式是把形参类型定为 std::initializer_list<t></t>。
常见错误现象：error: no matching function for call to 'f({1, 2, 3})'，本质是编译器无法从 {1,2,3} 推出模板参数或重载候选。
- 头文件需包含
<initializer_list> -
T必须明确可推导（比如传{1,2,3}可推int，但{1,2.0}会失败） - 不能和其它重载冲突：例如同时定义
f(std::vector<int>)和f(std::initializer_list<int>)，f({1,2,3})会优先匹配后者
模板函数里怎么自动推导 std::initializer_list 元素类型
普通函数模板（如 template<typename T> void f(T)）无法推导出 std::initializer_list，因为初始化列表不是“类型”，而是一种上下文语法糖。必须用专门的推导形式：
template<typename T>
void f(std::initializer_list<T> il) {
// il.size(), il.begin(), il.end() 都可用
}
这样调用 f({1, 2, 3}) 就能正确推出 T = int；但 f({1, 2, 3.0}) 会编译失败，因为元素类型不一致。
立即学习“C++免费学习笔记（深入）”；
- 不能写成
template<typename T> void f(T il)—— 这样{1,2,3}根本不会被当作std::initializer_list处理 - 如果想支持混合类型（如
{1,"hello",3.14}），得用变参模板 +auto参数（C++17 起），但那就不是std::initializer_list了
传入初始化列表时要注意值类别和生命周期
std::initializer_list 是轻量对象，内部通常只存两个指针（指向首尾），其引用的数据由编译器在栈上临时构造并保证生命周期至少延续到完整表达式结束。
- 可以安全地在函数内遍历、拷贝
il，但**不能返回il.begin()或保存其迭代器到函数外**——底层数据可能已销毁 - 如果函数参数是
const std::initializer_list<T>&，依然不能延长临时数组的生命周期（C++17 前规则）；实践中建议按值传入（开销极小） - 不要对
std::initializer_list做 move 操作：它没有移动构造函数，且内容不可修改
替代方案：什么时候不该用 std::initializer_list
它适合「固定类型、数量不定、一次性读取」的场景（如容器构造、日志参数、数学向量初始化）。但有明显限制：
- 所有元素必须同类型，且类型必须在调用点可确定（无法隐式转换后统一）
- 不支持运行时动态构建（比如先 push_back 再传入），只能字面量或聚合初始化
- 性能敏感路径慎用：某些标准库实现中，
std::initializer_list构造可能触发一次小内存分配（尽管罕见） - 更灵活的替代是
std::vector或变参模板（template<typename... Args>），尤其当你需要处理异构、可变、或带命名参数的情况
最易被忽略的一点：初始化列表语法 {...} 在函数调用中是“万能匹配”，容易意外触发 std::initializer_list 重载而绕过你本意的其它重载，调试时注意看编译器选的是哪个函数。
