解構賦值(Destructuring Assignment)是一個在ES6的新特性,用於提取(extract)陣列或物件中的資料,這是一種對原本語法在使用上的改進,過去要作這件事可能需要使用迴圈或迭代的語句才行,新語法可以讓程式碼在撰寫時更為簡短與提高閱讀性。
解構賦值的解說只有一小段英文:
The destructuring assignment syntax is a JavaScript expression that makes it possible to extract data from arrays or objects using a syntax that mirrors the construction of array and object literals.
這句後面的mirrors the construction of array and object literals,代表這個語法的使用方式 - 如同"鏡子 "一般,對映出陣列或物件字面的結構。也就是一種樣式(pattern)對映的語法。
解構賦值如果你能抓得住它的基本概念,就可以很容易理解與使用。不過與ES6其他的特性配合時,會顯得複雜比較難理解。
在使用時有以下幾種常見的情況:
destructuring: 變性、破壞性。使用"解構"是對照de-字頭有"脫離"、"去除"的意思。
assignment: 賦值、指派。賦值通常指的是程式中使用等號(=)運算符的語句。
從陣列解構賦值(Array destructuring)
從陣列解構賦值沒太多學問,唯一比較特別的是可以用其餘運算符(Rest Operator)的語法,既然是其餘運算符,最後就會把其餘的對應值集合成一個陣列之中。下面是幾個幾個範例:
Copy // 基本用法
const [ a , b ] = [ 1 , 2 ] // a=1, b=2
// 先宣告後指定值,要用let才行
let a , b
[a , b] = [ 1 , 2 ]
// 略過某些值
const [ a , , b ] = [ 1 , 2 , 3 ] // a=1, b=3
// 其餘運算
const [ a , ... b ] = [ 1 , 2 , 3 ] // a=1, b=[2,3]
// 失敗保護
const [, , , a , b ] = [ 1 , 2 , 3 ] // a=undefined, b=undefined
// 交換值
const a = 1 , b = 2 ;
[b , a] = [a , b] // a=2, b=1
// 多維複雜陣列
const [ a , [ b , [ c , d ]]] = [ 1 , [ 2 , [[[ 3 , 4 ] , 5 ] , 6 ]]]
// 字串
const str = " hello " ;
const [ a , b , c , d , e ] = str 用法就是這麼簡單,用來賦值的等號符號(=)左邊按照你寫的變數或常數樣式,然後在右邊寫上要對映數值,就像之前說的"鏡子"般的對應。當沒有對應的值時,就會得到undefined。
從物件解構賦值(Object destructuring)
物件除了有使用特別的字面符號,也就是花括號({})來定義,其中也會包含屬性。按照基本的原則,也是用像"鏡子"般的樣式對應,一樣看範例就很容易理解:
下面的語法是個有陷阱的語法,這是錯誤的示範:
註: 這個語法如果使用const來宣告常數是根本不能使用,只能用let來宣告變數。而且eslint檢查工具一定會回報語法錯誤。
因為在Javascript語言中,雖然使用花括號符號({})是物件的宣告符號,但這個符號用在程式敘述中,也就是前面沒有let、const、var這些宣告字詞時,則是代表程式碼的區塊(block)。在外面再加上括號符號(())就可以改正,括號符號(())有表達式運算的功能,正確的寫法如下:
註: 在大部份情況,你應該是在定義常數或變數時,就進行解構賦值。
複雜的物件或混合陣列到物件,如果你能記住之前說的鏡子樣式對映基本原則,其實也很容易就能理解:
從其他的資料類型進行陣列或物件解構,一開始是null或undefined這兩種時,你會得到錯誤:
如果是從其他的原始資料類型布林、數字、字串等作物件解構,則會得到undefined值。
從其他的原始資料類型布林、數字、字串等作陣列解構的話,只有字串類型可以解構出字元,在上面的例子有看到這種情況,其他也是得到undefined值:
註: 字串資料類型的值只能用在陣列的解構賦值,無法用在物件的解構賦值。
以上會有出現這樣的結果,是當一個值要被進行解構時,它會先被轉成物件(或陣列),因為null或undefined無法轉成物件(或陣列),所以必定產生錯誤,這是第一階段。下一個階段如果這個值轉換的物件(或陣列),沒有附帶對應的迭代器(Iterator)就無法被成功解構賦值,所以最後回傳undefined。
在等號左邊的樣式(pattern)中是可以給定預設值的,作為如果沒有賦到值時(對應的值不存在)的預設數值。
要作一個簡單的陷阱題滿簡單的,你可以試看看下面這個範例中到底是賦到了什麼值:
在函式傳入參數定義中也可以使用解構賦值,因為函式的傳入參數本身也有自己的預設值設定語法,這也是ES6的一個特性,所以使用上會容易與解構賦值自己的預設值設定搞混。這地方會產生不少陷阱。
一個簡單的解構賦值用在函式的參數裡,這是正常情況的語法:
當你用上了預設值的機制,而且前面的a有預設值,後面的b就沒有,這時候因為沒有賦到值時,都會是undefined值,任何數字加上undefined都會變成NaN,也就是非數字的意思:
當a與b兩個都有預設值時,NaN的情況不存在:
實際上函式傳入參數它自己也可以加預設值,但這情況會讓最後一種func()呼叫時與func({})相同結果:
另一種情況是在函式傳入參數的預設值中給了另一套預設值,這只會在func()時發揮它的作用:
你可以觀察一下,當對某個變數賦值時你給他null或void 0,到底是用預設值還是沒有值,這個範例的g()函式是個對照組:
註:所以在函式傳入參數中作解構賦值時,給定null值時會導致預設值無用,請記住這一點。當數字運算時,null相當於0。
這個範例用了for...of語法。出自Destructuring assignmentarrow-up-right :
這個範例混用了一些ES6的語法,出自Several demos and usages for ES6 destructuring.arrow-up-right :
這個例子相當於Underscore.js函式庫中的_.pluck,把深層的屬性值往上拉出來。
React Native的解構賦值
這個是React Native的一個教學,裡面有用了解構賦值的語法。出自React Native Tutorial: Building Apps with JavaScriptarrow-up-right :