Clang对含填充位的嵌套数组结构体bit_cast报错的技术问询

这个问题围绕带填充位的结构体在常量求值场景下使用std::bit_cast的行为差异展开，以下是简化后的代码：

#include <bit>
#include <cstddef>
#include <cstdint>

// #define COMPILES_WITH_CLANG

struct S40 {
    std::uint8_t a = 0x51;
    std::uint32_t b = 0xa353c0f1;
};

namespace details {
// 用于传递普通数组给bit_cast或从bit_cast接收结果
template <typename T, std::size_t N>
struct wrap_array {
    T arr[N];
};
}  // namespace details

template <typename T>
constexpr std::byte get_byte(T const& obj, std::size_t pos) {
#ifdef COMPILES_WITH_CLANG
    auto obj_rep =
        std::bit_cast<details::wrap_array<std::byte, sizeof(T)>, T>(obj);
#else
    details::wrap_array<std::byte, sizeof(T)> obj_rep;
    obj_rep = std::bit_cast<details::wrap_array<std::byte, sizeof(T)>, T>(obj);
#endif
    if (pos >= sizeof(T)) {
        return std::byte{};
    }
    return obj_rep.arr[pos];
}

错误情况 #

在常量求值场景下，先创建obj_rep再赋值std::bit_cast结果的写法，会触发Clang报错：

<source>:40:19: error: constexpr variable 'ret' must be initialized by a constant expression
   40 |     constexpr int ret = static_cast<int>(get_byte(obj, 0));
      |                   ^     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<source>:27:15: note: subobject 'arr' is not initialized
   27 |     obj_rep = std::bit_cast<details::wrap_array<std::byte, sizeof(T)>, T>(obj);
      |               ^
<source>:27:5: note: in call to 'obj_rep.operator=(std::bit_cast<details::wrap_array<std::byte, sizeof(S40)>, S40>(obj))'
   27 |     obj_rep = std::bit_cast<details::wrap_array<std::byte, sizeof(T)>, T>(obj);
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<source>:40:42: note: in call to 'get_byte<S40>(obj, 0)'
   40 |     constexpr int ret = static_cast<int>(get_byte(obj, 0));
      |                                          ^~~~~~~~~~~~~~~~
<source>:16:7: note: subobject declared here
   16 |     T arr[N];
      |       ^

核心疑问 #

• 为何只有Clang会报这个错误？
• 为何直接用std::bit_cast结果构造obj_rep时错误就消失了？（注：把details::wrap_array换成std::array会出现类似错误）

额外问题 #

下面这段代码在Clang和GCC下都无法编译，这个问题和上面的错误是否相关？

constexpr S40 obj;
constexpr details::wrap_array<std::byte, sizeof(S40)> w = std::bit_cast<details::wrap_array<std::byte, sizeof(S40)>>(obj);

补充观察：把S40换成无填充位的类型后，上述两个问题都会消失。但根据C++标准，获取不确定值的std::byte是合法的，这是为什么？

问题原因分析 #

1. Clang对未初始化数组的常量求值严格校验
   当默认构造wrap_array时，其内部数组arr会被默认初始化。对于std::byte类型的数组，默认初始化会让每个元素处于不确定值状态。在常量求值过程中，Clang严格遵循标准中"常量表达式不能依赖不确定值"的规则，即使后续会通过赋值覆盖整个对象，Clang仍会检查默认构造阶段的未初始化状态，因此报错。
   而直接用std::bit_cast结果构造obj_rep时，对象直接从bit_cast结果初始化，数组arr的每个元素都被完全覆盖，不存在未初始化的中间状态，因此Clang不会报错。

2. 跨编译器的std::bit_cast常量求值限制
   额外问题中的代码在两个编译器都报错，本质原因是：S40包含填充位，而std::bit_cast在常量求值时，要求源类型和目标类型的对象表示必须完全确定。虽然标准允许获取std::byte类型的不确定值，但在常量求值场景下，编译器需要确保整个对象表示是可计算的常量。带填充位的结构体的填充部分值是不确定的，无法在常量求值时生成确定的目标对象表示，因此编译器拒绝这种转换。

3. 无填充位类型的特殊性
   当类型没有填充位时，整个对象的表示都由成员变量的确定值组成，std::bit_cast可以在常量求值时生成完全确定的目标对象，因此所有问题都消失。

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