docs: add ES2021

docs/number.md

@@ -31,6 +31,97 @@ Number('0b111')  // 7
 Number('0o10')  // 8
 ```
 
+## 数值分隔符
+
+欧美语言中，较长的数值允许每三位添加一个分隔符（通常是一个逗号），增加数值的可读性。比如，`1000`可以写作`1,000`。
+
+[ES2021](https://github.com/tc39/proposal-numeric-separator)，允许 JavaScript 的数值使用下划线（`_`）作为分隔符。
+
+```javascript
+let budget = 1_000_000_000_000;
+budget === 10 ** 12 // true
+```
+
+这个数值分隔符没有指定间隔的位数，也就是说，可以每三位添加一个分隔符，也可以每一位、每两位、每四位添加一个。
+
+```javascript
+123_00 === 12_300 // true
+
+12345_00 === 123_4500 // true
+12345_00 === 1_234_500 // true
+```
+
+小数和科学计数法也可以使用数值分隔符。
+
+```javascript
+// 小数
+0.000_001
+
+// 科学计数法
+1e10_000
+```
+
+数值分隔符有几个使用注意点。
+
+- 不能放在数值的最前面（leading）或最后面（trailing）。
+- 不能两个或两个以上的分隔符连在一起。
+- 小数点的前后不能有分隔符。
+- 科学计数法里面，表示指数的`e`或`E`前后不能有分隔符。
+
+下面的写法都会报错。
+
+```javascript
+// 全部报错
+3_.141
+3._141
+1_e12
+1e_12
+123__456
+_1464301
+1464301_
+```
+
+除了十进制，其他进制的数值也可以使用分隔符。
+
+```javascript
+// 二进制
+0b1010_0001_1000_0101
+// 十六进制
+0xA0_B0_C0
+```
+
+可以看到，数值分隔符可以按字节顺序分隔数值，这在操作二进制位时，非常有用。
+
+注意，分隔符不能紧跟着进制的前缀`0b`、`0B`、`0o`、`0O`、`0x`、`0X`。
+
+```javascript
+// 报错
+0_b111111000
+0b_111111000
+```
+
+数值分隔符只是一种书写便利，对于 JavaScript 内部数值的存储和输出，并没有影响。
+
+```javascript
+let num = 12_345;
+
+num // 12345
+num.toString() // 12345
+```
+
+上面示例中，变量`num`的值为`12_345`，但是内部存储和输出的时候，都不会有数值分隔符。
+
+下面三个将字符串转成数值的函数，不支持数值分隔符。主要原因是语言的设计者认为，数值分隔符主要是为了编码时书写数值的方便，而不是为了处理外部输入的数据。
+
+- Number()
+- parseInt()
+- parseFloat()
+
+```javascript
+Number('123_456') // NaN
+parseInt('123_456') // 123
+```
+
 ## Number.isFinite(), Number.isNaN()
 
 ES6 在`Number`对象上，新提供了`Number.isFinite()`和`Number.isNaN()`两个方法。
@@ -655,42 +746,11 @@ ES6 新增了 6 个双曲函数方法。
 - `Math.acosh(x)` 返回`x`的反双曲余弦（inverse hyperbolic cosine）
 - `Math.atanh(x)` 返回`x`的反双曲正切（inverse hyperbolic tangent）
 
-## 指数运算符
-
-ES2016 新增了一个指数运算符（`**`）。
-
-```javascript
-2 ** 2 // 4
-2 ** 3 // 8
-```
-
-这个运算符的一个特点是右结合，而不是常见的左结合。多个指数运算符连用时，是从最右边开始计算的。
-
-```javascript
-// 相当于 2 ** (3 ** 2)
-2 ** 3 ** 2
-// 512
-```
-
-上面代码中，首先计算的是第二个指数运算符，而不是第一个。
-
-指数运算符可以与等号结合，形成一个新的赋值运算符（`**=`）。
-
-```javascript
-let a = 1.5;
-a **= 2;
-// 等同于 a = a * a;
-
-let b = 4;
-b **= 3;
-// 等同于 b = b * b * b;
-```
-
 ## BigInt 数据类型
 
 ### 简介
 
-JavaScript 所有数字都保存成 64 位浮点数，这给数值的表示带来了两大限制。一是数值的精度只能到 53 个二进制位（相当于 16 个十进制位），大于这个范围的整数，JavaScript 是无法精确表示的，这使得 JavaScript 不适合进行科学和金融方面的精确计算。二是大于或等于2的1024次方的数值，JavaScript 无法表示，会返回`Infinity`。
+JavaScript 所有数字都保存成 64 位浮点数，这给数值的表示带来了两大限制。一是数值的精度只能到 53 个二进制位（相当于 16 个十进制位），大于这个范围的整数，JavaScript 是无法精确表示，这使得 JavaScript 不适合进行科学和金融方面的精确计算。二是大于或等于2的1024次方的数值，JavaScript 无法表示，会返回`Infinity`。
 
 ```javascript
 // 超过 53 个二进制位的数值，无法保持精度

