Question

我希望在实例化通用记录时显式提供类型参数。换句话说，给定一个RecordType<'T1, 'T2, 'T3>，我想创建一个RecordType<'T1, 'T2, 'T3>的实例，其中包含一些固定'T1，'T2和'T3的实例参数。有没有办法在F＃中做到这一点？

我看到三个有用的案例：

当有多个具有相同名称的通用类型时实例化记录

假设我们有以下记录定义：

type SimpleGenericRecord<'T1, 'T2> = {
    f1 : 'T1 -> 'T2
}

type SimpleGenericRecord<'T> = {
    f1 : 'T -> 'T
}

我很容易构造SimpleGenericRecord<'T>的实例最后定义：

let record = {
    f1 = fun (x: int) -> 0
} 

let record1 = {
    SimpleGenericRecord.f1 = fun (x: int) -> 0
}

尝试创建SimpleGenericRecord<int, int>之后编译错误：

let record2 = {
    SimpleGenericRecord<int, int>.f1 = fun (x: int) -> 0
}

let record3 = {
    SimpleGenericRecord<_, _>.f1 = fun (x: int) -> 0
}

我知道有两种类型的相同记录名称可能不是最好的主意，不过，我认为该语言应该让我有办法使用这两种类型。

记录记录类型

F# reference说：

不要将DefaultValue属性与记录字段一起使用。一个更好的方法是使用字段定义记录的默认实例初始化为默认值，然后使用副本和更新记录表达式以设置与默认值不同的任何字段值。

根据这条建议，我想定义记录的默认实例，因为它们是公共API的一部分，所以记录它们的类型。

帮助进行类型推断

记录类型的通用参数可用于推断记录值的类型。

假设我有：

type RecordWithSomeComplexType<'T> = {
    t1 : int -> System.Collections.Generic.Dictionary<int, 'T> // some long type signature
}

我想实例化它。如果我没有提供任何类型的注释，则记录值将尽可能一般，例如：

let record4 = {
    RecordWithSomeComplexType.t1 = failwith "Intentionally failing"
}

有类型

int -> System.Collections.Generic.Dictionary<int, obj>

我可以强制记录属于某种类型（例如RecordWithSomeComplexType<string>），但在这种情况下，我需要写出某种值的完整类型，例如

let failing = {
    RecordWithSomeComplexType.t1 = 
        failwith "Intentionally failing"  :> int -> System.Collections.Generic.Dictionary<int, string> 
        // I don't want to provide a full type of a value here
}

如果编译器知道我想要RecordWithSomeComplexType<string>，它可以推断出价值的签名。

Answer 1

您可以在任何地方添加类型注释

let record2 : SimpleGenericRecord<_, _> = {
    f1 = fun (x: int) -> 0
}

// alternative
let record2 =
  ({
    f1 = fun (x: int) -> 0
  } : SimpleGenericRecord<_, _>)

对于较长的情况，你可以写一个别名类型来缓解事情

type Alias<'T> = int -> System.Collections.Generic.Dictionary<int, 'T>

let record4 = {
  t1 = (failwith "Intentionally failing" : Alias<string>)
}

请注意，record4评估会立即引发异常，因为它没有延迟

如何使用显式类型参数实例化通用记录？

1 个答案: