对象的扩展运算符

《数组的扩展》一章中,已经介绍过扩展运算符(...)。ES2018 将这个运算符引入了对象。

解构赋值

对象的解构赋值用于从一个对象取值,相当于将目标对象自身的所有可遍历的(enumerable)、但尚未被读取的属性,分配到指定的对象上面。所有的键和它们的值,都会拷贝到新对象上面。

  1. let { x, y, ...z } = { x: 1, y: 2, a: 3, b: 4 };
  2. x // 1
  3. y // 2
  4. z // { a: 3, b: 4 }

上面代码中,变量z是解构赋值所在的对象。它获取等号右边的所有尚未读取的键(ab),将它们连同值一起拷贝过来。

由于解构赋值要求等号右边是一个对象,所以如果等号右边是undefinednull,就会报错,因为它们无法转为对象。

  1. let { ...z } = null; // 运行时错误
  2. let { ...z } = undefined; // 运行时错误

解构赋值必须是最后一个参数,否则会报错。

  1. let { ...x, y, z } = someObject; // 句法错误
  2. let { x, ...y, ...z } = someObject; // 句法错误

上面代码中,解构赋值不是最后一个参数,所以会报错。

注意,解构赋值的拷贝是浅拷贝,即如果一个键的值是复合类型的值(数组、对象、函数)、那么解构赋值拷贝的是这个值的引用,而不是这个值的副本。

  1. let obj = { a: { b: 1 } };
  2. let { ...x } = obj;
  3. obj.a.b = 2;
  4. x.a.b // 2

上面代码中,x是解构赋值所在的对象,拷贝了对象obja属性。a属性引用了一个对象,修改这个对象的值,会影响到解构赋值对它的引用。

另外,扩展运算符的解构赋值,不能复制继承自原型对象的属性。

  1. let o1 = { a: 1 };
  2. let o2 = { b: 2 };
  3. o2.__proto__ = o1;
  4. let { ...o3 } = o2;
  5. o3 // { b: 2 }
  6. o3.a // undefined

上面代码中,对象o3复制了o2,但是只复制了o2自身的属性,没有复制它的原型对象o1的属性。

下面是另一个例子。

  1. const o = Object.create({ x: 1, y: 2 });
  2. o.z = 3;
  3. let { x, ...newObj } = o;
  4. let { y, z } = newObj;
  5. x // 1
  6. y // undefined
  7. z // 3

上面代码中,变量x是单纯的解构赋值,所以可以读取对象o继承的属性;变量yz是扩展运算符的解构赋值,只能读取对象o自身的属性,所以变量z可以赋值成功,变量y取不到值。ES6 规定,变量声明语句之中,如果使用解构赋值,扩展运算符后面必须是一个变量名,而不能是一个解构赋值表达式,所以上面代码引入了中间变量newObj,如果写成下面这样会报错。

  1. let { x, ...{ y, z } } = o;
  2. // SyntaxError: ... must be followed by an identifier in declaration contexts

解构赋值的一个用处,是扩展某个函数的参数,引入其他操作。

  1. function baseFunction({ a, b }) {
  2. // ...
  3. }
  4. function wrapperFunction({ x, y, ...restConfig }) {
  5. // 使用 x 和 y 参数进行操作
  6. // 其余参数传给原始函数
  7. return baseFunction(restConfig);
  8. }

上面代码中,原始函数baseFunction接受ab作为参数,函数wrapperFunctionbaseFunction的基础上进行了扩展,能够接受多余的参数,并且保留原始函数的行为。

扩展运算符

对象的扩展运算符(...)用于取出参数对象的所有可遍历属性,拷贝到当前对象之中。

  1. let z = { a: 3, b: 4 };
  2. let n = { ...z };
  3. n // { a: 3, b: 4 }

由于数组是特殊的对象,所以对象的扩展运算符也可以用于数组。

  1. let foo = { ...['a', 'b', 'c'] };
  2. foo
  3. // {0: "a", 1: "b", 2: "c"}

