F#是否了解其受歧视的工会的编制表格？

Question

F#中的区分联合被编译为抽象类,其选项成为嵌套的具体类.

type DU = A | B

DU是抽象的,而DU.A和DU.B是具体的.

使用ServiceStack,可以使用函数自定义类型到JSON字符串和后面的序列化.关于DU类型,这是我在C#中如何做到的.

using ServiceStack.Text;

JsConfig<DU.A>.SerializeFn = v => "A"; // Func<DU.A, String>
JsConfig<DU.B>.SerializeFn = v => "B"; // Func<DU.B, String>
JsConfig<DU>.DeserializeFn = s =>
    if s == "A" then DU.NewA() else DU.NewB(); // Func<String, DU>

F#是否了解其受歧视的工会的编制表格？如何在编译时获得F#中的DU.A类型？

typeof<DU> // compiles
typeof<DU.A> // error FS0039: The type 'A' is not defined
typeof<A> // error FS0039: The type 'A' is not defined

我可以很容易地在F#中注册一个用于反序列化的函数.

open System
open ServiceStack.Text

JsConfig<DU>.RawDeserializeFn <-
    Func<_, _>(fun s -> printfn "Hooked"; if s = "A" then A else B)

对于具体类型DU.A和DU.B,是否可以完全在F#中注册序列化函数？

Answer 1

虽然所有的行为(抽象类等)不仅仅是一个实现细节,它实际上是由规范定义的,这些东西是不能从F#访问的 - 这是spec的引用

已编译的联合类型U具有:

·每个空联合案例C的一个CLI静态getter属性UC.此属性获取表示每个此类案例的单个对象.

·每个非空联合案例C的一个CLI嵌套类型UC.此类型对于union案例的每个字段都有实例属性Item1,Item2 ....如果只有一个字段,则为单个实例属性Item.但是,只有一个案例的编译联合类型没有嵌套类型.相反,union类型本身扮演案例类型的角色.

·每个非空联合情况C的一个CLI静态方法U.NewC.此方法为该情况构造一个对象.

·每个案例C的一个CLI实例属性U.IsC.此属性对于案例返回true或false.

·每个案例C的一个CLI实例属性U.Tag.此属性获取或计算与案例对应的整数标记.

·如果U有多个case,则它有一个CLI嵌套类型U.Tags.对于每种情况,U.Tags都会输入一个整数文字,从零开始按递增顺序排列.

·除了任何用户定义的属性或方法之外,编译的联合类型还具有实现其自动生成的接口所需的方法.

这些方法和属性可能无法直接从F#中使用.但是,这些类型具有面向用户的List.Empty,List.Cons,Option.None和Option.Some属性和/或方法.

重要的是,"这些方法和属性可能不会从F#中使用".

Answer 2

F#中的DU是单一类型的事实是其有用性的关键.F#方法是使用模式匹配:

JsConfig<DU>.SerializeFn <- function
  | A -> "A"
  | B -> "B"

这应该有效,因为联合案例不仅是C#中的嵌套类型,也是子类型.当然,如果ServiceStack不考虑基类型序列化器,那么这将不起作用.

Answer 3

Daniel是正确的，您可以通过注册基本类型的序列化函数来实现DU。这是一个更完整的例子

open System
open ServiceStack.Text

type DU = A | B

let serialize = function
    | A -> "A"
    | B -> "B"

let deserialize = function
    | "A" -> A
    | "B" -> B
    | _   -> failwith "Can't deserialize"

JsConfig<DU>.SerializeFn <- Func<_,_>(serialize)
JsConfig<DU>.DeSerializeFn <- Func<_,_>(deserialize)

let value = [| A; B |]
let text = JsonSerializer.SerializeToString(value)
let newValue = JsonSerializer.DeserializeFromString<DU[]>(text)

结果：

val value : DU [] = [|A; B|]
val text : string = "["A","B"]"
val newValue : DU [] = [|A; B|]