std::experimental::ranges::CommonReference

Defined in header `<experimental/ranges/concepts>`
template< class T, class U > concept bool CommonReference = Same<ranges::common_reference_t<T, U>, ranges::common_reference_t<U, T>> && ConvertibleTo<T, ranges::common_reference_t<T, U>> && ConvertibleTo<U, ranges::common_reference_t<T, U>>;		(ranges TS)

コンセプトCommonReference<T, U>は、2つの型TとUが、両方とも変換可能な共通参照型（ranges::common_reference_tによって計算される）を共有することを指定します。

CommonReference<T, U>は、decltype((t))がTであり、decltype((u))がUであるような式tとuが与えられた場合にのみ満たされます。

ranges::common_reference_t<T, U>(t)がranges::common_reference_t<T, U>(t)と等しいのは、tが等価性保持式である場合、かつその場合に限ります。
ranges::common_reference_t<T, U>(u)がranges::common_reference_t<T, U>(u)と等しいのは、uが等価性保持式である場合、かつその場合に限ります。

言い換えれば、共通参照型への変換は、元の式の等価性保持プロパティを変更してはなりません。

式が**等価性保持**であるとは、等しい入力に対して等しい出力を生成することを意味します。

等価性保持が要求されるすべての式は、さらに**安定**である必要があります。同じ入力オブジェクトでそのような式の2回の評価は、これらの入力オブジェクトの明示的な介入的な変更がない限り、等しい出力を持ちます。

common_reference	型の共通参照型を決定します。 (class template) [編集]
Common	2つの型が共通の型を共有することを規定する (concept) [編集]
common_type	型の共通型を決定します。 (class template) [編集]

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (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グラフィックス