警告是什么意思？

Question

# let [x;y;z] = [1;2;3];;
Warning P: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]
val x : int = 1
val y : int = 2
val z : int = 3
# x;;
- : int = 1
# y;;
- : int = 2
# z;;
- : int = 3

值声明似乎工作得很好，这个警告实际上是想告诉我们什么呢？

Answer 1

模式[x; y; z]与其类型的所有可能值都不匹配。通常，您希望避免这样的模式--这意味着在某些情况下，您的代码将失败。在这种特殊情况下(如果您从不更改代码)，没有问题，因为模式与常量值相匹配。但是编译器无论如何都会警告你，以防万一。也许它认为您稍后可能会更改常量列表。

我不得不说，如果有一种方法可以禁用这种情况下的警告，那就太好了。

写这个的惯用方式(没有警告)是：

let x, y, z = 1, 2, 3

在这种情况下，模式(x, y, z)确实匹配其类型的所有可能值。