C# null propagation 空值传导/传播运算符

 C#6 的一个非常优秀的新功能空值传播运算符。 

在程序开发时，会遇到大量的代码都需要验证空值条件。如果不做处理，遇到空值会抛出错误信息， 所以要养成一个良好的习惯，检查空值。当然，在实际开发中，总是很容易漏掉这样的检查。 我们先看一个例子：

1. public void ShowPerson(Person person)

2. {

3. if(person == null) return;

4. string name = person.Name;

5. }

这段代码检查了 person对象是否为空，如果为空则return 不再执行后面的逻辑。

那我们用空值传播运算符写个例子：

1. public void ShowPerson(Person person)

2. {

3. string name = person ? .Name; // look look

4. }

上面这个例子使用了 "?" 当 person 不为空时继续执行右边的代码， 反之返回null

这里就有一个有趣的问题了， string是值类型，不接受null 这明显有 bug啊 ？ 这就厉害了，还记得前面讲过的空值合并吗？

来看这个例子，打一套组合拳：

1. public void ShowPerson(Person person)

2. {

3. string name = person ? .Name ?? "匿名"; // look look

4. }

?? 右边的值是为了防止左边的结果为空。 虽然问号多了点， 但是其原理还是非常简单。

 

还可以多个空值传播运算符进行组合。看例：

1. // 不使用空值运算符

2.  

3. public void ShowPerson(Person person)

4. {

5. if(person != null && person.Address != null)

6. {

7. string name = person.Address.City;

8. }

9. }

10.  

11. // 使用空值运算符

12. public void ShowPerson(Person person)

13. {

14. string name = person ? .Address ? .City; // look look

15. }

数组也可使用空值传播运算符：

1. int[] arr = null;

2.  

3. int x = arr[0]; // 传统写法

4.  
5.  

6. int x = arr ? [0] ?? 0; // 使用了组合拳

 

 

下面是 js中的空传导运算符号：

读取对象内部的某个属性，往往需要判断一下改对象是否存在。比如，要读取 message.body.user.firstName，安全的写法是写成下面这样。

 

1. const firstName = (message

2. && message.body

3. && message.body.user

4. && message.body.user.firstName) || 'default';

这样的层层判断非常麻烦，因此现在有一个提案，引入了“Null 传到运算符”（null propagation operator）?.，简化上面的写法。

 

 

const firstName = message?.body?.user?.firstName || 'default';

上面代码有三个 ?. 运算符，只要其中一个返回 null 或 undefined，就不再往下运算，而是返回 undefined。

 

“Null 传到运算符”有四种用法。

 

• obj?.prop //读取对象属性
• obj?.[expr]  //同上
• func?.(...args)  //函数或对象方法的调用
• new C?.(...args)  //构造函数的调用

传到运算符之所以写成 obj?.prop，而不是 obj?prop，是为了方便编译器能够区分三元运算符 ?:。

 

下面是更多的例子。

 

1. // 如果 a 是 null 或 undefined, 返回 undefined

2. // 否则返回 a.b.c().d

3. a?.b.c().d

4.  

5. // 如果 a 是 null 或 undefined，下面的语句不产生任何效果

6. // 否则执行 a.b = 42

7. a?.b = 42

8.  

9. // 如果 a 是 null 或 undefined，下面的语句不产生任何效果

10. delete a?.b