Timur Doumler 在他最近的演讲“现代C ++中的类型修剪”中说，由于不能从函数返回C样式的数组，std::bit_cast因此不能用于将a 强制float转换unsigned char[4]为a。我们应该使用std::memcpy或等到C ++ 23（或更高版本）后，类似的东西reinterpret_cast<unsigned char*>(&f)[i]才能很好地定义。

在C ++ 20中，我们可以在中std::array使用std::bit_cast，

float f = /* some value */;
auto bits = std::bit_cast<std::array<unsigned char, sizeof(float)>>(f);

而不是C样式的数组来获取float？的字节？

是的，这适用于所有主要的编译器，据我观察标准可以确定，它是可移植的并且可以保证正常工作。

首先，std::array<unsigned char, sizeof(float)>保证是一个聚合（https://eel.is/c++draft/array#overview-2）。由此可知，它内部恰好包含sizeof(float)多个chars（通常为char[]由此可见，尽管从原则上讲，该标准并未强制要求该特定实现-但它确实说元素必须是连续的），并且不能具有任何其他非静态成员。

因此，它是可复制的，并且其大小与 float相同。

这两个属性允许您bit_cast在它们之间。

接受的答案是错误的，因为它没有考虑对齐和填充问题。

每[array] / 1-3：

标头<array>定义用于存储固定大小的对象序列的类模板。数组是一个连续的容器。array<T, N>存储N类型为的元素的实例T，因此size() == N是不变的。

数组是一个聚合，最多可以将N 其类型转换为的元素进行列表初始化T。

数组满足容器和可逆容器（[container.requirements]）的所有要求，除了默认构造的数组对象不为空并且交换没有恒定的复杂性。数组满足序列容器的某些要求。在此仅提供对这些表之一中未描述的数组操作以及存在附加语义信息的操作的描述。

该标准实际上不需要std::array完全具有一个类型的公共数据成员T[N]，因此从理论上讲，sizeof(To) != sizeof(From)或是可能的is_­trivially_­copyable_­v<To>。

但是，如果这在实践中不起作用，我将感到惊讶。

是。

根据描述的行为的论文std::bit_cast及其所建议的实现，只要这两种类型具有相同的大小并且可以轻松复制，则强制转换应该成功。

的简化实现std::bit_cast应类似于：

template <class Dest, class Source>
inline Dest bit_cast(Source const &source) {
    static_assert(sizeof(Dest) == sizeof(Source));
    static_assert(std::is_trivially_copyable<Dest>::value);
    static_assert(std::is_trivially_copyable<Source>::value);

    Dest dest;
    std::memcpy(&dest, &source, sizeof(dest));
    return dest;
}

由于浮子（4个字节）和阵列unsigned char与size_of(float)对于所有这些断言，底层的std::memcpy将被进行。因此，结果数组中的每个元素将是浮点数的一个连续字节。

为了证明这种行为，我在Compiler Explorer中写了一个小例子，您可以在这里尝试：https : //godbolt.org/z/4G21zS。浮点数5.0正确地存储为字节数组（Ox40a00000），该字节数组对应于Big Endian中该浮点数的十六进制表示形式。