【譯】ES2018 新特性：Rest/Spread 特性

Sebastian Markbåge 提出的 Rest/Spread Properties 提案包括兩部分：

• 用於對象解構的 rest 操做符(...)。目前，這個操做符只能在數組解構和參數定義中使用
• 對象字面量中的 spread 操做符(...)。目前，這個操做符只能用於數組字面量和在函數方法中調用。

對象解構中的 rest 操做符(...)

在對象解構模式下，rest 操做符會將解構源的除了已經在對象字面量中指明的屬性以外的，全部可枚舉自有屬性拷貝到它的運算對象中。

const obj = {foo: 1, bar: 2, baz: 3};
const {foo, ...rest} = obj;
// Same as:
// const foo = 1;
// const rest = {bar: 2, baz: 3};
複製代碼

若是你正在使用對象解構來處理命名參數，rest 操做符讓你能夠收集全部剩餘參數：

function func({param1, param2, ...rest}) { // rest operator
    console.log('All parameters: ',{param1, param2, ...rest}); // spread operator
    return param1 + param2;
}
複製代碼

語法限制

在每一個對象字面量的頂層，能夠使用 rest 操做符最多一次，而且必須只能在末尾出現：

const {...rest, foo} = obj; // SyntaxError
const {foo, ...rest1, ...rest2} = obj; // SyntaxError
複製代碼

若是是嵌套結構，你能夠屢次使用 rest 操做符：

const obj = {
    foo: {
        a: 1,
        b: 2,
        c: 3,
    },
    bar: 4,
    baz: 5,
};

const {foo: {a, ...rest1}, ...rest2} = obj;

// Same as:
// const a = 1;
// const rest1 = {b: 2, c: 3};
// const rest2 = {bar: 4, baz: 5};
複製代碼

對象字面量中的 spread 操做符

對象字面量內部，spread 操做符將自身運算對象的全部可枚舉的自有屬性，插入到經過字面量建立的對象中：

> const obj = {foo: 1, bar: 2, baz: 3};
> {...obj, qux: 4}
{ foo: 1, bar: 2, baz: 3, qux: 4 }
複製代碼

要注意的是順序問題，即便屬性 key 並不衝突，由於對象會記錄插入順序：

> {qux: 4, ...obj}
{ qux: 4, foo: 1, bar: 2, baz: 3 }
複製代碼

若是 key 出現了衝突，後面的會覆蓋前面的屬性：

> const obj = {foo: 1, bar: 2, baz: 3};
> {...obj, foo: true}
{ foo: true, bar: 2, baz: 3 }
> {foo: true, ...obj}
{ foo: 1, bar: 2, baz: 3 }
複製代碼

對象 spread 操做符的使用場景

這一節，咱們會看看 spread 操做符的使用場景。我也會用 Object.assign() 實現一遍，它和 spread 操做符很類似（以後咱們會更詳細地比較它們）。

拷貝對象

拷貝對象 obj 的可枚舉自有屬性：

const clone1 = {...obj};
const clone2 = Object.assign({}, obj);
複製代碼

clone 對象們的原型都是 Object.prototype，它是全部經過對象字面量建立的對象的默認原型：

> Object.getPrototypeOf(clone1) === Object.prototype
true
> Object.getPrototypeOf(clone2) === Object.prototype
true
> Object.getPrototypeOf({}) === Object.prototype
true
複製代碼

拷貝一個對象 obj，包括它的原型：

const clone1 = {__proto__: Object.getPrototypeOf(obj), ...obj};
const clone2 = Object.assign(
    Object.create(Object.getPrototypeOf(obj)), obj);
複製代碼

注意，通常來講，對象字面量內部的 proto 只是瀏覽器內置的特性，並不是 JavaScript 引擎全部。

對象的真拷貝

有時候，你須要老老實實地拷貝對象的全部自有屬性(properties)和特性(writable, enumerable, …)，包括 getters 和 setters。這時候 Object.assign() 和 spread 操做符就回天乏術了。你須要使用屬性描述符(property descriptors)：

const clone1 = Object.defineProperties({},
    Object.getOwnPropertyDescriptors(obj));
複製代碼

若是還但願保留 obj 的原型，能夠用 Object.create()：

const clone2 = Object.create(
    Object.getPrototypeOf(obj),
    Object.getOwnPropertyDescriptors(obj));
複製代碼

「探索 ES2016 and ES2017」 裏介紹了 Object.getOwnPropertyDescriptors()

陷阱：老是淺拷貝

咱們以前見過的全部拷貝對象的方式，都是淺拷貝：若是原始屬性值是一個對象，拷貝的對象將指向同一個對象，它不會（遞歸的、深度的）拷貝自身：

const original = { prop: {} };
const clone = Object.assign({}, original);

console.log(original.prop === clone.prop); // true
original.prop.foo = 'abc';
console.log(clone.prop.foo); // abc
複製代碼

其餘使用場景

合併 obj1 和 obj2 兩個對象：

const merged = {...obj1, ...obj2};
const merged = Object.assign({}, obj1, obj2);
複製代碼

給用戶數據填充默認值

const DEFAULTS = {foo: 'a', bar: 'b'};
const userData = {foo: 1};

const data = {...DEFAULTS, ...userData};
const data = Object.assign({}, DEFAULTS, userData);
    // {foo: 1, bar: 'b'}
複製代碼

