Difference between revisions of "cpp/iterator/indirect equivalence relation"
Andreas Krug (Talk | contribs) m (fmt) |
m (→Synopsis: {{ddcl}}, decreasing the width) |
||
| Line 1: | Line 1: | ||
{{cpp/title|indirect_equivalence_relation}} | {{cpp/title|indirect_equivalence_relation}} | ||
{{cpp/iterator/navbar}} | {{cpp/iterator/navbar}} | ||
| − | {{ | + | {{ddcl|header=iterator|since=c++20|1= |
| − | + | ||
| − | + | ||
template< class F, class I1, class I2 = I1 > | template< class F, class I1, class I2 = I1 > | ||
concept indirect_equivalence_relation = | concept indirect_equivalence_relation = | ||
| Line 13: | Line 11: | ||
std::equivalence_relation<F&, std::iter_reference_t<I1>, std::iter_value_t<I2>&> && | std::equivalence_relation<F&, std::iter_reference_t<I1>, std::iter_value_t<I2>&> && | ||
std::equivalence_relation<F&, std::iter_reference_t<I1>, std::iter_reference_t<I2>> && | std::equivalence_relation<F&, std::iter_reference_t<I1>, std::iter_reference_t<I2>> && | ||
| − | std::equivalence_relation<F&, std::iter_common_reference_t<I1>, std::iter_common_reference_t<I2>>; | + | std::equivalence_relation<F&, std::iter_common_reference_t<I1>, |
| + | std::iter_common_reference_t<I2>>; | ||
}} | }} | ||
| − | |||
The concept {{tt|indirect_equivalence_relation}} specifies requirements for algorithms that call equivalence relations as their arguments. The key difference between this concept and {{lc|std::equivalence_relation}} is that it is applied to the types that {{tt|I1}} and {{tt|I2}} references, rather than {{tt|I1}} and {{tt|I2}} themselves. | The concept {{tt|indirect_equivalence_relation}} specifies requirements for algorithms that call equivalence relations as their arguments. The key difference between this concept and {{lc|std::equivalence_relation}} is that it is applied to the types that {{tt|I1}} and {{tt|I2}} references, rather than {{tt|I1}} and {{tt|I2}} themselves. | ||
Revision as of 10:54, 3 October 2023
| Defined in header <iterator>
|
||
| template< class F, class I1, class I2 = I1 > concept indirect_equivalence_relation = |
(since C++20) | |
The concept indirect_equivalence_relation specifies requirements for algorithms that call equivalence relations as their arguments. The key difference between this concept and std::equivalence_relation is that it is applied to the types that I1 and I2 references, rather than I1 and I2 themselves.
Semantic requirements
F, I1, and I2 model indirect_equivalence_relation only if all concepts it subsumes are modeled.
