- concepts[meta header]
- concept[meta id-type]
- std[meta namespace]
- cpp20[meta cpp]
namespace std {
template<class T, class U>
concept common_reference_with =
same_as<common_reference_t<T, U>, common_reference_t<U, T>> &&
convertible_to<T, common_reference_t<T, U>> &&
convertible_to<U, common_reference_t<T, U>>;
}- same_as[link /reference/concepts/same_as.md]
- convertible_to[link /reference/concepts/convertible_to.md]
- common_reference_t[link /reference/type_traits/common_reference.md]
common_reference_withは、T, Uの間で、どちらの型からも変換可能な共通の参照型が存在することを表すコンセプトである。
2つの型T, Uは以下の全ての条件を満たす場合にのみ、共通の参照型を持つ。
C =common_reference_t<T, U>が有効な型である- 型
T, Cは、convertible_to<T, C>のモデルである - 型
U, Cは、convertible_to<U, C>のモデルである
このような型Cは、必ずしもTやUと同じ型である必要はなく、参照型でなくても良い。
C = common_reference_t<T, U>、等しさを保持しdecltype((t1))とdecltype((t2))が共にTとなるような式t1, t2及び、等しさを保持しdecltype((u1))とdecltype((u2))が共にUとなるような式u1, u2について以下の条件を満たす場合に限って、型T, Uはcommon_reference_withのモデルである。
t1とt2が等値である場合にのみ、C(t1)とC(t2)も等値となるu1とu2が等値である場合にのみ、C(u1)とC(u2)も等値となる
このコンセプトをカスタマイズするには、basic_common_referenceを利用する。
#include <iostream>
#include <concepts>
#include <vector>
#include <string>
template<typename T, typename U>
requires std::common_reference_with<T, U>
void f() {
std::cout << "T, U share a common reference type" << std::endl;
}
template<typename T, typename U>
void f() {
std::cout << "T, U not share a common reference type" << std::endl;
}
int main()
{
f<std::size_t&, int&>();
f<std::string&, std::string_view&>();
f<std::vector<int>, std::vector<int>&>();
f<std::vector<int>, std::vector<double>>();
f<std::pair<int&, double&>, std::pair<int, double>>();
}- std::common_reference_with[color ff0000]
T, U share a common reference type
T, U share a common reference type
T, U share a common reference type
T, U not share a common reference type
T, U share a common reference type
- C++20
- Clang: ??
- GCC: 10.1
- Visual C++: 2019 Update 3