如何实现 F# 的静态绑定约束

本文关键字：静态绑定 约束 实现 何实现 | 更新日期: 2023-09-27 18:33:01

在 F# 中，可以执行黑魔法巫毒教 1 并执行静态类型约束，以确保仅在具有成员约束的类型上调用函数。例如： 

module Collection
    let inline init s = 
        let collection = new ^t()
        let add e = (^t : (member Add : 'a -> unit) collection, e)
        Seq.iter add s
        collection

可以在具有具有签名的Add<'a>的类型'a -> unit 中调用此函数。

用法： 

let a:List<_> = Collection.init {1..10}
let b:SynchronizedCollection<_> = Collection.init {1..10}
a |> Seq.iter (fun x -> printf "%A " x)
b |> Seq.iter (fun x -> printf "%A " x)

输出：

1 2 3 4 5 6 7 8 9 10 1 2 3 4 5 6 7 8 9 10

我对在 C# 应用程序中利用这种功能很感兴趣，但不知道尝试这个可能会遇到什么样的陷阱或麻烦。

为了避免 X-Y 问题，我有一个 WCF 生成的客户端，该客户端是手动编辑的混乱。由于某种原因，不使用它不是一种选择。许多类型具有具有相同名称但具有不同类型且没有通用类型的成员属性，因此我对这种类型的泛型约束感兴趣。

F# 中的此功能是否是解决我问题的可行解决方案？这是如何实施的？我知道 C# 不能做这样的事情...

1不是真的，我只是不知道怎么做，因此问题。

如何实现 F# 的静态绑定约束

在 F# 中，静态成员约束(这是此 voodoo 的名称(是通过在每次调用 init 函数时内联该函数的代码并为每次使用生成专用代码来实现的。

通常，.NET 泛型约束

不够丰富，无法表达成员约束，因此无法将其直接映射到普通的 .NET 泛型约束。

当你写：

let a:List<_> = Collection.init {1..10}
let b:SynchronizedCollection<_> = Collection.init {1..10}

编译器基本上会将Collection.init替换为函数的主体，并将使用静态成员约束编写的调用替换为对具体类型的具体Add方法的调用。如果调用出现在无法确定具体类型的泛型函数中，则不允许调用。

我认为您当然可以使用 F# 和静态成员约束来简化代码的使用，其中许多类型共享属性而没有任何更深层次的关系。但是，静态成员约束是特定于 F# 的，并且无法使用它们定义可以从 C# 调用的帮助程序函数。您必须在 F# 中编写大部分客户端(并且可能会公开完全隐藏基础类型的漂亮干净的 API(。

相关文章：