C#6 null 条件运算符

2019-12-30 13:30:16丽君

三元运算符版的IL

新语法"?."和三元运算符"?:"的结果是唯一的差别是IL_000a这一行。"?."的方式被编译为call,而"?:"的方式被编译为callvirt,不知为何"?:"中的persion.Name为何会被编译成支持多态方式调用的callvirt,在这种情况下貌似call效率会更高一些,但是终究"?."和"?:"编译的代码没有本质差异。

但是和if判断的相比简化了一些,我们分析下IL,看看有哪些差异(这里就忽略call和callvirt的区别了):

if版的IL分析:

 


.method private hidebysig static void Main() cil managed
 {
 .entrypoint
 .maxstack 2
 .locals init ([0] class csharp6.Person person, //初始化局部变量person,把person放在索引为0的位置
   [1] string name,      //初始化局部变量name,把name放在索引为1的位置
   [2] bool V_2)       //初始化局部变量V_2,把V_2放在索引为2的位置
 IL_0000: nop         //空
 IL_0001: ldnull        //加载null
 IL_0002: stloc.0        //把null放入索引为0的变量,也就是person对象。
 IL_0003: ldnull        //加载null
 IL_0004: stloc.1        //把null放入索引为1的变量,也就是name对象。
 IL_0005: ldloc.0        //加载索引为0的位置的变量,也就是person对象
 IL_0006: ldnull        //加载null
 IL_0007: cgt.un        //比较前两步加载的值。如果第一个值大于第二个值,则将整数值1推送到计算堆栈上;反之,将0推送到计算堆栈上。
 IL_0009: stloc.2        //把比较结果放入索引为2的变量中,也就是V_2对象
 IL_000a: ldloc.2        //加载索引为2的对象,也就是V_2对象
 IL_000b: brfalse.s IL_0016     //如果上一步加载的对象为false、空引用或零,则跳转到IL_0016位置,也就是结束当前方法。
 IL_000d: nop         //空
 IL_000e: ldloc.0        //加载索引为0的位置的变量,也就是person对象
 IL_000f: callvirt instance string csharp6.Person::get_Name() //调用person对象的get_Name方法。
 IL_0014: stloc.1        //把上一步的结果存入索引为1的变量中,也就是name对象。
 IL_0015: nop         //空
 IL_0016: ret         //返回
 } 

null条件运算符版的IL分析:


 .method private hidebysig static void Main() cil managed
 {
  .entrypoint
  .maxstack 1
  .locals init ([0] class csharp6.Person person, //初始化局部变量person,把person放在索引为0的位置
       [1] string name)           //初始化局部变量name,把name放在索引为1的位置
  IL_0000: nop                 //空
  IL_0001: ldnull                //加载null
  IL_0002: stloc.0               //把null放入索引为0的变量,也就是person对象
  IL_0003: ldloc.0               //加载索引为0的位置的变量,也就是person对象
  IL_0004: brtrue.s  IL_0009          //如果上一步加载的对象为true、非空引用或非零,则跳转到IL_0009位置
  IL_0006: ldnull                //加载null
  IL_0007: br.s    IL_000f          //无条件的跳转到IL_000f处
  IL_0009: ldloc.0               //加载索引为0的位置的变量,也就是person对象
  IL_000a: call    instance string csharp6.Person::get_Name() ////调用person对象的get_Name方法。
  IL_000f: stloc.1               //把上一步的结果存入索引为1的变量中,也就是name对象。
  IL_0010: ret                 //返回
 }