为何调用operator==时MSVC不执行到std::nullptr_t的用户定义隐式转换？

代码示例 #

#include <cassert>
#include <cstddef>

struct X { operator std::nullptr_t() const { return nullptr; } };
X x;
assert(x == nullptr);

问题现象 #

这段代码里，结构体X定义了隐式转换运算符，可将X实例转换为std::nullptr_t。按C++标准逻辑，x == nullptr应触发该隐式转换，把左操作数x转为std::nullptr_t后，匹配预定义的相等运算符。

GCC和Clang均可正常编译这段代码，代码分析工具也验证了该隐式转换符合预期，但MSVC编译时会报错：

error C2676: binary '==': 'main::X' does not define this operator or a conversion to a type acceptable to the predefined operator

问题结论 #

这段代码完全符合C++标准，属于MSVC的实现错误。

标准依据 #

根据C++重载决议规则：执行==运算时，若其中一个操作数是std::nullptr_t类型，另一个是类类型，编译器会查找类类型到std::nullptr_t的隐式转换序列。由于X的转换运算符是隐式（无explicit修饰）且const限定的，完全满足隐式转换要求，应当被选中，进而使用预定义的std::nullptr_t间相等运算符完成比较。

GCC和Clang的行为符合标准要求，MSVC未能正确识别这条合法转换路径，属于编译器实现缺陷。

内容的提问来源于stack exchange，提问作者Daniel