将原生存储/vector数组别名转为std::array是否属于未定义行为？

一、字节数组存储版本：存在未定义行为，可修正 #

原代码的问题不在于reinterpret_cast本身，而在于未正确处理对象生存期与类型别名规则：

1. 标准依据与问题点

   • 根据C++标准[basic.types.general]/8，std::array<T,N>属于隐式生存期类型（聚合类型），允许在满足对齐和尺寸要求的存储中隐式创建对象。但原代码中仅构造了N个T对象，未显式构造std::array对象——虽然std::array的底层是T[N]数组，但直接通过reinterpret_cast访问未隐式/显式创建的std::array对象，违反了[basic.life]中对象生存期的规则。
   • 另外，即使隐式创建了std::array对象，reinterpret_cast后的指针可能因为类型别名问题无法正确指向该对象，需要配合std::launder使用（[ptr.launder]/1），否则访问对象属于未定义行为。

2. 合法修正方案
   确保存储对齐匹配std::array，构造完所有T后用std::launder获取合法的std::array指针，再移动返回：

   #include <array>
   #include <cstddef>
   #include <memory>
   
   template<typename T, std::size_t N, typename Gen>
   std::array<T,N> make_array(Gen gen)
   {
       static_assert(sizeof(std::array<T, N>) == N * sizeof(T));
       static_assert(alignof(std::array<T, N>) == alignof(T));
       // 对齐到std::array的要求，确保存储合法
       alignas(std::array<T, N>) unsigned char storage[sizeof(std::array<T, N>)];
       
       T* elem_ptr = reinterpret_cast<T*>(storage);
       for (std::size_t i = 0; i != N; ++i) {
           new (elem_ptr + i) T(gen(i));
       }
       
       // 隐式创建std::array对象，用std::launder获取合法指针
       auto* arr_ptr = std::launder(reinterpret_cast<std::array<T, N>*>(storage));
       return std::move(*arr_ptr);
   }
   

二、vector存储版本：明确的未定义行为，不可修复 #

这个版本的问题本质上无法解决，核心原因：

• std::vector<T>的存储区域管理的是T[N]数组，而非std::array<T,N>对象。根据[basic.lval]/11的类型别名规则，不能将T*（vector::data()的返回值）转换为std::array<T,N>*并访问——两种类型不属于允许别名的范畴。
• 此外，std::vector不属于隐式生存期类型（[basic.types.general]/8），无法在其存储区域中隐式创建std::array对象，因此任何尝试将vector的存储当作std::array访问的行为都是未定义行为。

替代方案（无类型别名风险） #

如果想完全避免reinterpret_cast和生存期问题，可使用C++20的折叠表达式配合std::index_sequence（针对大尺寸数组可使用非递归的索引序列生成，避免编译递归深度问题）：

#include <array>
#include <utility>

template<typename T, std::size_t N, typename Gen, std::size_t... Is>
std::array<T,N> make_array_impl(Gen gen, std::index_sequence<Is...>)
{
    return {gen(Is)...};
}

template<typename T, std::size_t N, typename Gen>
std::array<T,N> make_array(Gen gen)
{
    return make_array_impl<T,N>(gen, std::make_index_sequence<N>());
}

该方案完全符合标准，支持非默认构造类型，只要编译器支持足够的模板展开深度（现代编译器对大尺寸N的支持已很完善）。

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