std::vector存储原生数组编译失败，是否符合C++标准规范？

结论 #

C标准允许std::vector存储原生数组，你遇到的不同编译器表现差异是C20标准早期版本的规范缺陷、以及不同标准库实现的版本差异导致的，不属于编译器实现bug。

详细说明 #

1. 标准对vector元素类型的基础要求 #

从C++11版本开始，std::vector的元素类型仅需要满足*可擦除（Erasable）*要求即可，原生数组完全符合该要求，所以标准层面从未禁止std::vector存储原生数组。

2. 编译失败的核心原因 #

你调用的std::vector<int3> vec(2);构造函数需要对2个数组元素执行值初始化，不同版本的标准库实现对该操作的处理逻辑不同：

• C++20之前的标准库实现中，std::allocator::construct直接调用placement new语法完成对象构造，数组类型的 placement new 初始化是合法的，所以旧版VS2019 16.9.5、GCC11可以正常编译。
• C++20标准引入std::construct_at替代原有的allocator::construct逻辑，而std::construct_at要求返回指向构造完成的T类型对象的指针：当T是数组类型int[3]时，要求返回int(*)[3]类型，但数组的placement new表达式本身返回的是数组首元素的指针int*，两类指针不兼容，直接触发类型转换错误，这就是你在新版VS2019开stdcpplatest、Clang下编译失败的直接原因。

3. 规范的修复现状 #

该冲突属于C20早期标准的规范缺陷，已经被C标准委员会后续的缺陷报告修复，后续版本的标准库实现会逐步兼容数组类型的construct_at调用。

替代方案 #

如果需要在vector中存储固定长度的数组，建议改用std::array<int, 3>替代原生数组，该类型符合所有容器的元素要求，不存在兼容性问题，使用接口和原生数组完全兼容：

#include <vector>
#include <array>

int main()
{
    using int3 = std::array<int, 3>;
    std::vector<int3> vec(2);
}

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