安全地更新屬性 foo:

const obj = {foo: 'a', bar: 'b'};
const obj2 = {...obj, foo: 1};
const obj2 = Object.assign({}, obj, {foo: 1});
    // {foo: 1, bar: 'b'}
複製代碼

指定屬性 foo 和 bar 的默認值：

const userData = {foo: 1};
const data = {foo: 'a', bar: 'b', ...userData};
const data = Object.assign({}, {foo:'a', bar:'b'}, userData);
    // {foo: 1, bar: 'b'}
複製代碼

展開對象 VS Object.assign()

spread 操做符和 Object.assign() 很類似。主要的區別在於前者定義了新屬性，然後者還進行了賦值。稍後將解釋這究竟意味着什麼。

Object.assign() 的兩種使用方式

Object.assign() 有兩種使用方式： 第一種，帶有破壞性的（修改已有對象）：

Object.assign(target, source1, source2);
複製代碼

這裏的 target 對象被修改了；source1 和 source2 被拷貝進去了。 第二種，非破壞性的（已有對象不會被修改）：

const result = Object.assign({}, source1, source2);
複製代碼

新對象是經過將 source1 和 source2 拷貝進一個空對象而生成的。最終，這個新對象被返回並賦值給 result。 spread 操做符相似於 Object.assign() 的第二種方式。接下來，咱們來看看二者的類似和不一樣之處。

都是經過 "get" 操做符讀值

在寫對象以前，二者都使用了 」get「 操做符去讀取源對象的屬性值。這一過程會將 getter 轉換成正常的數據屬性。 來看個例子：

const original = {
    get foo() {
        return 123;
    }
};
複製代碼

original 有一個 foo getter(它的屬性描述符有 get 和 set 屬性)

> Object.getOwnPropertyDescriptor(original, 'foo')
{ get: [Function: foo],
  set: undefined,
  enumerable: true,
  configurable: true }
複製代碼

可是在它拷貝的結果 clone1 和 clone2 裏，foo 是一個正常的數據屬性（屬性描述符有value 和 writable 屬性）：

> const clone1 = {...original};
> Object.getOwnPropertyDescriptor(clone1, 'foo')
{ value: 123,
  writable: true,
  enumerable: true,
  configurable: true }

> const clone2 = Object.assign({}, original);
> Object.getOwnPropertyDescriptor(clone2, 'foo')
{ value: 123,
  writable: true,
  enumerable: true,
  configurable: true }
複製代碼

spread 定義屬性，Object.assign() 設置屬性

spread 操做符在目標對象上定義了新的屬性，而 Object.assign() 使用了一個 "set" 操做符來建立屬性。這會致使兩個結果：

目標對象帶有 setter

首先，Object.assign() 觸發 setter，而 spread 不會：

Object.defineProperty(Object.prototype, 'foo', {
    set(value) {
        console.log('SET', value);
    },
});
const obj = {foo: 123};
複製代碼

以上代碼段設置了一個 foo setter，它會被全部普通對象繼承。 若是咱們經過 Object.assign() 拷貝 obj，繼承的 setter 會被觸發：

> Object.assign({}, obj)
SET 123
{}
複製代碼

而 spread 就不會：

> { ...obj }
{ foo: 123 }
複製代碼

Object.assign() 在拷貝時還會觸發自有 setter，這裏並無發生重寫。

目標對象帶有隻讀屬性

第二，你能夠經過繼承只讀屬性，來阻止 Object.assign() 建立自有屬性，但 spread 上這是作不到的：

Object.defineProperty(Object.prototype, 'bar', {
    writable: false,
    value: 'abc',
});
複製代碼

以上代碼設置了只讀屬性 bar，它會被全部普通對象繼承。 這樣，你就不再能使用賦值語句去建立自有屬性 bar（嚴格模式下會拋一個異常，寬鬆模式會靜默失敗）：

> const tmp = {};
> tmp.bar = 123;
TypeError: Cannot assign to read only property 'bar'
複製代碼

下列代碼，咱們使用對象字面量成功地建立了屬性 bar。由於對象字面量沒有設置屬性，它只是定義了它們：

const obj = {bar: 123};
複製代碼

然而，Object.assign() 使用賦值語句建立屬性，這就是不能拷貝 obj 的緣由：

> Object.assign({}, obj)
TypeError: Cannot assign to read only property 'bar'
複製代碼

經過 spread 操做符拷貝沒有問題：

> { ...obj }
{ bar: 123 }
複製代碼

spread 和 Object.assign() 都只拷貝自有可枚舉屬性

它們都會忽略全部繼承的屬性和不可枚舉的自有屬性。 對象 obj 從 proto 繼承了一個可枚舉屬性，而且有兩個自有屬性：

const proto = {
    inheritedEnumerable: 1,
};
const obj = Object.create(proto, {
    ownEnumerable: {
        value: 2,
        enumerable: true,
    },
    ownNonEnumerable: {
        value: 3,
        enumerable: false,
    },
});
複製代碼

若是拷貝 obj，結果將只有屬性 ownEnumerable。屬性 inheritedEnumerable 和 ownNonEnumerable 沒有被拷貝：

> {...obj}
{ ownEnumerable: 2 }
> Object.assign({}, obj)
{ ownEnumerable: 2 }
複製代碼

---

原文：http://exploringjs.com/es2018-es2019/ch_rest-spread-properties.html