为何未禁用std::initializer_list的移动赋值运算符？

这确实是个挺反直觉的问题——咱们都知道std::initializer_list根本不是真正的容器，它只是个指向临时数组的“视图”，标准也明确限制了它的操作（比如不能修改元素、没有push_back之类的），但为啥偏偏留着赋值运算符，让你能写出像示例里那样编译通过但运行时炸锅的代码呢？

先拆解你的代码问题 #

你给出的代码里，val = {i}这一步是关键坑点：当你把{i}赋值给val时，{i}会创建一个临时的int数组，val会引用这个数组，但这个临时数组的生命周期只到赋值语句结束。等你后续调用foo(val)时，val指向的数组已经被销毁了，自然就输出垃圾值了。

为什么标准不直接禁用赋值运算符？ #

主要有这么几个原因：

• 历史兼容性考量：std::initializer_list在C++11引入时，赋值运算符是默认生成的。后来发现这个问题时，已经有不少代码在使用这个功能了——如果直接把赋值运算符声明为=delete，会导致现有合法（或者说开发者自认为合法）的代码编译失败，标准委员会不会轻易做这种破坏性变更。
• 语义上的“合法”不等于“推荐”：标准只是定义了赋值的行为——让initializer_list引用新的临时数组，但并没有保证这个引用的有效性。这和C++里很多其他特性一样：比如裸指针也允许你指向已销毁的对象，但这是开发者需要自己规避的风险，而不是语言直接禁止。
• 存在极少数合理使用场景：虽然很少见，但如果initializer_list绑定的是静态生命周期的数组，赋值操作就是安全的。比如：

  std::initializer_list<int> val;
  // 绑定静态数组，生命周期和程序一样长
  val = {1,2,3}; 
  foo(val); // 完全安全
  

给你的解决方案 #

如果你需要一个可以安全赋值、修改的“初始化列表”，别用std::initializer_list，改用std::vector或者std::array这类真正的容器——它们会把元素存储在自己的内存里，赋值时会真正拷贝/移动元素，不会出现悬空引用的问题。比如把你的代码改成这样：

#include <iostream>
#include <vector>

void foo(const std::vector<int>& v) { 
    std::cout << v.front() << std::endl; 
}

int main() {
    int a = 1, b = 2, c = 3;
    auto val = std::vector<int>{a, b, c}; 
    foo(val); // 输出1
    int i = 7;
    val = {i}; // 安全赋值，vector内部存储新元素
    foo(val); // 输出7
}

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