如果扩展运算符后面是一个空对象,则没有任何效果。

  1. {...{}, a: 1}
  2. // { a: 1 }

如果扩展运算符后面不是对象,则会自动将其转为对象。

  1. // 等同于 {...Object(1)}
  2. {...1} // {}

上面代码中,扩展运算符后面是整数1,会自动转为数值的包装对象Number{1}。由于该对象没有自身属性,所以返回一个空对象。

下面的例子都是类似的道理。

  1. // 等同于 {...Object(true)}
  2. {...true} // {}
  3. // 等同于 {...Object(undefined)}
  4. {...undefined} // {}
  5. // 等同于 {...Object(null)}
  6. {...null} // {}

但是,如果扩展运算符后面是字符串,它会自动转成一个类似数组的对象,因此返回的不是空对象。

  1. {...'hello'}
  2. // {0: "h", 1: "e", 2: "l", 3: "l", 4: "o"}

对象的扩展运算符等同于使用Object.assign()方法。

  1. let aClone = { ...a };
  2. // 等同于
  3. let aClone = Object.assign({}, a);

上面的例子只是拷贝了对象实例的属性,如果想完整克隆一个对象,还拷贝对象原型的属性,可以采用下面的写法。

  1. // 写法一
  2. const clone1 = {
  3. __proto__: Object.getPrototypeOf(obj),
  4. ...obj
  5. };
  6. // 写法二
  7. const clone2 = Object.assign(
  8. Object.create(Object.getPrototypeOf(obj)),
  9. obj
  10. );
  11. // 写法三
  12. const clone3 = Object.create(
  13. Object.getPrototypeOf(obj),
  14. Object.getOwnPropertyDescriptors(obj)
  15. )

上面代码中,写法一的__proto__属性在非浏览器的环境不一定部署,因此推荐使用写法二和写法三。

扩展运算符可以用于合并两个对象。

  1. let ab = { ...a, ...b };
  2. // 等同于
  3. let ab = Object.assign({}, a, b);

如果用户自定义的属性,放在扩展运算符后面,则扩展运算符内部的同名属性会被覆盖掉。

  1. let aWithOverrides = { ...a, x: 1, y: 2 };
  2. // 等同于
  3. let aWithOverrides = { ...a, ...{ x: 1, y: 2 } };
  4. // 等同于
  5. let x = 1, y = 2, aWithOverrides = { ...a, x, y };
  6. // 等同于
  7. let aWithOverrides = Object.assign({}, a, { x: 1, y: 2 });

上面代码中,a对象的x属性和y属性,拷贝到新对象后会被覆盖掉。

这用来修改现有对象部分的属性就很方便了。

  1. let newVersion = {
  2. ...previousVersion,
  3. name: 'New Name' // Override the name property
  4. };

上面代码中,newVersion对象自定义了name属性,其他属性全部复制自previousVersion对象。

如果把自定义属性放在扩展运算符前面,就变成了设置新对象的默认属性值。

  1. let aWithDefaults = { x: 1, y: 2, ...a };
  2. // 等同于
  3. let aWithDefaults = Object.assign({}, { x: 1, y: 2 }, a);
  4. // 等同于
  5. let aWithDefaults = Object.assign({ x: 1, y: 2 }, a);

与数组的扩展运算符一样,对象的扩展运算符后面可以跟表达式。

  1. const obj = {
  2. ...(x > 1 ? {a: 1} : {}),
  3. b: 2,
  4. };

扩展运算符的参数对象之中,如果有取值函数get,这个函数是会执行的。

  1. let a = {
  2. get x() {
  3. throw new Error('not throw yet');
  4. }
  5. }
  6. let aWithXGetter = { ...a }; // 报错

上面例子中,取值函数get在扩展a对象时会自动执行,导致报错。