std::initializer_list是否应触发拷贝？给定代码是否应编译失败？

这个问题问得切中要害，答案是：是的，这段代码确实理应编译失败，核心原因在于std::initializer_list的本质特性——它内部存储的元素是const 类型的，这直接导致无法调用你的移动构造函数。

具体拆解原因： #

• std::initializer_list的元素是const的
  C++标准明确规定，std::initializer_list<T>中的元素是const T类型。哪怕你传入的是临时对象（比如代码里的X{}），一旦进入初始化列表，它就会被转为const X。这意味着你不能对这些元素做任何修改操作，包括移动构造——因为移动构造函数X(X&&)需要接收一个可修改的右值（非const），而const对象无法绑定到X&&。

• vector处理初始化列表的逻辑
  当你执行t = {X{}};时，vector的赋值运算符会接收这个std::initializer_list<X>，然后尝试将列表中的元素导入容器。由于元素是const的，编译器无法调用你的移动构造函数（参数类型不匹配），只能尝试调用拷贝构造函数X(const X&)——但你已经显式delete了这个函数，所以编译必然失败。

为什么你会误以为可以移动？ #

可能是混淆了临时对象的直接移动和initializer_list的处理逻辑：

• 直接调用t.push_back(X{});时，X{}是一个临时右值，可以直接绑定到X&&，触发移动构造；
• 但把X{}放进initializer_list后，它就变成了const元素，失去了“可移动”的属性，只能走拷贝路径。

解决方案 #

如果想要利用移动构造来初始化vector，放弃initializer_list语法，改用以下方式：

std::vector<X> t;
t.emplace_back(); // 直接在容器内存中构造X，无需移动/拷贝
// 或者
t.push_back(X{}); // 临时对象作为右值，直接触发移动构造

内容的提问来源于stack exchange，提问作者Markus Mayr