C++20个概念中的等同概念 [英] Concept of "equal" in C++20 concepts

问题描述

我在阅读一些概念定义时，多次发现术语等于，如Swappable：

让t1和t2为保持相等表达式，这些表达式表示类型为T的不同的相等对象，

等于是否在标准中的某个位置定义？我猜想这意味着两个对象的语义或它们引用的值(赋予它们表示的域值的人类语义)是相同的，即使这两个对象不具有可比性(无operator==重载)，或者类似的抽象(例如，如果a == b是有效的表达式，则两个对象a和b是相等的--例如，因为operator==没有定义，因为它不是必需的)。

推荐答案

由于模板将作用于用户给出的语义，因此相等的概念在很大程度上是由程序定义的。例如，如果我使用不区分大小写的字符串，我可以认为字符串FoO和fOo相等，而FoO和bAr不相等。我提供的操作必须反映此语义。

平等不是基于operator==定义的；相反，operator==(在某种意义上)是基于相等定义的。[concept.equalitycomparable]/equality_comparable：

template<class T>
  concept equality_comparable = weakly-equality-comparable-with<T, T>;

设a和b为T类型的对象。T型号 equality_­comparable仅当bool(a == b)为true时 等于b([概念相等])，否则为false。

[注意：要求a == b表达式为 保等式意味着==是传递的和对称的。 &mdash；结束语]

这篇关于C++20个概念中的等同概念的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！