4. common_with

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

履歴 編集

concept
<concepts>

std::common_with(C++20)

namespace std {
  template<class T, class U>
  concept common_with =
    same_as<common_type_t<T, U>, common_type_t<U, T>> &&
    requires {
      static_cast<common_type_t<T, U>>(declval<T>());
      static_cast<common_type_t<T, U>>(declval<U>());
    } &&
    common_reference_with<
      add_lvalue_reference_t<const T>,
      add_lvalue_reference_t<const U>> &&
    common_reference_with<
      add_lvalue_reference_t<common_type_t<T, U>>,
      common_reference_t<
        add_lvalue_reference_t<const T>,
        add_lvalue_reference_t<const U>>>;
}

概要

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

2つの型T, Uはある型Cへ両方の型から明示的に変換可能な場合にのみ、共通型を持つ。このような型Cは、必ずしもTやUと同じ型である必要はなく、Cは一意で無くても良い。

モデル

C = common_type_t<T, U>、等しさを保持しdecltype((t1))とdecltype((t2))が共にTとなるような式t1, t2及び、等しさを保持しdecltype((u1))とdecltype((u2))が共にUとなるような式u1, u2について以下の条件を満たす場合に限って、型T, Uはcommon_withのモデルである。

  • t1とt2が等値である場合にのみ、C(t1)とC(t2)も等値となる
  • u1とu2が等値である場合にのみ、C(u1)とC(u2)も等値となる

備考

このコンセプトをカスタマイズするには、common_typeを利用する。

例

#include <iostream>
#include <concepts>
#include <vector>
#include <string>

template<typename T, typename U>
requires std::common_with<T, U>
void f() {
  std::cout << "T, U share a common type" << std::endl;
}

template<typename T, typename U>
void f() {
  std::cout << "T, U not share a common 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 type
T, U share a common type
T, U share a common type
T, U not share a common type
T, U share a common type

バージョン

言語

  • C++20

処理系

関連項目

参照