使用std::bit_cast转换std::vector/std::span强类型整数底层缓冲区是否合法？

问题描述 #

我需要用C封装一个使用整数标识不同实体的C库，同时实现类型安全与高效（理想零开销）。该C库包含类似int ps_get_bodies_bounds(int const* bodies, int size, ...);的函数，均用int表示各类实体。我在C库中定义了Body、Face等强类型整数类，通过static_assert确保其大小与int一致，并提供wrapper::Bounds wrapper::get_bounds(std::vector<Body> const& bodies);等接口，期望直接将vector的底层内存传给C函数。但bodies.data()返回Body const*而非int const*，无法直接编译。请问使用std::bit_cast<int const*>(bodies.data())是否属于定义良好、安全且可移植的行为？该方式是否也适用于std::span<Body>这类视图类型？我已在GCC、Clang、MSVC上测试可行，但不确定是否属于未定义行为。

解答 #

核心结论 #

使用std::bit_cast<int const*>(bodies.data())是定义良好、安全且可移植的，同时该方式也完全适用于std::span<Body>这类视图类型。

具体依据 #

• 类型布局兼容：你已经通过static_assert保证Body的大小与int一致，这类仅封装单个int的强类型整数类，通常会被编译器优化为标准布局类型——无额外填充、无虚函数、仅含一个int成员，其对象表示与int完全一致，符合C++标准对标准布局类型的内存布局要求。
• std::bit_cast的合法性：std::bit_cast的使用条件是源类型和目标类型大小相同，且两者均为**可平凡复制（trivially copyable）**类型。你的Body类没有自定义拷贝/移动构造、赋值操作，也没有虚函数，属于可平凡复制类型；int本身也满足该条件，因此std::bit_cast的转换完全符合C++标准。
• 内存访问的合法性：将Body const*转换为int const*后，通过该指针读取内存是合法的——Body的对象表示就是其内部int成员的字节序列，直接读取这些字节作为int值，完全符合C++标准中对对象表示的访问规则，不属于未定义行为。
• 视图类型的适配性：std::span<Body>::data()返回的Body const*（或非const版本），本质上和std::vector<Body>::data()的返回值性质一致，只要Body满足大小匹配、标准布局、可平凡复制这些条件，用std::bit_cast转换其指针同样合法。

额外注意事项 #

• 务必维持Body等强类型的标准布局和平凡复制性：不要添加虚函数、自定义拷贝/移动操作、额外的非静态成员或动态分配内存，否则会破坏类型布局的兼容性，导致bit_cast后的内存访问变为未定义行为。
• 确保C库函数仅读取整数值：如果C函数需要写入内存，必须保证写入的是合法的int值，后续可以安全地将内存转回Body类型，避免出现类型不匹配的问题。

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