C++等编程语言中if(!x)与if(x==null)有什么区别

你在同一段代码里同时看到这两种写法，基本都是在做判空逻辑，但二者从语法规则到适用场景都有明确差异，不是完全等价的写法：

• 适用的类型范围完全不同
  if(!x)的逻辑是把x放到布尔上下文里做隐式转换，只要x的类型支持转bool，这个写法就能编译通过：整数0、浮点数0.0、布尔值false、空指针、值为空的std::optional、重载了operator!的自定义类，都会让!x返回true。
  if(x == null)（这里的null一般指C++11之后的nullptr，旧代码里可能是宏定义的NULL）要求x的类型必须能和空指针常量做相等比较，绝大多数场景下只有原生指针、标准智能指针这类指针语义的类型才满足要求。如果x是普通整数、浮点数、没有实现指针相等比较的自定义类，写x == null会直接编译失败。

• 针对原生指针场景的逻辑一致性
  当x是普通原生指针时，C++标准明确规定：空指针转换为bool值为false，非空指针转换为bool值为true。这种场景下if(!x)和if(x == nullptr)的判断结果完全一致，没有功能差异，选哪种纯粹是编码风格问题。
  但如果x不是原生指针，是重载了相关运算符的自定义类型，二者结果可能完全不一样：比如某智能指针类只实现了operator!做判空，没重载和nullptr的相等比较，那x == null要么编译报错，要么走到意外的隐式转换分支给出错误结果；反过来如果类只实现了空指针比较，没有实现到bool的隐式转换或operator!，!x就会无法编译。

• 工程实践中的风格取舍
  两种写法的使用争议本质是可读性和泛用性的权衡：

  • 倾向写if(x == nullptr)的开发者主要看重意图清晰，看到代码就能明确知道这是在判断指针为空，不会和“判断整数为0”“判断布尔值为假”的逻辑混淆；如果把常量写在前面写成if(nullptr == x)，还能彻底避免把相等比较符==误写成赋值符=的低级笔误。
  • 倾向写if(!x)的开发者更看重写法简洁，以及泛型场景下的兼容性：写模板代码时不需要关心传入的类型是指针、整数、还是支持布尔转换的自定义类型，!x的写法都能正常工作，不需要针对特定类型做特化处理。

避坑提醒：旧代码里如果出现if(x == NULL)要多留个心眼，NULL本质是值为0的整数字面量，如果x的类型重载了接收int参数的operator==，很可能匹配到非预期的重载函数，出现逻辑bug。现代C++判空指针统一用nullptr即可。

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