4. common_reference_with

最終更新日時(UTC):
が更新

履歴 編集

concept
<concepts>

std::common_reference_with(C++20)

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>>;
}

概要

common_reference_withは、T, Uの間で、どちらの型からも変換可能な共通の参照型が存在することを表すコンセプトである。

2つの型T, Uは以下の全ての条件を満たす場合にのみ、共通の参照型を持つ。

このような型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>>();
}

出力

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

処理系

関連項目

参照