std::experimental::ranges::common_reference

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

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

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

実験的

Technical Specification

ファイルシステムライブラリ (filesystem TS)

ライブラリ基本 (library fundamentals TS)

ライブラリ基本TS v2 (library fundamentals TS v2)

ライブラリ基本 3 (library fundamentals TS v3)

並列化拡張 (parallelism TS)

並列化拡張 2 (parallelism TS v2)

並行処理拡張 (concurrency TS)

並行処理拡張 2 (concurrency TS v2)

コンセプト (concepts TS)

Ranges (ranges TS)

リフレクション (reflection TS)

数学特殊関数 (special functions TR)

実験的 (非TS)

パターンマッチ

線形代数

std::execution

契約プログラミング

2Dグラフィックス

 

Ranges

コンセプト

汎用ユーティリティ

イテレータ

Ranges

アルゴリズム

 

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

ユーティリティコンポーネント
swap	exchange
関数オブジェクト
invoke identity	equal_to not_equal_to	greater less	greater_equal less_equal
メタプログラミングと型特性
is_swappable_withis_swappable	is_nothrow_swappable_withis_nothrow_swappable	common_reference common_type
タグ付きペアとタプル
TagSpecifier TaggedType	tagged タグ指定子	tagged_pair make_tagged_pair	tagged_tuple make_tagged_tuple

 

Defined in header <experimental/ranges/type_traits>
template< class... T > struct common_reference;		(ranges TS)

型 T... の共通参照型を決定します。つまり、T... 内のすべての型が変換または束縛される可能性のある型です。そのような型が存在する場合（下記の規則に従って決定）、メンバ type はその型を指します。存在しない場合は、メンバ type はありません。T... 内の型のいずれかが、（おそらく cv 修飾された）void 以外の不完全型である場合、動作は未定義です。

参照型が与えられた場合、common_reference は、提供された参照型がすべて束縛される可能性のある参照型を見つけようとしますが、そのような参照型が見つからない場合は参照型でない型を返すことがあります。

• sizeof...(T) がゼロの場合、メンバー type は存在しません。
• sizeof...(T) が 1 の場合（つまり、T... が単一の型 T0 のみを含む場合）、メンバ type は T0 と同じ型を指します。
• sizeof...(T) が 2 の場合（つまり、T... が 2 つの型 T1 と T2 を含む場合）
  • T1 と T2 が両方とも参照型であり、T1 と T2 の *単純共通参照型* S（下記参照）が存在する場合、メンバ型 type は S を指します。
  • それ以外の場合で、basic_common_reference<T1R, T2R, T1Q, T2Q>::type が存在する場合、ここで TiR は std::remove_cv_t<std::remove_reference_t<Ti>> であり、TiQ は template<class T> TiQ<TiR> が Ti であるようなエイリアステンプレートである場合、メンバ型 type はその型を指します。
  • それ以外の場合で、decltype(false? val<T1>() : val<T2>())（ここで val は関数テンプレート template<class T> T val();）が有効な型を示す場合、メンバ型 type はその型を指します。
  • それ以外の場合で、ranges::common_type_t<T1, T2> が有効な型である場合、メンバ型 type はその型を指します。
  • それ以外の場合、メンバ型はありません。
• sizeof...(T) が 2 より大きい場合（つまり、T... が型 T1, T2, R... で構成される場合）、ranges::common_reference_t<T1, T2> が存在する場合、メンバ type は ranges::common_reference_t<ranges::common_reference_t<T1, T2>, R...> を指します（そのような型が存在する場合）。それ以外の場合、メンバ type はありません。

2 つの参照型 T1 と T2 の *単純共通参照型* は次のように定義されます。

• T1 が cv1 X & で T2 が cv2 Y & （つまり、両方とも lvalue 参照型）の場合：それらの単純共通参照型は decltype(false? std::declval<cv12 X &>() : std::declval<cv12 Y &>()) です。ここで cv12 は cv1 と cv2 の和集合であり、そのような型が存在し、参照型である場合。
• T1 と T2 が両方とも rvalue 参照型の場合：T1 & と T2 & の単純共通参照型（前の箇条書きに従って決定）が存在する場合、C をその型の対応する rvalue 参照型とします。std::is_convertible<T1, C>::value と std::is_convertible<T2, C>::value が両方とも true の場合、T1 と T2 の単純共通参照型は C です。
• それ以外の場合、一方の型は lvalue 参照型 A & で、もう一方は rvalue 参照型 B && （A と B は cv 修飾されている可能性があります）でなければなりません。D を A & と B const & の単純共通参照型（存在する場合）とします。D が存在し、std::is_convertible<B &&, D>::value が true の場合、単純共通参照型は D です。
• それ以外の場合、単純共通参照型はありません。

メンバ型

名前	定義
type	すべての T... の共通参照型

ヘルパー型

template< class... T > using common_reference_t = typename common_reference<T...>::type;
template< class T, class U, template<class> class TQual, template<class> class UQual > struct basic_common_reference {};

クラステンプレート basic_common_reference は、ユーザー定義型（通常はプロキシ参照）の common_reference の結果に影響を与えるためのカスタマイズポイントです。プライマリテンプレートは空です。

特殊化

プログラムは、std::is_same<T, std::decay_t<T>> と std::is_same<U, std::decay_t<U>> が両方とも真であり、かつ少なくとも一方がプログラム定義型に依存する場合に、最初の 2 つのパラメータ T と U に対して basic_common_reference<T, U, TQual, UQual> を特殊化できます。

そのような特殊化が type という名前のメンバを持つ場合、それは public かつ一意のメンバ型であり、TQual<T> と UQual<U> の両方に変換可能な型を指している必要があります。さらに、ranges::basic_common_reference<T, U, TQual, UQual>::type と ranges::basic_common_reference<U, T, UQual, TQual>::type は同じ型を指す必要があります。

プログラムは、3 番目または 4 番目のパラメータに対して basic_common_reference を特殊化することはできません。また、common_reference 自体を特殊化することもできません。これらの規則に違反して特殊化を追加したプログラムは、未定義の動作をします。

関連項目

common_type (C++11)	型のグループの共通の型を決定する (クラステンプレート)
common_type	型の共通型を決定します。 (class template)
CommonReference	2つの型が共通の参照型を共有することを規定する (concept)