为何可从不可拷贝类型创建std::initializer_list？与vector初始化差异

先看你给出的测试代码：

struct t{};
std::initializer_list<std::unique_ptr<t>> l{std::make_unique<t>(), std::make_unique<t>()};

1. std::initializer_list的初始化逻辑 #

编译器处理大括号初始化std::initializer_list时，会直接把大括号里的右值元素移动构造到它的底层栈数组中。这里std::make_unique返回的是std::unique_ptr的右值，而std::unique_ptr虽禁用了拷贝构造，但提供了合法的移动构造函数。整个过程靠移动构造完成，完全符合规则，不会触发拷贝操作，因此能正常运行。

另外要注意：std::initializer_list的底层数组是编译器在栈上分配的临时空间，元素是直接构造进去的，并非先创建独立对象再拷贝过来——这是避免拷贝的核心原因。

2. std::vector用initializer_list初始化失败的原因 #

std::vector的initializer_list构造函数，需要把initializer_list内的元素复制到vector自身的堆内存中。但std::initializer_list的元素是const限定的（它的底层数组是const T[]），这意味着我们无法从initializer_list里移动元素——因为移动操作需要修改源对象（比如把unique_ptr置空），而const对象不允许被修改。

因此vector只能尝试拷贝initializer_list里的std::unique_ptr，但std::unique_ptr的拷贝构造函数是被删除的，这就直接导致编译失败。

如果要初始化std::vector<std::unique_ptr<t>>，可以改用逐个插入的方式，比如：

std::vector<std::unique_ptr<t>> v;
v.reserve(2);
v.emplace_back(std::make_unique<t>());
v.emplace_back(std::make_unique<t>());

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