C# 空条件运算符?. 与某条件在IL代码层面等价的说法是否正确？

嘿，这个问题问得相当深入——不少开发者只会把?.当成语法糖用，能想到去IL层面验证等价性，说明你对C#编译过程有实打实的好奇心。

直接给结论：如果你的手动条件逻辑严格匹配?.的语义，那么在IL代码层面两者是完全等价的。

先讲常规场景的等价性 #

比如最常见的成员访问：

• C#代码用?.：var userName = user?.UserName;
• 手动写空检查：var userName = user != null ? user.UserName : null;

把这两段代码编译后查看IL，你会发现生成的指令几乎一模一样：都是先加载user变量，执行null判断，根据结果跳转到不同分支——不为null就直接取UserName字段/属性，为null就返回null（引用类型）或对应值类型的默认值。

链式调用的情况也是同理，比如user?.Address?.City，编译后的IL会生成多层null检查分支，和你手动嵌套三元运算符user != null ? (user.Address != null ? user.Address.City : null) : null的IL完全对应。

哪些特殊场景需要注意？ #

当然也存在极少数特殊情况，如果你手动写的逻辑和?.的语义有偏差，IL就会不一样：

• 额外添加了其他判断条件：比如你写user != null && user.IsActive ? user.UserName : null，这比user?.UserName多了一个IsActive的检查，IL自然会多出对应的判断指令。
• 对默认值的处理不同：比如user != null ? user.Age : -1，而user?.Age会返回int?类型的null（而非-1），这种情况下IL的类型处理逻辑会完全不同。

怎么验证？ #

如果你想自己确认，完全可以动手试试：用Visual Studio编写两种写法的代码，编译后通过ILDasm工具或者VS自带的“查看反编译代码”功能切换到IL视图，直接对比指令序列——直观又准确。

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