std::has_unique_object_representations - cppreference.com

<tbody> </tbody>

T が TriviallyCopyable な型であり、同じ値を持つ任意の2つの T 型オブジェクトが同じオブジェクト表現を持つ場合、 true に等しいメンバ定数 value が提供されます。 それ以外の型に対しては、 value は false です。

この特性の目的において、2つの配列の要素が同じ値を持つならば、その2つの配列は同じ値を持ち、2つの共用体でないクラスの直接のサブオブジェクトが同じ値を持つならば、その2つのクラスは同じ値を持ち、2つの共用体が同じアクティブメンバを持ちそのメンバの値が同じならば、その2つの共用体は同じ値を持ちます。

スカラー型がこの特性を満たすかどうかは処理系定義ですが、パディングビットを持たない符号なし (C++20未満)整数型は一意なオブジェクト表現を持つことが保証されています。

T が不完全型であり、 void でなく、サイズ不明な配列でなく、それらの cv 修飾された型でもない場合、動作は未定義です。

has_unique_object_representations または has_unique_object_representations_v に対して特殊化を追加するプログラムは未定義です。

テンプレート引数

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

<tbody> </tbody>

ノート

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

例

#include <iostream>
#include <type_traits>

struct foo
{
    char c;
    float f;
    short st;
    int i;
};

struct bar
{
    int a;
    int b;
};

int main()
{   
     std::cout  << std::boolalpha 
                << "Does foo have unique object representations? "
                << std::has_unique_object_representations_v<foo> << '\n'
                << "Does bar have unique object representations? " 
                << std::has_unique_object_representations_v<bar> << '\n';
}

Does foo have unique object representations? false
Does bar have unique object representations? true

関連項目