string vs String - 单例区分联合

Question

If string is an alias of String in the .net framework为什么会发生这种情况，我应该如何解释它：

type JustAString = string
> type JustAString = string

type JustAStringAgain = String 
> type JustAStringAgain = | String

Answer 1

现有答案是正确的，因为string是F＃类型，而String不是类型（除非您打开System命名空间），这就是两个定义不同的原因。第一种情况创建一个类型别名，而第二种情况声明歧视联盟（而不是现有答案中建议的模块别名）。

在第一种情况下，定义只创建一个类型别名。我们可以使用typeof<T>：

进行检查

> type MyString = string;;

> typeof<MyString>.FullName;;
val it : string = "System.String"

在第二种情况下，您正在定义一个具有名为String的单个案例的歧视联盟（名称可能是任何东西 - 关键是String不是已知类型，因此它被视为案件的名称）。要检查这一点，我们可以使用F＃反射模块中的GetUnionCases：

> type MyString = String;;
type MyString = | String

> open Microsoft.FSharp.Reflection
  for u in FSharpType.GetUnionCases(typeof<MyString>) do 
    printfn "%s" u.Name;;
String
val it : unit = ()

这个定义只是歧视联盟的一个非常基本的例子。我们可以添加更多案例，案例也可以包含字段：

type MyString = String | SomeOtherName of int

诀窍是String不是已知的类型名称。如果打开System命名空间，则会再次获得一个类型别名：

> open System;;
> type MyString = String;;

> typeof<MyString>.FullName;;
val it : string = "System.String"