什么時候不能使用箭頭函數

關於 ES6 中的箭頭函數，網上有很多文章解釋其作用和語法，如果你剛開始接觸 ES6，可以從這里開始。任何事物都具有兩面性，語言的新特性常常被誤解、濫用，比如箭頭函數的使用就存在很多誤區。接下來，筆者會通過實例介紹該避免使用箭頭函數的場景，以及在這些場景下該如何使用函數表達式（function expressions）、函數聲明或者方法簡寫（shorthand method）來保障代碼正確性和可讀性。

1. 定義對象方法

JS 中對象方法的定義方式是在對象上定義一個指向函數的屬性，當方法被調用的時候，方法內的 this 就會指向方法所屬的對象。

1.1 定義字面量方法

因為箭頭函數的語法很簡潔，可能不少同學會忍不住用它來定義字面量方法，比如下面的例子 JS Bin：

const calculator = {
    array: [1, 2, 3],
    sum: () => {
        console.log(this === window); // => true
        return this.array.reduce((result, item) => result + item);
    }
};

console.log(this === window); // => true

// Throws "TypeError: Cannot read property 'reduce' of undefined"
calculator.sum();

calculator.sum 使用箭頭函數來定義，但是調用的時候會拋出 TypeError，因為運行時 this.array 是未定義的，調用 calculator.sum 的時候，執行上下文里面的 this 仍然指向的是 window，原因是箭頭函數把函數上下文綁定到了 window 上，this.array 等價於 window.array，顯然后者是未定義的。

解決的辦法是，使用函數表達式或者方法簡寫（ES6 中已經支持）來定義方法，這樣能確保 this 是在運行時是由包含它的上下文決定的，修正后的代碼如下 JS Bin：

const calculator = {
    array: [1, 2, 3],
    sum() {
        console.log(this === calculator); // => true
        return this.array.reduce((result, item) => result + item);
    }
};
calculator.sum(); // => 6

這樣 calculator.sum 就變成了普通函數，執行時 this 就指向 calculator 對象，自然能得到正確的計算結果。

1.2 定義原型方法

同樣的規則適用於原型方法（prototype method）的定義，使用箭頭函數會導致運行時的執行上下文錯誤，比如下面的例子 JS Bin：

function Cat(name) {
    this.name = name;
}

Cat.prototype.sayCatName = () => {
    console.log(this === window); // => true
    return this.name;
};

const cat = new Cat('Mew');
cat.sayCatName(); // => undefined

使用傳統的函數表達式就能解決問題 JS Bin：

function Cat(name) {
    this.name = name;
}

Cat.prototype.sayCatName = function () {
    console.log(this === cat); // => true
    return this.name;
};

const cat = new Cat('Mew');
cat.sayCatName(); // => 'Mew'

sayCatName 變成普通函數之后，被調用時的執行上下文就會指向新創建的 cat 實例。

2. 定義事件回調函數

this 是 JS 中很強大的特性，可以通過多種方式改變函數執行上下文，JS 內部也有幾種不同的默認上下文指向，但普適的規則是在誰上面調用函數 this 就指向誰，這樣代碼理解起來也很自然，讀起來就像在說，某個對象上正在發生某件事情。

但是，箭頭函數在聲明的時候就綁定了執行上下文，要動態改變上下文是不可能的，在需要動態上下文的時候它的弊端就凸顯出來。比如在客戶端編程中常見的 DOM 事件回調函數（event listenner）綁定，觸發回調函數時 this 指向當前發生事件的 DOM 節點，而動態上下文這個時候就非常有用，比如下面這段代碼試圖使用箭頭函數來作事件回調函數 JS Bin：

const button = document.getElementById('myButton');
button.addEventListener('click', () => {
    console.log(this === window); // => true
    this.innerHTML = 'Clicked button';
});

在全局上下文下定義的箭頭函數執行時 this 會指向 window，當單擊事件發生時，瀏覽器會嘗試用 button 作為上下文來執行事件回調函數，但是箭頭函數預定義的上下文是不能被修改的，這樣 this.innerHTML 就等價於 window.innerHTML，而后者是沒有任何意義的。

使用函數表達式就可以在運行時動態的改變 this，修正后的代碼 JS Bin：

const button = document.getElementById('myButton');
button.addEventListener('click', function() {
    console.log(this === button); // => true
    this.innerHTML = 'Clicked button';
});

當用戶單擊按鈕時，事件回調函數中的 this 實際指向 button，這樣的 this.innerHTML = 'Clicked button' 就能按照預期修改按鈕中的文字。

3. 定義構造函數

構造函數中的 this 指向新創建的對象，當執行 new Car() 的時候，構造函數 Car 的上下文就是新創建的對象，也就是說 this instanceof Car === true。顯然，箭頭函數是不能用來做構造函數， 實際上 JS 會禁止你這么做，如果你這么做了，它就會拋出異常。

換句話說，箭頭構造函數的執行並沒有任何意義，並且是有歧義的。比如，當我們運行下面的代碼 JS Bin：

const Message = (text) => {
    this.text = text;
};
// Throws "TypeError: Message is not a constructor"
const helloMessage = new Message('Hello World!');

構造新的 Message 實例時，JS 引擎拋了錯誤，因為 Message 不是構造函數。在筆者看來，相比舊的 JS 引擎在出錯時悄悄失敗的設計，ES6 在出錯時給出具體錯誤消息是非常不錯的實踐。可以通過使用函數表達式或者函數聲明 來聲明構造函數修復上面的例子 JS Bin：

const Message = function(text) {
    this.text = text;
};
const helloMessage = new Message('Hello World!');
console.log(helloMessage.text); // => 'Hello World!'

4. 追求過短的代碼

箭頭函數允許你省略參數兩邊的括號、函數體的花括號、甚至 return 關鍵詞，這對編寫更簡短的代碼非常有幫助。這讓我想起大學計算機老師給學生留過的有趣作業：看誰能使用 C 語言編寫出最短的函數來計算字符串的長度，這對學習和探索新語言特性是個不錯的法子。但是，在實際的軟件工程中，代碼寫完之后會被很多工程師閱讀，真正的 write once, read many times，在代碼可讀性方面，最短的代碼可能並不總是最好的。一定程度上，壓縮了太多邏輯的簡短代碼，閱讀起來就沒有那么直觀，比如下面的例子 JS Bin：

const multiply = (a, b) => b === undefined ? b => a * b : a * b;
const double = multiply(2);
double(3);      // => 6
multiply(2, 3); // => 6

multiply 函數會返回兩個數字的乘積或者返回一個可以繼續調用的固定了一個參數的函數。代碼看起來很簡短，但大多數人第一眼看上去可能無法立即搞清楚它干了什么，怎么讓這段代碼可讀性更高呢？有很多辦法，可以在箭頭函數中加上括號、條件判斷、返回語句，或者使用普通的函數 JS Bin：

function multiply(a, b) {
    if (b === undefined) {
        return function (b) {
            return a * b;
        }
    }
    return a * b;
}

const double = multiply(2);
double(3); // => 6
multiply(2, 3); // => 6

為了讓代碼可讀性更高，在簡短和啰嗦之間把握好平衡是非常有必要的。

5. 總結

箭頭函數無疑是 ES6 帶來的重大改進，在正確的場合使用箭頭函數能讓代碼變的簡潔、短小，但某些方面的優勢在另外一些方面可能就變成了劣勢，在需要動態上下文的場景中使用箭頭函數你要格外的小心，這些場景包括：定義對象方法、定義原型方法、定義構造函數、定義事件回調函數。

轉自：知乎專欄