名前空間
変種
操作

std::has_unique_object_representations

提供: cppreference.com
< cpp‎ | types
 
 
 
型サポート
型プロトタイプ
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(C++20未満)
(C++11)(C++20で非推奨)
(C++11)
has_unique_object_representations
(C++17)
型特性定数
メタ関数
(C++17)
エンディアン
(C++20)
サポートされている操作
関係と性質の問い合わせ
(C++11)
(C++11)
型変更
(C++11)(C++11)(C++11)
型変換
(C++11)
(C++11)
(C++17)
(C++11)(C++20未満)(C++17)
 
ヘッダ <type_traits> で定義
template< class T >
struct has_unique_object_representations;
(C++17以上)

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

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

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

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

目次

[編集] テンプレート引数

T - 調べる型

[編集] ヘルパー変数テンプレート

template< class T >
inline constexpr bool has_unique_object_representations_v = has_unique_object_representations<T>::value;
(C++17以上)

std::integral_constant から継承

メンバ定数

value
[static]
T が一意なオブジェクト表現を持つならば true、そうでなければ false
(パブリック静的メンバ定数)

メンバ関数

operator bool
オブジェクトを bool に変換します。 value を返します
(パブリックメンバ関数)
operator()
(C++14)
value を返します
(パブリックメンバ関数)

メンバ型

定義
value_type bool
type std::integral_constant<bool, value>

[編集] ノート

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

[編集]

#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

[編集] 関連項目

型が標準レイアウト型かどうか調べます
(クラステンプレート) [edit]
(C++11)
ハッシュ関数オブジェクト
(クラステンプレート) [edit]