C++标准是否保证vector<unique_ptr>内部为原始指针数组？

1. unique_ptr的内存布局是否仅包含原始指针？ #

C++标准没有强制规定unique_ptr的内存布局必须只包含原始指针，但有明确的行为规则：

• 当使用无状态删除器时（比如普通函数指针、无成员变量的自定义删除器类、空捕获的lambda），unique_ptr的大小等于原始指针的大小，且所有主流实现都会将原始指针作为其唯一的直接成员，无额外元数据。
• 当使用有状态删除器时（比如带捕获的lambda、包含成员变量的删除器类），unique_ptr会同时存储原始指针和删除器的状态数据，此时内存布局中会包含额外元数据。

2. 存储unique_ptr的array/vector内部是否等价于原始指针数组？ #

取决于unique_ptr的删除器类型：

• 若删除器无状态，每个unique_ptr对象的内存布局和原始指针完全一致，此时vector<unique_ptr<T, D>>的内部缓冲区可以视为T*的数组。
• 若删除器有状态，unique_ptr包含额外数据，内部数组是unique_ptr对象数组，而非原始指针数组。

3. 用vector::data()配合reinterpret_cast调用C函数是否兼容所有实现？ #

你的代码示例：

using item_ptr = unique_ptr<ITEM, ITEM_destructor>;
vector<item_ptr> items;
set_menu_items(m, reinterpret_cast<ITEM **>(items.data()));

兼容性核心在于ITEM_destructor是否为无状态删除器：

• 若ITEM_destructor是无状态的（比如函数指针类型、空结构体删除器），unique_ptr<ITEM, ITEM_destructor>的内存布局与ITEM*完全一致，此时reinterpret_cast的写法在所有主流C++实现中都是兼容的。
• 若ITEM_destructor是有状态的，这种转换会触发未定义行为，因为unique_ptr对象包含额外数据，无法直接映射为原始指针数组。

更安全的替代写法 #

如果要彻底规避布局依赖风险，可以显式生成原始指针数组传递给C函数：

vector<ITEM*> raw_items;
raw_items.reserve(items.size());
for (auto& ptr : items) {
    raw_items.push_back(ptr.get());
}
set_menu_items(m, raw_items.data());

这种写法完全符合C++标准，不受unique_ptr布局的影响，兼容性无虞。

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