zypeh says to YSITD @mmis1000 所以 pattern matching 不只是解构，然后 if, else 那么简单，还是是得到这两个结果，然后拆礼物，得到里面的值，然后定义新的变量，然后各种有各自的操作