std:: bit_cast

通过重新解释 From 的对象表示来获取 To 类型的值。返回的 To 对象 值表示 中的每个位都等于 from 的 对象 表示中的对应位。返回的 To 对象中填充位的值是未指定的。

如果不存在与所产生的值表示相对应的 To 类型值，则行为未定义。若存在多个这样的值，具体产生哪个值是未指定的。

如果结果的值表示中的某个位是 不确定的 ，那么它

• 不对应于 From 值表示中的位（即它对应于填充位），或
• 对应的位 所属的对象 (C++26 前) 所属的最小包含对象 (C++26 起) 不在其 生存期 内，或
• 具有 不确定值 。

结果不包含任何其他不确定或错误值。

此重载仅当 sizeof ( To ) == sizeof ( From ) 且 To 与 From 均为 TriviallyCopyable 类型时参与重载决议。

此函数模板是 constexpr 当且仅当 To 、 From 以及 To 和 From 的所有子对象类型均满足：

• 不是联合类型；
• 不是指针类型；
• 不是成员指针类型；
• 不是volatile限定类型；且
• 没有引用类型的非静态数据成员。

参数

返回值

一个类型为 To 的对象，其值表示如上所述。

可能的实现

要实现 std::bit_cast （忽略其作为 constexpr 的特性），在需要时可以使用 std::memcpy 将对象表示解释为另一种类型：

template<class To, class From>
std::enable_if_t<
    sizeof(To) == sizeof(From) &&
    std::is_trivially_copyable_v<From> &&
    std::is_trivially_copyable_v<To>,
    To>
// constexpr 支持需要编译器魔法
bit_cast(const From& src) noexcept
{
    static_assert(std::is_trivially_constructible_v<To>,
        "此实现额外要求 "
        "目标类型可平凡构造");
    To dst;
    std::memcpy(&dst, &src, sizeof(To));
    return dst;
}

注释

reinterpret_cast （或等价的 显式转换 ）在大多数情况下不应用于指针或引用类型之间重新解释对象表示，因为存在 类型别名规则 的限制。

示例

#include <bit>
#include <cstdint>
#include <iostream>
constexpr double f64v = 19880124.0; 
constexpr auto u64v = std::bit_cast<std::uint64_t>(f64v);
static_assert(std::bit_cast<double>(u64v) == f64v); // 往返转换
constexpr std::uint64_t u64v2 = 0x3fe9000000000000ull;
constexpr auto f64v2 = std::bit_cast<double>(u64v2);
static_assert(std::bit_cast<std::uint64_t>(f64v2) == u64v2); // 往返转换
int main()
{
    std::cout
        << "std::bit_cast<std::uint64_t>(" << std::fixed << f64v << ") == 0x"
        << std::hex << u64v << '\n'
        << "std::bit_cast<double>(0x" << std::hex << u64v2 << ") == "
        << std::fixed << f64v2 << '\n';
}

std::bit_cast<std::uint64_t>(19880124.000000) == 0x4172f58bc0000000
std::bit_cast<double>(0x3fe9000000000000) == 0.781250

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

参见