1、语法

一旦解构后，我们就有办法只判断其中的一个数据。假设前文的解构函数存在的话，那么我们必然会解构成两个数据（x 和 y）。但是，如果我们仅判断 x 的数据，而不关心 y 是多少的话，我们可以使用一个下划线 _ 来表示“y 我们不用判断”，或者说“y 的模式匹配总是成立的”。

或者

这么写都是可以的。

2、弃元模式的叫法和定义范畴

呃，前面只要带有 _ 记号（弃元符号）的地方，这些模式就都可以叫弃元模式。不论你这个 var (_, _) 也好，还是 { Length: _ } 也好，还是 T _ 也好，甚至包括稍后介绍的一些新语法也好，它们都是在一个大的模式匹配表达式里的其中一个模式匹配单元，它们都称为弃元模式，只要是用到了弃元符号 _ 的地方。