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).