.NET 7 中 null 条件访问运算符在布尔求值中的规则疑问

你的核心困惑源于null条件运算符的返回值是可空值类型，而非直接短路返回布尔值，这导致它和你手写的null &&逻辑并不等价。以下是具体规则、底层原理及对示例的拆解：

一、核心规则 #

1. null条件运算符的返回类型特性 #

使用?.访问成员时：

• 如果左侧操作数为null，整个表达式返回对应值类型的可空版本（比如int?），而非null本身；
• 如果左侧操作数非null，返回成员的实际值，并自动包装为对应的可空类型实例（HasValue为true，Value为实际值）。

比如str?.Length，当str为null时，返回(int?)null；当str非null时，返回(int?)str.Length。

2. 可空值类型与常量的比较规则 #

C#对可空值类型（如int?）和非可空常量的比较有明确规范：

• != 比较：若可空值为null，null != 常量结果为true（因为null不等于任何非null值）；
• == 比较：若可空值为null，null == 常量结果为false；
• 关系运算符（>、<、>=、<=）：只要可空值为null，比较结果直接为false（C#规范规定，此类比较中null不参与大小判断）。

二、示例拆解 #

示例1：str?.Length != 0 #

当str为null时，str?.Length是(int?)null，执行null != 0，根据规则结果为true，因此进入if分支输出True。

示例2：str?.Length > 0 #

当str为null时，(int?)null > 0触发关系运算符规则，直接返回false，因此进入else分支输出False。

示例3：str != null && str.Length !=0 #

这是传统短路逻辑：str为null时，str != null为false，&&运算符直接短路返回false，进入else分支输出False。

两者不等价的原因：?.没有直接返回布尔值，而是返回可空值类型，后续比较遵循可空值的规则；而&&是直接对布尔值做短路判断，逻辑完全不同。

三、底层编译逻辑 #

str?.Length会被编译为类似以下的代码：

str != null ? new int?(str.Length) : new int?()

可空值类型的比较运算符是重载实现的：

• 对于!=，会先检查可空值的HasValue属性：若为false，直接返回true；若为true，则比较Value与常量。
• 对于关系运算符，只要任意一方为null，直接返回false。

四、避免误用的建议 #

• 不要默认认为x?.Member != y等价于x != null && x.Member != y，两者逻辑差异明显；
• 如果需要和传统短路逻辑等价，可写成(str?.Length ?? 0) != 0，或者直接使用str != null && str.Length !=0；
• 对可空值类型的比较结果要有明确预期：null与非null值的!=为true，==为false，关系比较全为false。

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