f# - F# 中的泛型函数

Question

我正在编写某种序列化库(为了学习 F#)。现在我坚持这样做:

假设我们已经有了一些基本类型的序列化函数:

type StoreOps =
    static member inline store(x:int) = ...
    static member inline store(x:int64) = ...
    static member inline store(x:float) = ...
    static member inline store(x:float32) = ...
    static member inline store(x:bool) = ...
    static member inline store(x:string) = ...
    ....

现在我想实现泛型函数来存储任何基本类型的数组:

let inline store(x:'T[]) = 
        x |> Array.iter StoreOps.store

，但编译器无法编译它(错误消息说:无法根据此程序点之前的类型信息确定方法“store”的唯一重载)。

在 F# 中实现此类功能的正确方法是什么？因为我不想为 int[]、bool[]、float[]...

Answer 1

首先，您可能不需要在接受特定类型参数的定义上inline。其次，简短的回答可能是“没有好的方法来做到这一点”。但是，如果您愿意容忍可怕的黑客攻击，您可以执行以下操作:

type StoreOps = 
    ... // everything you've currently got

let inline storeArray< ^t, ^u when (^t or ^u) : (static member store : ^u -> unit)> arr = 
    arr 
    |> Array.iter (fun x -> ((^t or ^u) : (static member store : ^u -> unit) x))

type StoreOps with
    static member inline store arr = storeArray<StoreOps,_> arr

您还可以将 storeArray 助手设为私有(private)(如果您不想公开它，请使用 let inline private storeArray...。