std::bit_cast

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

数値演算ライブラリ

一般的な数学関数

数学の特殊関数 (C++17)

数学定数 (C++20)

浮動小数点環境 (C++11)

複素数

数値配列

擬似乱数生成

コンパイル時有理数算術 (C++11)

数値演算アルゴリズム

gcd (C++17)

lcm (C++17)

補間

midpoint (C++20)

lerp (C++20)

汎用の数値演算

iota (C++11)

accumulate

inner_product

adjacent_difference

partial_sum

reduce (C++17)

transform_reduce (C++17)

inclusive_scan (C++17)

exclusive_scan (C++17)

transform_inclusive_scan (C++17)

transform_exclusive_scan (C++17)

ビット操作

bit_cast (C++20)

has_single_bit (C++20)

bit_ceil (C++20)

bit_floor (C++20)

bit_width (C++20)

rotl (C++20)

rotr (C++20)

countl_zero (C++20)

countl_one (C++20)

countr_zero (C++20)

countr_one (C++20)

popcount (C++20)

endian (C++20)

 

<tbody> </tbody>

ヘッダ <bit> で定義
template< class To, class From > constexpr To bit_cast(const From& from) noexcept;		(C++20以上)

from のオブジェクト表現を再解釈することによって To 型の値を取得します。 返された To オブジェクトの値表現内のすべてのビットは from のオブジェクト表現内の対応するビットと等しくなります。 返された To オブジェクト内のパディングビットの値は未規定です。

生成された値表現に対応する To 型の値が存在しない場合、動作は未定義です。 対応する値が複数ある場合、どの値が生成されるかは未規定です。

このオーバーロードは、sizeof(To) == sizeof(From) であり、 To と From がどちらも TriviallyCopyable な型である場合にのみ、オーバーロード解決に参加します。

この関数テンプレートは、 To と From のそれぞれが、および To と From のすべての部分オブジェクトが以下の内容をすべて満たす場合に限り、 constexpr です。

• 共用体型でない。
• ポインタ型でない。
• メンバポインタ型でない。
• volatile 修飾された型でない。
• 参照型の非静的データメンバを持たない。

戻り値

上で説明した通りの値表現を持つ To 型のオブジェクト。

ノート

ポインタまたは参照型の間の reinterpret_cast (または同等の明示的なキャスト) は、型のエイリアシングルールのため、ほとんどの場合においてオブジェクト表現の再解釈に使用することはできません。

std::bit_cast 以前でオブジェクト表現を別の型のオブジェクト表現として解釈する必要があるときは std::memcpy を使用することができます。

template <class To, class From>
typename std::enable_if<
    (sizeof(To) == sizeof(From)) &&
    std::is_trivially_copyable<From>::value &&
    std::is_trivial<To>::value,
    // この実装は To がトリビアルにデフォルト構築可能であることを要求します。
    To>::type
// constexpr のサポートはコンパイラマジックが必要です。
bit_cast(const From &src) noexcept
{
    To dst;
    std::memcpy(&dst, &src, sizeof(To));
    return dst;
}

例

Run this code

#include <cstdint>
#include <bit>
#include <iostream>

constexpr double f64v = 19880124.0;
constexpr auto u64v = std::bit_cast<std::uint64_t>(f64v);

constexpr std::uint64_t u64v2 = 0x3fe9000000000000ull;
constexpr auto f64v2 = std::bit_cast<double>(u64v2);

int main()
{
    std::cout
        << std::fixed <<f64v << "f64.to_bits() == 0x"
        << std::hex << u64v << "u64\n";

    std::cout
        << "f64::from_bits(0x" << std::hex << u64v2 << "u64) == "
        << std::fixed << f64v2 << "f64\n";
}

出力例:

19880124.000000f64.to_bits() == 0x4172f58bc0000000u64
f64::from_bits(0x3fe9000000000000u64) == 0.781250f64