std::Common
| ヘッダ <concepts> で定義
|
||
| template <class T, class U> concept Common = |
(C++20以上) | |
コンセプト Common<T, U> は、2つの型 T と U が両方とも変換可能な共通の型 (std::common_type_t によって計算されます) を共有することを指定します。
等しさを維持する式 t1、 t2、 u1 および u2 が与えられたとき、 decltype((t1)) と decltype((t2)) がどちらも T であり、 decltype((u1)) と decltype((u2)) がどちらも U であり、さらに以下の内容を持たす場合にのみ、 T および U は Common<T, U> をモデル化します。
-
t1とt2が等しい場合にのみ std::common_type_t<T, U>(t1) と std::common_type_t<T, U>(t2) が等しい。 -
u1とu2が等しい場合にのみ std::common_type_t<T, U>(u1) と std::common_type_t<T, U>(u2) が等しい。
別の言い方をすると、共通の型への変換は等しさを維持しなければなりません。
[編集] 等しさの維持
等しい入力を与えると等しい出力が得られる場合、その式は等しさを維持します。
- 式への入力がその被演算子から構成される。
- 式の出力がその結果およびその式によって変更されるすべての被演算子 (もしあれば) から構成される。
等しさを維持することが要求されるすべての式は、さらに安定であることも要求されます。 同じ入力オブジェクトを用いたそのような式の2回の評価は、間にそれらの入力オブジェクトの変更が明示的に挟まれなければ、等しい出力が得られなければなりません。
[編集] 関連項目
| (C++11) |
指定された型のグループの共通型を調べます (クラステンプレート) |
| 型のグループの共通の参照型を調べます (クラステンプレート) | |
| (C++20) |
2つの型が共通の参照型を共有することを指定します (コンセプト) |
