std::has_unique_object_representations

ヘッダ `<type_traits>` で定義
template< class T > struct has_unique_object_representations;		(C++17以降)

std::has_unique_object_representationsはUnaryTypeTraitです。

Tが自明にコピー可能 (trivially copyable)であり、かつ、同じ値を持つ型Tの2つのオブジェクトが同じオブジェクト表現を持つ場合、メンバ定数valueはtrueに等しくなります。その他の型では、valueはfalseです。

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

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

std::remove_all_extents_t<T>が（おそらくcv修飾された）void以外の不完全型である場合、動作は未定義です。

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

std::integral_constant から継承

メンバ定数

value

[static]

Tが一意のオブジェクト表現を持つ場合はtrue、そうでない場合はfalse
(公開静的メンバ定数)

メンバ関数

operator bool	オブジェクトを bool に変換し、value を返します。 (public member function)
operator() (C++14)	value を返します。 (public member function)

メンバ型

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

[編集] 備考

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

機能テストマクロ	値	規格	機能
`__cpp_lib_has_unique_object_representations`	`201606L`	(C++17)	`std::has_unique_object_representations`

[編集] 例

このコードを実行

#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()
{
    // Every value of a char corresponds to exactly one object representation.
    static_assert(std::has_unique_object_representations_v<char>);
    // For IEC 559 floats, assertion passes because the value NaN has
    // multiple object representations.
    static_assert(!std::has_unique_object_representations_v<float>);
 
    // Should succeed in any sane implementation because unpadded
    // is typically not padded, and std::uint32_t cannot contain padding bits.
    static_assert(std::has_unique_object_representations_v<unpadded>);
    // Fails in most implementations because padding bits are inserted
    // between the data members c and st for the purpose of aligning st to 16 bits.
    static_assert(!std::has_unique_object_representations_v<likely_padded>);
 
    // Notable architectural divergence:
    static_assert(std::has_unique_object_representations_v<bool>);  // x86
 // static_assert(!std::has_unique_object_representations_v<bool>); // ARM
}

[編集] 欠陥報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 4113	C++17	`T`は不明な境界を持つ配列である可能性がある要素型が不完全であっても	要素を要求する型が完全であること

[編集] 関連項目

is_standard_layout (C++11)	型がスタンダードレイアウト型であるかをチェックする (クラステンプレート) [編集]
hash (C++11)	ハッシュ関数オブジェクト (クラステンプレート) [編集]

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ

cppreference.com

名前空間

変種

表示

操作

std::has_unique_object_representations

目次

[編集] テンプレートパラメータ

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