4

所以在做一些Project Euler问题时，我希望能够取整数值（int、long、bigint 等）的平方根，但 Sqrt 只为浮点值定义。所以我一直在编写自己的小牛顿-拉夫森算法，它对我的​​需要非常准确。但是，我希望能够在浮点值上调用内置的 sqrt 函数。所以我写了这样的东西：

let inline dsqrt x =
    match box x with
    | :? float -> sqrt x
    | :? float32 -> sqrt x
    | _ -> p_dsqrt x

显然，我的函数被命名为“p_dsqrt”。然而，这个函数要求输入定义了一个 Sqrt 方法，这有点违背了整个目的。我错过了一些类型约束，还是什么？

4

2 回答 2

6

如果要使用匹配，则不需要 inline 关键字，但如果要使用内联函数和“帽子类型”，请使用重载而不是匹配：

type Sqrt = Sqrt with
    // Dummy overload in order to get the right types inferred (will never reach here)
    static member inline ($) (Sqrt, _:^t when ^t:null and ^t: struct) = id

    // Existing sqrt
    static member inline ($) (Sqrt, x:'a) :'a = sqrt x 

    // Your Newton-Raphson based sqrt's
    static member        ($) (Sqrt, x:int   ) = sqrtForInt    x
    static member        ($) (Sqrt, x:bigint) = sqrtForBigInt x 

let inline sqrt (x:'t) :'t = Sqrt $ x

返回类型将始终与输入类型相同，并且选择的 sqrt 的实现将取决于该类型。此选择将在编译时发生，这是与在运行时解析的 match 方法的主要区别。

如果我取出虚拟重载，它将与您的代码有相同的问题：它将需要 sqrt 约束。

于 2012-09-24T21:11:35.800 回答
3

我想你可能想要这个，而不是：

let dsqrt x =
    match box x with
    | :? float as f -> sqrt f |> box :?> 'a
    | :? float32 as f -> sqrt f |> box :?> 'a
    | _ -> p_dsqrt x

您的代码的问题是您直接调用sqrt x，这限制了x. 在我修改后的代码中，我将一个新标识符绑定到成功强制转换为floator的结果float32，因此这不会对x.

于 2012-09-24T20:54:36.750 回答