C++20个概念中的等同概念
我在阅读一些概念定义时,多次发现术语等于,如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;结束语]
相关文章