docs/object.md

@@ -704,232 +704,3 @@ let aWithXGetter = { ...a }; // 报错
 
 上面例子中，取值函数`get`在扩展`a`对象时会自动执行，导致报错。
 
-## 链判断运算符
-
-编程实务中，如果读取对象内部的某个属性，往往需要判断一下该对象是否存在。比如，要读取`message.body.user.firstName`，安全的写法是写成下面这样。
-
-```javascript
-// 错误的写法
-const  firstName = message.body.user.firstName;
-
-// 正确的写法
-const firstName = (message
-  && message.body
-  && message.body.user
-  && message.body.user.firstName) || 'default';
-```
-
-上面例子中，`firstName`属性在对象的第四层，所以需要判断四次，每一层是否有值。
-
-三元运算符`?:`也常用于判断对象是否存在。
-
-```javascript
-const fooInput = myForm.querySelector('input[name=foo]')
-const fooValue = fooInput ? fooInput.value : undefined
-```
-
-上面例子中，必须先判断`fooInput`是否存在，才能读取`fooInput.value`。
-
-这样的层层判断非常麻烦，因此 [ES2020](https://github.com/tc39/proposal-optional-chaining) 引入了“链判断运算符”（optional chaining operator）`?.`，简化上面的写法。
-
-```javascript
-const firstName = message?.body?.user?.firstName || 'default';
-const fooValue = myForm.querySelector('input[name=foo]')?.value
-```
-
-上面代码使用了`?.`运算符，直接在链式调用的时候判断，左侧的对象是否为`null`或`undefined`。如果是的，就不再往下运算，而是返回`undefined`。
-
-下面是判断对象方法是否存在，如果存在就立即执行的例子。
-
-```javascript
-iterator.return?.()
-```
-
-上面代码中，`iterator.return`如果有定义，就会调用该方法，否则`iterator.return`直接返回`undefined`，不再执行`?.`后面的部分。
-
-对于那些可能没有实现的方法，这个运算符尤其有用。
-
-```javascript
-if (myForm.checkValidity?.() === false) {
-  // 表单校验失败
-  return;
-}
-```
-
-上面代码中，老式浏览器的表单可能没有`checkValidity`这个方法，这时`?.`运算符就会返回`undefined`，判断语句就变成了`undefined === false`，所以就会跳过下面的代码。
-
-链判断运算符有三种用法。
-
-- `obj?.prop` // 对象属性
-- `obj?.[expr]` // 同上
-- `func?.(...args)` // 函数或对象方法的调用
-
-下面是`obj?.[expr]`用法的一个例子。
-
-```bash
-let hex = "#C0FFEE".match(/#([A-Z]+)/i)?.[1];
-```
-
-上面例子中，字符串的`match()`方法，如果没有发现匹配会返回`null`，如果发现匹配会返回一个数组，`?.`运算符起到了判断作用。
-
-下面是`?.`运算符常见形式，以及不使用该运算符时的等价形式。
-
-```javascript
-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()
-```
-
-上面代码中，特别注意后两种形式，如果`a?.b()`里面的`a.b`不是函数，不可调用，那么`a?.b()`是会报错的。`a?.()`也是如此，如果`a`不是`null`或`undefined`，但也不是函数，那么`a?.()`会报错。
-
-使用这个运算符，有几个注意点。
-
-（1）短路机制
-
-`?.`运算符相当于一种短路机制，只要不满足条件，就不再往下执行。
-
-```javascript
-a?.[++x]
-// 等同于
-a == null ? undefined : a[++x]
-```
-
-上面代码中，如果`a`是`undefined`或`null`，那么`x`不会进行递增运算。也就是说，链判断运算符一旦为真，右侧的表达式就不再求值。
-
-（2）delete 运算符
-
-```javascript
-delete a?.b
-// 等同于
-a == null ? undefined : delete a.b
-```
-
-上面代码中，如果`a`是`undefined`或`null`，会直接返回`undefined`，而不会进行`delete`运算。
-
-（3）括号的影响
-
-如果属性链有圆括号，链判断运算符对圆括号外部没有影响，只对圆括号内部有影响。
-
-```javascript
-(a?.b).c
-// 等价于
-(a == null ? undefined : a.b).c
-```
-
-上面代码中，`?.`对圆括号外部没有影响，不管`a`对象是否存在，圆括号后面的`.c`总是会执行。
-
-一般来说，使用`?.`运算符的场合，不应该使用圆括号。
-
-（4）报错场合
-
-以下写法是禁止的，会报错。
-
-```javascript
-// 构造函数
-new a?.()
-new a?.b()
-
-// 链判断运算符的右侧有模板字符串
-a?.`{b}`
-a?.b`{c}`
-
-// 链判断运算符的左侧是 super
-super?.()
-super?.foo
-
-// 链运算符用于赋值运算符左侧
-a?.b = c
-```
-
-（5）右侧不得为十进制数值
-
-为了保证兼容以前的代码，允许`foo?.3:0`被解析成`foo ? .3 : 0`，因此规定如果`?.`后面紧跟一个十进制数字，那么`?.`不再被看成是一个完整的运算符，而会按照三元运算符进行处理，也就是说，那个小数点会归属于后面的十进制数字，形成一个小数。
-
-## Null 判断运算符
-
-读取对象属性的时候，如果某个属性的值是`null`或`undefined`，有时候需要为它们指定默认值。常见做法是通过`||`运算符指定默认值。
-
-```javascript
-const headerText = response.settings.headerText || 'Hello, world!';
-const animationDuration = response.settings.animationDuration || 300;
-const showSplashScreen = response.settings.showSplashScreen || true;
-```
-
-上面的三行代码都通过`||`运算符指定默认值，但是这样写是错的。开发者的原意是，只要属性的值为`null`或`undefined`，默认值就会生效，但是属性的值如果为空字符串或`false`或`0`，默认值也会生效。
-
-为了避免这种情况，[ES2020](https://github.com/tc39/proposal-nullish-coalescing) 引入了一个新的 Null 判断运算符`??`。它的行为类似`||`，但是只有运算符左侧的值为`null`或`undefined`时，才会返回右侧的值。
-
-```javascript
-const headerText = response.settings.headerText ?? 'Hello, world!';
-const animationDuration = response.settings.animationDuration ?? 300;
-const showSplashScreen = response.settings.showSplashScreen ?? true;
-```
-
-上面代码中，默认值只有在左侧属性值为`null`或`undefined`时，才会生效。
-
-这个运算符的一个目的，就是跟链判断运算符`?.`配合使用，为`null`或`undefined`的值设置默认值。
-
-```javascript
-const animationDuration = response.settings?.animationDuration ?? 300;
-```
-
-上面代码中，如果`response.settings`是`null`或`undefined`，或者`response.settings.animationDuration`是`null`或`undefined`，就会返回默认值300。也就是说，这一行代码包括了两级属性的判断。
-
-这个运算符很适合判断函数参数是否赋值。
-
-```javascript
-function Component(props) {
-  const enable = props.enabled ?? true;
-  // …
-}
-```
-
-上面代码判断`props`参数的`enabled`属性是否赋值，基本等同于下面的写法。
-
-```javascript
-function Component(props) {
-  const {
-    enabled: enable = true,
-  } = props;
-  // …
-}
-```
-
-`??`有一个运算优先级问题，它与`&&`和`||`的优先级孰高孰低。现在的规则是，如果多个逻辑运算符一起使用，必须用括号表明优先级，否则会报错。
-
-```javascript
-// 报错
-lhs && middle ?? rhs
-lhs ?? middle && rhs
-lhs || middle ?? rhs
-lhs ?? middle || rhs
-```
-
-上面四个表达式都会报错，必须加入表明优先级的括号。
-
-```javascript
-(lhs && middle) ?? rhs;
-lhs && (middle ?? rhs);
-
-(lhs ?? middle) && rhs;
-lhs ?? (middle && rhs);
-
-(lhs || middle) ?? rhs;
-lhs || (middle ?? rhs);
-
-(lhs ?? middle) || rhs;
-lhs ?? (middle || rhs);
-```
-