f＃中用戶定義類型的混淆

Question

對於諸如int和string之類的內置類型，在函數中對其進行注釋的方式如下：

let testFunction (x:int) = x * x

但是對於用戶定義的類型，使用它們的方式是不同的。 如下圖所示：

type NewType = NewType of int

let test (NewType a)= a * 2

但是，如果我用以下方式表示，解釋器會給我顯示不匹配的類型錯誤（int vs NewType）：

let test (a:NewType) = a * 2

這是為什么 ？

Answer 1

這是一個類型注釋：

let testFunction (x:int) = x * x

但在行中：

let test (NewType a)= a * 2

這不是類型注釋 。 這就是通過模式匹配進行分解 。 模式匹配也可以應用於示例中的函數參數。 它的作用是解開NewType包含的int值並將其綁定到a值。 這就是為什么您可以進行乘法，因為它是在int值而不是在NewType

最后一行也是類型注釋：

let test (a:NewType) = a * 2

這是行不通的，因為乘法默認情況下推斷int和注解表明， a類是NewType ，這就是為什么你收到此錯誤信息。 您必須像進行let test (a:NewType) = a * 2一樣解開包裝

Answer 2

您將模式匹配與類型注釋混淆了。 第二個示例使用適當的類型注釋：

let test (a:NewType) = a * 2

不幸的是，這意味着您不能在沒有模式匹配來提取它的情況下訪問類型構造函數的int參數，如下所示：

let test (a:NewType) =
    match a with
    | NewType x -> x * 2

對您有用的第一種情況不是使用類型注釋，而是將模式匹配作為參數的一部分，因此已經為您嘗試訪問的值指定了名稱，並且不需要進一步的模式匹配。 如果您的類型可能有多個這樣的模式，

type NewType = NewType of int
             | OtherType of float

並且您嘗試使用模式而不是類型注釋的第一種方式編寫代碼，您將看到一條警告，指出您的模式匹配不完整：

> let testcode (NewType a) = a * 2;;                  

  let testcode (NewType a) = a * 2;;
  --------------^^^^^^^^^

warning FS0025: Incomplete pattern matches on this expression. For example, 
the value 'OtherType (_)' may indicate a case not covered by the pattern(s).