C++概念隐式表达式变体未被编译器正确处理？

问题背景 #

根据cppreference的定义，requires表达式的隐式表达式变体需遵循以下规则：

使用对常量左值操作数无修改的表达式时，隐式要求该表达式接受非const左值或（可能const的）右值的变体（除非已显式要求语义不同的变体），且变体需满足原表达式的语义要求。

我编写的测试代码中，类型T满足概念C的显式语法要求，但因删除了operator==(T&)，理论上不满足上述隐式变体要求，C<T>应判定为false。但测试发现最新版本的编译器均未遵循此规则，请问我是否遗漏了什么？

问题解析 #

你对cppreference规则的理解没有错误，但这里存在关键的标准实现细节：

1. 标准规则的实际边界
   cppreference的描述是对C++标准[temp.constr.atomic]/6条款的解读，而标准中对隐式变体的“可行性”判定，核心是看表达式能否编译通过，而非要求存在完全匹配的重载。在你的场景中，非const左值T&可以隐式绑定到const T&参数，因此operator==(const T&, const T&)依然能处理非const左值的比较操作，编译器会判定该隐式变体是可行的。

2. 隐式变体的触发逻辑
   隐式变体要求的核心是确保表达式在操作数是其他值类别时依然能正常工作，而非强制要求为每个值类别提供独立重载。只要现有重载能兼容目标值类别（比如const重载兼容非const左值），编译器就会认为满足要求。

3. 编译器实现的一致性
   当前主流编译器的实现都遵循标准中“可行性优先”的判定逻辑，而非严格按照cppreference的语义描述来强制检查独立重载的存在。这并非编译器bug，而是标准规则与cppreference解读之间存在的细微差异。

内容的提问来源于stack exchange，提问作者김선달