ES6 扩展运算符



  • 数组的扩展运算符

    扩展运算符(spread)是三个点(...)。它好比 rest 参数的逆运算,将一个数组转为用逗号分隔的参数序列。
    console.log(...[1, 2, 3])
    // 1 2 3
    
    console.log(1, ...[2, 3, 4], 5)
    // 1 2 3 4 5
    
    [...document.querySelectorAll('div')]
    // [<div>, <div>, <div>]
    
    
    该运算符主要用于函数调用。
    function push(array, ...items) {
     array.push(...items);
    }
    
    function add(x, y) {
     return x + y;
    }
    
    const numbers = [4, 38];
    add(...numbers) // 42
    
    
    上面代码中,array.push(...items)add(...numbers) 这两行,都是函数的调用,它们都使用了扩展运算符。该运算符将一个数组,变为参数序列。
    扩展运算符与正常的函数参数可以结合使用,非常灵活。
    function f(v, w, x, y, z) { }
    const args = [0, 1];
    f(-1, ...args, 2, ...[3]);
    
    
    扩展运算符后面还可以放置表达式。
    const arr = [
     ...(x > 0 ? ['a'] : []),
     'b',
    ];
    
    
    如果扩展运算符后面是一个空数组,则不产生任何效果。
    [...[], 1]
    // [1]
    
    
    注意,只有函数调用时,扩展运算符才可以放在圆括号中,否则会报错。
    (...[1, 2])
    // Uncaught SyntaxError: Unexpected number
    
    console.log((...[1, 2]))
    // Uncaught SyntaxError: Unexpected number
    
    console.log(...[1, 2])
    // 1 2
    
    
    上面三种情况,扩展运算符都放在圆括号里面,但是前两种情况会报错,因为扩展运算符所在的括号不是函数调用。
  • 替代函数的 apply 方法

    由于扩展运算符可以展开数组,所以不再需要 apply 方法,将数组转为函数的参数了。
    // ES5 的写法
    function f(x, y, z) {
     // ...
    }
    var args = [0, 1, 2];
    f.apply(null, args);
    
    // ES6的写法
    function f(x, y, z) {
     // ...
    }
    let args = [0, 1, 2];
    f(...args);
    
    
    下面是扩展运算符取代 apply 方法的一个实际的例子,应用 Math.max 方法,简化求出一个数组最大元素的写法。
    // ES5 的写法
    Math.max.apply(null, [14, 3, 77])
    
    // ES6 的写法
    Math.max(...[14, 3, 77])
    
    // 等同于
    Math.max(14, 3, 77);
    
    
    上面代码中,由于 JavaScript 不提供求数组最大元素的函数,所以只能套用 Math.max 函数,将数组转为一个参数序列,然后求最大值。有了扩展运算符以后,就可以直接用 Math.max 了。
    另一个例子是通过 push 函数,将一个数组添加到另一个数组的尾部。
    // ES5的 写法
    var arr1 = [0, 1, 2];
    var arr2 = [3, 4, 5];
    Array.prototype.push.apply(arr1, arr2);
    
    // ES6 的写法
    let arr1 = [0, 1, 2];
    let arr2 = [3, 4, 5];
    arr1.push(...arr2);
    
    
    上面代码的 ES5 写法中,push 方法的参数不能是数组,所以只好通过 apply 方法变通使用 push 方法。有了扩展运算符,就可以直接将数组传入 push 方法。
    下面是另外一个例子。
    // ES5
    new (Date.bind.apply(Date, [null, 2015, 1, 1]))
    // ES6
    new Date(...[2015, 1, 1]);
    
    
  • 数组扩展运算符的应用

    (1)复制数组
    数组是复合的数据类型,直接复制的话,只是复制了指向底层数据结构的指针,而不是克隆一个全新的数组。
    const a1 = [1, 2];
     const a2 = a1;
     
     a2[0] = 2;
     a1 // [2, 2]
    
    
    上面代码中,a2 并不是 a1 的克隆,而是指向同一份数据的另一个指针。修改 a2,会直接导致 a1 的变化。
    ES5 只能用变通方法来复制数组。
    const a1 = [1, 2];
     const a2 = a1.concat();
     
     a2[0] = 2;
     a1 // [1, 2]
    
    
    上面代码中,a1 会返回原数组的克隆,再修改 a2 就不会对 a1 产生影响。
    扩展运算符提供了复制数组的简便写法。
    const a1 = [1, 2];
     // 写法一
     const a2 = [...a1];
     // 写法二
     const [...a2] = a1;
    
    
    上面的两种写法,a2 都是 a1 的克隆。
    (2)合并数组
    扩展运算符提供了数组合并的新写法。
    const arr1 = ['a', 'b'];
     const arr2 = ['c'];
     const arr3 = ['d', 'e'];
     
     // ES5 的合并数组
     arr1.concat(arr2, arr3);
     // [ 'a', 'b', 'c', 'd', 'e' ]
     
     // ES6 的合并数组
     [...arr1, ...arr2, ...arr3]
     // [ 'a', 'b', 'c', 'd', 'e' ]
    
    
    不过,这两种方法都是浅拷贝,使用的时候需要注意。
    const a1 = [{ foo: 1 }];
     const a2 = [{ bar: 2 }];
     
     const a3 = a1.concat(a2);
     const a4 = [...a1, ...a2];
     
     a3[0] === a1[0] // true
     a4[0] === a1[0] // true
    
    
    上面代码中,a3a4 是用两种不同方法合并而成的新数组,但是它们的成员都是对原数组成员的引用,这就是浅拷贝。如果修改了引用指向的值,会同步反映到新数组。
    (3)与解构赋值结合
    扩展运算符可以与解构赋值结合起来,用于生成数组。
    // ES5
     a = list[0], rest = list.slice(1)
     // ES6
     [a, ...rest] = list
    
    
    下面是另外一些例子。
    const [first, ...rest] = [1, 2, 3, 4, 5];
     first // 1
     rest  // [2, 3, 4, 5]
     
     const [first, ...rest] = [];
     first // undefined
     rest  // []
     
     const [first, ...rest] = ["foo"];
     first  // "foo"
     rest   // []
    
    
    如果将扩展运算符用于数组赋值,只能放在参数的最后一位,否则会报错。
    const [...butLast, last] = [1, 2, 3, 4, 5];
     // 报错
     
     const [first, ...middle, last] = [1, 2, 3, 4, 5];
     // 报错
    
    
    (4)字符串
    扩展运算符还可以将字符串转为真正的数组。
    [...'hello']
     // [ "h", "e", "l", "l", "o" ]
    
    
    上面的写法,有一个重要的好处,那就是能够正确识别四个字节的 Unicode 字符。
    'x\uD83D\uDE80y'.length // 4
     [...'x\uD83D\uDE80y'].length // 3
    
    
    上面代码的第一种写法,JavaScript 会将四个字节的 Unicode 字符,识别为 2 个字符,采用扩展运算符就没有这个问题。因此,正确返回字符串长度的函数,可以像下面这样写。
    function length(str) {
      return [...str].length;
     }
     
     length('x\uD83D\uDE80y') // 3
    
    
    凡是涉及到操作四个字节的 Unicode 字符的函数,都有这个问题。因此,最好都用扩展运算符改写。
    let str = 'x\uD83D\uDE80y';
     str.split('').reverse().join('')
     // 'y\uDE80\uD83Dx'
     
     [...str].reverse().join('')
     // 'y\uD83D\uDE80x'
    
    
    上面代码中,如果不用扩展运算符,字符串的 reverse 操作就不正确。
    (5)实现了 Iterator 接口的对象
    任何定义了遍历器(Iterator)接口的对象(参阅 Iterator 一章),都可以用扩展运算符转为真正的数组。
    let nodeList = document.querySelectorAll('div');
     let array = [...nodeList];
    
    
    上面代码中,querySelectorAll 方法返回的是一个 NodeList 对象。它不是数组,而是一个类似数组的对象。这时,扩展运算符可以将其转为真正的数组,原因就在于 NodeList 对象实现了 Iterator
    Number.prototype[Symbol.iterator] = function*() {
      let i = 0;
      let num = this.valueOf();
      while (i < num) {
        yield i++;
      }
     }
     
     console.log([...5]) // [0, 1, 2, 3, 4]
    
    
    上面代码中,先定义了 Number 对象的遍历器接口,扩展运算符将 5 自动转成 Number 实例以后,就会调用这个接口,就会返回自定义的结果。
    对于那些没有部署 Iterator 接口的类似数组的对象,扩展运算符就无法将其转为真正的数组。
    let arrayLike = {
      '0': 'a',
      '1': 'b',
      '2': 'c',
      length: 3
     };
     
     // TypeError: Cannot spread non-iterable object.
     let arr = [...arrayLike];
    
    
    上面代码中,arrayLike 是一个类似数组的对象,但是没有部署 Iterator 接口,扩展运算符就会报错。这时,可以改为使用 Array.from 方法将 arrayLike 转为真正的数组。
    (6)Map 和 Set 结构,Generator 函数
    扩展运算符内部调用的是数据结构的 Iterator 接口,因此只要具有 Iterator 接口的对象,都可以使用扩展运算符,比如 Map 结构。
    let map = new Map([
      [1, 'one'],
      [2, 'two'],
      [3, 'three'],
     ]);
     
     let arr = [...map.keys()]; // [1, 2, 3]
    
    
    Generator 函数运行后,返回一个遍历器对象,因此也可以使用扩展运算符。
    const go = function*(){
      yield 1;
      yield 2;
      yield 3;
     };
     
     [...go()] // [1, 2, 3]
    
    
    上面代码中,变量 go 是一个 Generator 函数,执行后返回的是一个遍历器对象,对这个遍历器对象执行扩展运算符,就会将内部遍历得到的值,转为一个数组。
    如果对没有 Iterator 接口的对象,使用扩展运算符,将会报错。
    const obj = {a: 1, b: 2};
     let arr = [...obj]; // TypeError: Cannot spread non-iterable object
    
    
  • 对象的解构赋值

    对象的解构赋值用于从一个对象取值,相当于将目标对象自身的所有可遍历的(enumerable)、但尚未被读取的属性,分配到指定的对象上面。所有的键和它们的值,都会拷贝到新对象上面。
    let { x, y, ...z } = { x: 1, y: 2, a: 3, b: 4 };
    x // 1
    y // 2
    z // { a: 3, b: 4 }
    
    
    上面代码中,变量z是解构赋值所在的对象。它获取等号右边的所有尚未读取的键(a和b),将它们连同值一起拷贝过来。
    由于解构赋值要求等号右边是一个对象,所以如果等号右边是 undefinednull,就会报错,因为它们无法转为对象。
    let { ...z } = null; // 运行时错误
    let { ...z } = undefined; // 运行时错误
    
    
    解构赋值必须是最后一个参数,否则会报错。
    let { ...x, y, z } = someObject; // 句法错误
    let { x, ...y, ...z } = someObject; // 句法错误
    
    
    上面代码中,解构赋值不是最后一个参数,所以会报错。
    注意,解构赋值的拷贝是浅拷贝,即如果一个键的值是复合类型的值(数组、对象、函数)、那么解构赋值拷贝的是这个值的引用,而不是这个值的副本。
    let obj = { a: { b: 1 } };
    let { ...x } = obj;
    obj.a.b = 2;
    x.a.b // 2
    
    
    上面代码中,x 是解构赋值所在的对象,拷贝了对象 obja 属性。a 属性引用了一个对象,修改这个对象的值,会影响到解构赋值对它的引用。
    另外,扩展运算符的解构赋值,不能复制继承自原型对象的属性。
    let o1 = { a: 1 };
    let o2 = { b: 2 };
    o2.__proto__ = o1;
    let { ...o3 } = o2;
    o3 // { b: 2 }
    o3.a // undefined
    
    
    上面代码中,对象 o3 复制了 o2,但是只复制了 o2 自身的属性,没有复制它的原型对象 o1 的属性。
    下面是另一个例子。
    const o = Object.create({ x: 1, y: 2 });
    o.z = 3;
    
    let { x, ...newObj } = o;
    let { y, z } = newObj;
    x // 1
    y // undefined
    z // 3
    
    
    上面代码中,变量 x 是单纯的解构赋值,所以可以读取对象 o 继承的属性;变量 yz 是扩展运算符的解构赋值,只能读取对象 o 自身的属性,所以变量 z 可以赋值成功,变量 y 取不到值。ES6 规定,变量声明语句之中,如果使用解构赋值,扩展运算符后面必须是一个变量名,而不能是一个解构赋值表达式,所以上面代码引入了中间变量 newObj,如果写成下面这样会报错。
    let { x, ...{ y, z } } = o;
    // SyntaxError: ... must be followed by an identifier in declaration contexts
    
    
    解构赋值的一个用处,是扩展某个函数的参数,引入其他操作。
    function baseFunction({ a, b }) {
      // ...
    }
    function wrapperFunction({ x, y, ...restConfig }) {
      // 使用 x 和 y 参数进行操作
      // 其余参数传给原始函数
      return baseFunction(restConfig);
    }
    
    
    上面代码中,原始函数 baseFunction 接受 ab 作为参数,函数 wrapperFunctionbaseFunction 的基础上进行了扩展,能够接受多余的参数,并且保留原始函数的行为。
  • 对象的扩展运算符

    对象的扩展运算符(...)用于取出参数对象的所有可遍历属性,拷贝到当前对象之中。
    let z = { a: 3, b: 4 };
    let n = { ...z };
    n // { a: 3, b: 4 }
    
    
    由于数组是特殊的对象,所以对象的扩展运算符也可以用于数组。
    let foo = { ...['a', 'b', 'c'] };
    foo   // {0: "a", 1: "b", 2: "c"}
    
    
    如果扩展运算符后面是一个空对象,则没有任何效果。
    {...{}, a: 1}
    // { a: 1 }
    
    
    如果扩展运算符后面不是对象,则会自动将其转为对象。
    // 等同于 {...Object(1)}
    {...1} // {}
    
    
    上面代码中,扩展运算符后面是整数 1,会自动转为数值的包装对象 Number{1}。由于该对象没有自身属性,所以返回一个空对象。
    下面的例子都是类似的道理。
    // 等同于 {...Object(true)}
    {...true} // {}
    
    // 等同于 {...Object(undefined)}
    {...undefined} // {}
    
    // 等同于 {...Object(null)}
    {...null} // {}
    
    
    但是,如果扩展运算符后面是字符串,它会自动转成一个类似数组的对象,因此返回的不是空对象。
    {...'hello'}
    // {0: "h", 1: "e", 2: "l", 3: "l", 4: "o"}
    
    
    对象的扩展运算符等同于使用 Object.assign() 方法。
    let aClone = { ...a };
    // 等同于
    let aClone = Object.assign({}, a);
    
    
    上面的例子只是拷贝了对象实例的属性,如果想完整克隆一个对象,还拷贝对象原型的属性,可以采用下面的写法。
    // 写法一
    const clone1 = {
      __proto__: Object.getPrototypeOf(obj),
      ...obj
    };
    
    // 写法二
    const clone2 = Object.assign(
      Object.create(Object.getPrototypeOf(obj)),
      obj
    );
    
    // 写法三
    const clone3 = Object.create(
      Object.getPrototypeOf(obj),
      Object.getOwnPropertyDescriptors(obj)
    )
    
    
    上面代码中,写法一的 __proto__ 属性在非浏览器的环境不一定部署,因此推荐使用写法二和写法三。
    扩展运算符可以用于合并两个对象。
    let ab = { ...a, ...b };
    // 等同于
    let ab = Object.assign({}, a, b);
    
    
    如果用户自定义的属性,放在扩展运算符后面,则扩展运算符内部的同名属性会被覆盖掉。
    let aWithOverrides = { ...a, x: 1, y: 2 };
    // 等同于
    let aWithOverrides = { ...a, ...{ x: 1, y: 2 } };
    // 等同于
    let x = 1, y = 2, aWithOverrides = { ...a, x, y };
    // 等同于
    let aWithOverrides = Object.assign({}, a, { x: 1, y: 2 });
    
    
    上面代码中,a 对象的 x 属性和 y 属性,拷贝到新对象后会被覆盖掉。
    这用来修改现有对象部分的属性就很方便了。
    let newVersion = {
      ...previousVersion,
      name: 'New Name' // Override the name property
    };
    
    
    上面代码中,newVersion 对象自定义了 name 属性,其他属性全部复制自 previousVersion 对象。
    如果把自定义属性放在扩展运算符前面,就变成了设置新对象的默认属性值。
    let aWithDefaults = { x: 1, y: 2, ...a };
    // 等同于
    let aWithDefaults = Object.assign({}, { x: 1, y: 2 }, a);
    // 等同于
    let aWithDefaults = Object.assign({ x: 1, y: 2 }, a);
    
    
    与数组的扩展运算符一样,对象的扩展运算符后面可以跟表达式。
    let aWithDefaults = { x: 1, y: 2, ...a };
    // 等同于
    let aWithDefaults = Object.assign({}, { x: 1, y: 2 }, a);
    // 等同于
    let aWithDefaults = Object.assign({ x: 1, y: 2 }, a);
    
    
    与数组的扩展运算符一样,对象的扩展运算符后面可以跟表达式。
    const obj = {
      ...(x > 1 ? {a: 1} : {}),
      b: 2,
    };
    
    
    扩展运算符的参数对象之中,如果有取值函数 get,这个函数是会执行的。
    // 并不会抛出错误,因为 x 属性只是被定义,但没执行
    let aWithXGetter = {
      ...a,
      get x() {
        throw new Error('not throw yet');
      }
    };
    
    // 会抛出错误,因为 x 属性被执行了
    let runtimeError = {
      ...a,
      ...{
        get x() {
          throw new Error('throw now');
        }
      }
    };