爲什麼OCaml模式「zero - > zero」似乎匹配所有內容？

Question

這是我書中的代碼片段，我不確定匹配是如何工作的，因爲它似乎是第一個匹配所有內容的案例。以下是Ocaml向我發出的警告：

# let zero = 0;; 
# let one = 1;; 
# let rec fib i = 
match i with 
zero -> zero 
| one -> one 
| j -> fib (j - 2) + fib (j - 1);; 
Characters 57-60: 


Warning: this match case is unused. 
Characters 74-75: 
Warning: this match case is unused. 
| one -> one 
^^^ 
| j -> fib (j - 2) + fib (j - 1);; 
^ 
val fib : int -> int = <fun> 
# fib 1;; 
- : int = 1 
# fib 2002;; 
- : int = 2002 

Answer 1

這是一個相當常見的混淆來源。實質上，您希望將模式從常量（如0和1）以及綁定的標識符構建爲模式。

當一個標識符出現在一個模式中時，它匹配任何東西，並將匹配的值綁定到標識符。模式中的標識符而不是是指與標識符相關聯的任何先前值。所以，事實上，您的模式將始終與第一種情況匹配，並將zero綁定爲值i。

您可以想象，您希望能夠爲常量值賦予名稱，然後在模式中使用名稱而不是常量。然而，OCaml（與其他FP語言一樣）不以那種方式工作。一個好處（在我看來）是它保持簡單。

Answer 2

我以爲我會補充一點，如果你重寫了代碼如下，這將很好地工作：

# let zero = 0;; 
# let one = 1;; 
# let rec fib i = 
match i with 
    0 -> zero 
| 1 -> one 
| j -> fib (j - 2) + fib (j - 1);; 

的根本問題（如相當好於對方的回答解釋）是您可以使用與全局變量相同的名稱創建新的本地變量，並且使用匹配左側的任何變量名稱只會創建一個新名稱的局部變量，並用任何匹配的名稱填充它。正如j是一個新的局部變量，它包含任何正在匹配的內容，zero也是如此。並且它是在更大範圍內先前聲明的事實被ocaml的（這就是爲什麼你可以愉快地寫東西像

let x = 1;; 
let x = 2 in let x = 3 in x;; 

它給出了3