# ES6之运算符的扩展
# 一. 链判断运算符 (常用)
工作中，如果读取对象的某个属性，往往需要判断一下，属性的上层对象是否存在，常见的安全写法如下
// 错误的写法
let name = message.user.name || 'default';
// 正确的写法
let name = (message
&& message.user
&& message.user.name) || 'default';
2
3
4
5
6
7
ES2020 引入了“链判断运算符” ?.简化上面的写法。
有三种写法:
- obj?.prop // 对象属性是否存在
- obj?.[expr] // 同上
- func?.(...args) // 函数或对象方法是否存在
判断规则：左侧的对象是否为null或undefined。如果是的，就不再往下运算，而是返回undefined
// 写法一：判断对象属性是否存在
const name = message?.user?.name || 'default';
// 写法二：判断对象属性是否存在
const a = 'name';
const name = message?.user?.[a] || 'default';
/*
* 写法三：函数或对象方法是否存在
* user.log如果有定义，就会调用该方法，
* 否则user.log直接返回undefined，不再执行?.后面的部分。
*/
user.log?.()
2
3
4
5
6
7
8
9
10
11
12
13
下面是?.运算符常见形式，以及不使用该运算符时的等价形式。
a?.b
// 等同于
a == null ? undefined : a.b
a?.[x]
// 等同于
a == null ? undefined : a[x]
a?.b()
// 等同于
a == null ? undefined : a.b()
a?.()
// 等同于
a == null ? undefined : a()
2
3
4
5
6
7
8
9
10
11
12
13
14
15
后两种形式:
a?.b()里面的a.b有值，但不是函数，不可调用，那么a?.b()会报错。
a?.()中，如果a不是null或undefined，但也不是函数，那么a?.()会报错。
注意点
- 短路机制
?.运算符相当于一种短路机制，只要不满足条件，就不再往下执行
a?.[++x]
// 等同于
a == null ? undefined : a[++x]
2
3
上面代码中，如果a是undefined或null，那么x不会进行递增运算
- 括号的影响 如果属性链有圆括号，链判断运算符对圆括号外部没有影响，只对圆括号内部有影响
(a?.b).c
// 等价于
(a == null ? undefined : a.b).c
2
3
上面代码中，?.对圆括号外部没有影响，不管a对象是否存在，圆括号后面的.c总是会执行。
- 报错场合 以下写法是禁止的，会报错
// 构造函数
new a?.()
new a?.b()
// 链判断运算符的右侧有模板字符串
a?.`{b}`
a?.b`{c}`
// 链判断运算符的左侧是 super
super?.()
super?.foo
// 链运算符用于赋值运算符左侧
a?.b = c
2
3
4
5
6
7
8
9
10
11
12
13
14
- 右侧不得为十进制数值
foo?.3:0被解析成foo ? .3 : 0
?.后面紧跟一个十进制数字，而会按照三元运算符进行处理，也就是说，那个小数点会归属于后面的十进制数字，形成一个小数。
# 二. Null 判断运算符 (常用)
读取对象属性时，如果某个属性值是null或undefined，要为它们指定默认值，常见做法是使用||运算符指定默认值。
const text = settings.title || 'Hello, world!';
const time = settings.time || 1000;
const showStyle= settings.showStyle || true;
2
3
开发者的原意是，只要属性的值为null或undefined，默认值就会生效，但是属性的值如果为空字符串或false或0，默认值也会生效。
ES2020 引入了一个新的Null判断运算符??。它的行为类似||，但是只有运算符左侧的值为null或ndefined时，才会返回右侧的值
const text = settings.title ?? 'Hello, world!';
const time = settings.time ?? 1000;
const showStyle= settings.showStyle ?? true;
2
3
上面代码中，只有在左侧属性值为null或undefined时，默认值才会生效。
它可以跟链判断运算符?.配合使用，为null或undefined的值设置默认值
const time = settings?.time ?? 1000;
上面代码中，如果settings是null或undefined，或者settings.time是null或undefined，就会返回默认值1000。
注意: 当??遇到&&或||时，规定必须用括号表明优先级，否则会报错。
// 报错
a && b ?? c
a ?? b && c
a || b ?? c
a ?? b || c
// 必须加入表明优先级的括号
(a && b) ?? c;
a && (b ?? c);
(a ?? b) && c;
a ?? (b && c);
(a || b) ?? c;
a || (b ?? c);
(a?? b) || c;
a ?? (b|| c);
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
# 三. 逻辑赋值运算符 (常用)
ES2021 引入了三个新的逻辑赋值运算符，将逻辑运算符与赋值运算符进行结合。
// 或赋值运算符
x ||= y
// 等同于
x || (x = y)
// 与赋值运算符
x &&= y
// 等同于
x && (x = y)
// Null 赋值运算符
x ??= y
// 等同于
x ?? (x = y)
2
3
4
5
6
7
8
9
10
11
12
13
14
||=、&&=、??=相当于先进行逻辑运算，然后根据运算结果，再视情况进行赋值运算。
使用实例：为变量或属性设置默认值
// 老的写法
user.name= user.name || '张三';
// 新的写法
user.name ||= '张三';
// 老的写法
function example(options) {
options.name = options.name ?? '张三';
options.age ?? (options.age = 18);
}
// 新的写法
function example(options) {
options.name ??= '张三';
options.age ??= 18;
}
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
# 四. 指数运算符
ES2016 新增了一个指数运算符（**）,特点是右结合，而不是常见的左结合。多个指数运算符连用时，是从最右边开始计算的。
2 ** 2 // 4
2 ** 3 // 8
4 ** 2 ** 3
// 65536 相当于 4 ** (2 ** 3)
2
3
4
5
指数运算符可以与等号结合，形成一个新的赋值运算符（**=）。
let a = 1.5;
a **= 2;
// 等同于 a = a * a;
let b = 4;
b **= 3;
// 等同于 b = b * b * b;
2
3
4
5
6
7