该概念equality_comparable_with<T, U>旨在声明类型T和 的对象U可以相互比较，如果它们是，则这具有预期的含义。没关系。
但是，这个概念也需要common_reference_t<T&, U&>存在。其主要推动力common_reference及其伴随的功能似乎是启用代理迭代器，有一个地方来表示此类迭代器之间的关系reference以及value_type此类迭代器的关系。
太好了，但是……这与测试 aT和 a 是否U可以相等有什么关系？为什么标准要求这样做T并且U有一个共同的参考关系只是为了让你比较它们相等？
这会产生奇怪的情况，其中很难有两种类型没有合理地具有逻辑可比性的公共引用关系。例如，vector<int>和pmr::vector<int>逻辑上应该是可比的。但它们不可能，因为这两种不相关的类型之间没有合理的公共引用。