std:: has_unique_object_representations

std::has_unique_object_representations は UnaryTypeTrait です。

T が trivially copyable であり、かつ同じ値を持つ T 型の任意の2つのオブジェクトが同じ object representation を持つ場合、メンバ定数 value を true に設定します。それ以外の型の場合、 value は false となります。

この特性の目的において、2つの配列はそれらの要素が同じ値を持つ場合に同じ値を持ち、2つの非共用体クラスはそれらの直接の部分オブジェクトが同じ値を持つ場合に同じ値を持ち、2つの共用体は同じアクティブなメンバーを持ち、そのメンバーの値が同じである場合に同じ値を持つ。

この特性を満たすスカラー型は実装定義ですが、 unsigned (until C++20) パディングビットを使用しない整数型は、一意のオブジェクト表現を持つことが保証されています。

std:: remove_all_extents_t < T > が（possibly cv-qualifiedな） void 以外の不完全型である場合、動作は未定義です。

プログラムが std::has_unique_object_representations または std::has_unique_object_representations_v に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

ヘルパー変数テンプレート

注記

この特性は、型がそのオブジェクト表現をバイト配列としてハッシュ化することで正しくハッシュ化可能かどうかを判定できるようにするために導入されました。

例

#include <cstdint>
#include <type_traits>
struct unpadded
{
    std::uint32_t a, b;
};
struct likely_padded
{
    std::uint8_t c;
    std::uint16_t st;
    std::uint32_t i;
};
int main()
{
    // charの各値は正確に1つのオブジェクト表現に対応する
    static_assert(std::has_unique_object_representations_v<char>);
    // IEC 559浮動小数点数の場合、値NaNが複数のオブジェクト表現を持つため
    // このアサーションは成功する
    static_assert(!std::has_unique_object_representations_v<float>);
    // unpaddedは通常パディングされず、std::uint32_tはパディングビットを含まないため
    // どのまともな実装でも成功するはず
    static_assert(std::has_unique_object_representations_v<unpadded>);
    // ほとんどの実装では失敗する。stを16ビット境界に配置するために
    // データメンバcとstの間にパディングビットが挿入されるため
    static_assert(!std::has_unique_object_representations_v<likely_padded>);
    // 注目すべきアーキテクチャの差異:
    static_assert(std::has_unique_object_representations_v<bool>);  // x86
 // static_assert(!std::has_unique_object_representations_v<bool>); // ARM
}

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目