Question

我有一个使用静态解析类型参数的泛型函数

let inline divide a b = a / b

签名为^a -> ^a -> ^a

我可以创建包装函数

let log f = 
    let result = f()
    printfn "Result: %A" result
    result

如果我再创建类似的功能

let loggedDivide a b = log (fun () -> divide a b)

其签名是float -> float -> float，而不是^a -> ^a -> ^a，

loggedDivide 2.0 5.0
loggedDivide 2 5 //error

这怎么办？

注意，类似这样的东西错过了重用功能的目的

let logValue a = printfn "Result: %A" a
divide 2.0 5.0 |> logValue
divide 2 5 |> logValue

事情并不会以这种方式保持通用

let logValueAndReturn a = 
    printfn "Result: %A" a
    a

let divideAndLog a b = divide a b |> logValue
divideAndLog 2.0 5.0
divideAndLog 2 5 //error

Answer 1

您还必须使派生函数内联：

let inline loggedDivide a b = log (fun () -> divide a b)

这将允许传播约束：

val inline loggedDivide :
  a: ^a -> b: ^b ->  ^c
    when ( ^a or  ^b) : (static member ( / ) :  ^a *  ^b ->  ^c)

之所以这样做是因为SRTP是F＃编译器功能，可在编译时解决，因此功能可以通过在调用站点内联来实现专门化。

如果您希望函数保持通用，则必须是内联的。

请注意，将函数推断为使用int进行操作的原因是，这是\和其他数学运算符的默认设置。否则，您将得到一个表明歧义的错误。

使包装的F＃SRTP函数通用

1 个答案: