与 ? 相关的 JS 三大操作符
一、 空值合并操作符 ??
空值合并操作符(??
)是一个逻辑操作符,当左侧的操作数为 null
或者 undefined
时,返回其右侧操作数,否则返回左侧操作数。
const foo = null ?? 'default string';
console.log(foo);
// expected output: "default string"
const baz = 0 ?? 42;
console.log(baz);
// expected output: 0
语法
leftExpr ?? rightExpr
为变量赋默认值
以前,如果想为一个变量赋默认值,通常的做法是使用逻辑或操作符(||
):
let foo;
// foo is never assigned any value so it is still undefined
let someDummyText = foo || 'Hello!';
然而,由于 ||
是一个布尔逻辑运算符,左侧的操作数会被强制转换成布尔值用于求值。任何假值(0
, ''
, NaN
, null
, undefined
)都不会被返回。这导致如果你使用 0
,''
或 NaN
作为有效值,就会出现不可预料的后果。
let count = 0;
let text = "";
let qty = count || 42;
let message = text || "hi!";
console.log(qty); // 42,而不是 0
console.log(message); // "hi!",而不是 ""
空值合并操作符可以避免这种陷阱,其只在第一个操作数为 null
或 undefined
时(而不是其它假值)返回第二个操作数:
let myText = ''; // An empty string (which is also a falsy value)
let notFalsyText = myText || 'Hello world';
console.log(notFalsyText); // Hello world
let preservingFalsy = myText ?? 'Hi neighborhood';
console.log(preservingFalsy); // '' (as myText is neither undefined nor null)
短路
与 OR
和 AND
逻辑操作符相似,当左表达式为 null
或 undefined
时,不会对右表达式进行求值。
不能与 AND 或 OR 操作符共用
将 ??
直接与 AND
(&&
)和 OR
(||
)操作符组合使用是不可取的(应当是因为空值合并操作符和其他逻辑操作符之间的运算优先级/运算顺序是未定义的)。这种情况下会抛出 SyntaxError
:
null || undefined ?? "foo"; // 抛出 SyntaxError
true || undefined ?? "foo"; // 抛出 SyntaxError
但是,如果使用括号来显式表明运算优先级,是没有问题的:
(null || undefined ) ?? "foo"; // 返回 "foo"
与可选链式操作符(?.)的关系
空值合并操作符针对 undefined
与 null
这两个值,可选链式操作符(?.
) 也是如此。在访问属性可能为 undefined
与 null
的对象时,可选链式操作符非常有用。
二、 可选链操作符 ?.
可选链操作符( ?.
)允许读取位于连接对象链深处的属性的值,而不必明确验证链中的每个引用是否有效。?.
操作符的功能类似于 .
链式操作符,不同之处在于,在引用为空 nullish (null
或者 undefined
) 的情况下不会引起错误,该表达式短路返回值是 undefined
。
const adventurer = {
name: 'Alice',
cat: {
name: 'Dinah'
}
};
const dogName = adventurer.dog?.name;
console.log(dogName);
// expected output: undefined
console.log(adventurer.someNonExistentMethod?.());
// expected output: undefined
语法
obj?.prop
obj?.[expr]
arr?.[index]
func?.(args)
描述
通过连接的对象的引用或函数可能是 undefined
或 null
时,可选链操作符提供了一种方法来简化被连接对象的值访问。比如,思考一个存在嵌套结构的对象 obj
。不使用可选链的话,查找一个深度嵌套的子属性时,为了避免报错,我们需要这样写:
obj && obj.a && obj.a.b
在访问 obj.a.b
之前,要先保证 obj.a
的值既不是 null
,也不是 undefined
。而有了可选链操作符(?.
)后,在访问 obj.a.b
之前,我们不再需要明确地校验 obj.a
的状态,可以直接用短路计算获取最终结果:
obj?.a?.b
通过使用可选链操作符 ?.
,JavaScript 会在尝试访问 obj.a.b
之前,先隐式地检查并确定 obj.a
既不是 null
也不是 undefined
。如果 obj.a
是 null
或者 undefined
,表达式将会短路计算直接返回 undefined
。
这等价于以下表达式,但实际上没有创建临时变量:
let temp = obj.a;
let nestedProp = ((temp === null || temp === undefined) ? undefined : temp.b);
可选链使用场景
1.使用方括号与属性名的形式来访问属性:
let nestedProp = obj?.['prop' + 'Name'];
2.访问数组元素:
let arrayItem = arr?.[42];
3.可选链与函数调用:
函数调用时如果被调用的方法不存在,使用可选链可以使表达式自动返回 undefined
而不是抛出一个异常。
let result = someInterface.customMethod?.();
注意:
(1)如果存在一个属性名且不是函数, 使用 ?.
仍然会产生一个 TypeError
异常 (x.y is not a function
).
(2)如果 someInterface
自身是 null
或者 undefined
,异常 TypeError
仍会被抛出 someInterface is null
。如果你希望允许 someInterface
也为 null
或者 undefined
,那么你需要像这样写 someInterface?.customMethod?.()
可选链不能用于赋值
let object = {};
object?.property = 1; // Uncaught SyntaxError: Invalid left-hand side in assignment
短路计算
当在表达式中使用可选链时,如果左操作数是 null 或 undefined,右侧表达式将不会被计算。
let potentiallyNullObj = null;
let x = 0;
let prop = potentiallyNullObj?.[x++];
console.log(x); // x 将不会被递增,依旧输出 0
使用空值合并操作符
空值合并操作符可以在使用可选链时设置一个默认值:
let customer = {
name: "Carl",
details: { age: 82 }
};
let customerCity = customer?.city ?? "暗之城";
console.log(customerCity); // “暗之城”
三、逻辑空赋值操作符 ??=
逻辑空赋值运算符 (x ??= y
) 仅在 x
是 nullish (null
或 undefined
) 时对其赋值。
const a = { duration: 50 };
a.duration ??= 10;
console.log(a.duration);
// expected output: 50
a.speed ??= 25;
console.log(a.speed);
// expected output: 25
语法
expr1 ??= expr2
语法短路求值
空值合并运算符从左至右求值,(结果非 null 或 undefined 的表达式)?? expr
被短路求值为左侧表达式。语法短路意味着 expr
部分尚未被求值,因此任何与其求值产生的相关副作用都不会生效(例如,如果 expr
是一个函数调用,则该调用将不会发生)。
逻辑空赋值的语法短路也意味着 x ??= y
等价于:
x ?? (x = y);
而不等价于如下的表达式,因为其一定会发生赋值:
x = x ?? y;
使用逻辑空赋值
这个赋值操作符只有在当前值为空或未定义的情况下才会赋一个新的值。接下来,让我们看看这个操作符与默认参数有何不同:
function settingsWithNullish(options) {
options.a ??= 1;
options.b ??= 'easy';
return options;
}
function settingsWithDefaultParams(a = 1, b = 'easy') {
return { a, b };
}
settingsWithNullish({ a: null, b: null }) ;// => { a: 1, b: 'easy' }
settingsWithDefaultParams(null, null) ;// => { a: null, b: null }
上述函数在处理空值时有一个值得注意的区别。给有默认参数的方法传值将覆盖默认值,其中包括 null
参数,而逻辑空赋值操作符面对这种情况则不会被赋值。此外,默认参数和逻辑空赋值操作符都不会被未定义的值覆盖。