1、語法

一旦解構(gòu)后，我們就有辦法只判斷其中的一個數(shù)據(jù)。假設(shè)前文的解構(gòu)函數(shù)存在的話，那么我們必然會解構(gòu)成兩個數(shù)據(jù)（x 和 y）。但是，如果我們僅判斷 x 的數(shù)據(jù)，而不關(guān)心 y 是多少的話，我們可以使用一個下劃線 _ 來表示“y 我們不用判斷”，或者說“y 的模式匹配總是成立的”。

或者

這么寫都是可以的。

2、棄元模式的叫法和定義范疇

呃，前面只要帶有 _ 記號（棄元符號）的地方，這些模式就都可以叫棄元模式。不論你這個 var (_, _) 也好，還是 { Length: _ } 也好，還是 T _ 也好，甚至包括稍后介紹的一些新語法也好，它們都是在一個大的模式匹配表達式里的其中一個模式匹配單元，它們都稱為棄元模式，只要是用到了棄元符號 _ 的地方。