indirect_equivalence_relation.md

indirect_equivalence_relation

• iterator[meta header]
• std[meta namespace]
• concept[meta id-type]
• cpp20[meta cpp]

namespace std {
  template<class F, class I1, class I2 = I1>
  concept indirect_equivalence_relation =
    indirectly_readable<I1> && indirectly_readable<I2> &&
    copy_constructible<F> &&
    equivalence_relation<F&, iter_value_t<I1>&, iter_value_t<I2>&> &&
    equivalence_relation<F&, iter_value_t<I1>&, iter_reference_t<I2>> &&
    equivalence_relation<F&, iter_reference_t<I1>, iter_value_t<I2>&> &&
    equivalence_relation<F&, iter_reference_t<I1>, iter_reference_t<I2>> &&
    equivalence_relation<F&, iter_common_reference_t<I1>, iter_common_reference_t<I2>>;
}

• indirectly_readable[link /reference/iterator/indirectly_readable.md]
• copy_constructible[link /reference/concepts/copy_constructible.md]
• equivalence_relation[link /reference/concepts/equivalence_relation.md]
• iter_value_t[link /reference/iterator/iter_value_t.md]
• iter_reference_t[link /reference/iterator/iter_reference_t.md]
• iter_common_reference_t[link /reference/iterator/iter_common_reference_t.md]

概要

indirect_equivalence_relationは、間接参照可能な型I1, I2（例えばイテレータ型）の参照先の型によって、Fが同値関係（equivalence_relation）となることを表すコンセプトである。

単純には、型I1, I2, Fのオブジェクトをそれぞれi1, i2, fとするとbool c = f(*i1, *i2)のような呼び出しが可能であり、結果cが同値関係を示すことを表している。

これは例えば、searchのようなイテレータを取るアルゴリズムにおいて、同値比較をカスタマイズする述語オブジェクトの制約に用いることができる。

例

#include <iostream>
#include <concepts>
#include <iterator>
#include <vector>
#include <memory>

template<typename I, std::indirect_equivalence_relation<I> F>
void f(const char* nameI, const char* nameF) {
  std::cout << nameI << " is indirect_equivalence_relation " << nameF << std::endl;
}

template<typename I, typename F>
void f(const char* nameI, const char* nameF) {
  std::cout << nameI << " is not indirect_equivalence_relation " << nameF << std::endl;
}

using F1 = decltype([](const int& l, const int& r) -> bool { return l == r; });
using F2 = decltype([](const int&, const int&) -> void { });

int main() {
  f<int*, F1>("int*", "bool(const int&, const int&)");
  f<std::unique_ptr<int>, F1>("std::unique_ptr<int>", "bool(const int&, const int&)");
  f<std::vector<int>::iterator, F1>("std::vector<int>::iterator", "bool(const int&, const int&)");
  f<std::istream_iterator<int>, F1>("std::istream_iterator<int>", "bool(const int&, const int&)");
    
  std::cout << "\n";

  f<int*, F2>("int*", "void(const int&, const int&)");
  f<std::unique_ptr<int>, F2>("std::unique_ptr<int>", "void(const int&, const int&)");
  f<std::vector<int>::iterator, F2>("std::vector<int>::iterator", "void(const int&, const int&)");
  f<std::istream_iterator<int>, F2>("std::istream_iterator<int>", "void(const int&, const int&)");
}

• std::indirect_equivalence_relation[color ff0000]

出力

int* is indirect_equivalence_relation bool(const int&, const int&)
std::unique_ptr<int> is indirect_equivalence_relation bool(const int&, const int&)
std::vector<int>::iterator is indirect_equivalence_relation bool(const int&, const int&)
std::istream_iterator<int> is indirect_equivalence_relation bool(const int&, const int&)

int* is not indirect_equivalence_relation void(const int&, const int&)
std::unique_ptr<int> is not indirect_equivalence_relation void(const int&, const int&)
std::vector<int>::iterator is not indirect_equivalence_relation void(const int&, const int&)
std::istream_iterator<int> is not indirect_equivalence_relation void(const int&, const int&)

バージョン

言語

• C++20

処理系

• Clang: ??
• GCC: 10.1 [mark verified]
• Visual C++: 2019 Update 6 [mark verified]

関連項目

• C++20 コンセプト

参照

• P0896R4 The One Ranges Proposal (was Merging the Ranges TS)