Uの間で、どちらの型からも変換可能な共通の参照型が存在することを表すコンセプトである。Uは以下の全ての条件を満たす場合にのみ、共通の参照型を持つ。C>のモデルであるこのような型Cは、必ずしもTやUと同じ型である必要はなく、参照型でなくても良い。Uはcommon_reference_withのモデルである。t1とt2が等値である場合にのみ、C(t1)とC(t2)も等値となるu1とu2が等値である場合にのみ、C(u1)とC(u2)も等値となる備考このコンセプトをカスタマイズするには、basic_common_referenceを利用する。下に提供されています。