F# 类型扩展与测量单位类型转换导致奇怪的错误

Question

我有一个函数，可以从我自己的 3D 矢量实现（支持测量单位）转换为 XNA 的实现：

type Vector3<[<Measure>]'a> with
    member inline v.ToXna() =
        Microsoft.Xna.Framework.Vector3(v.x / 1.f<_>, v.y / 1.f<_>, v.z / 1.f<_>)

当我编译它时，我收到一个奇怪的错误：

签名和实现不兼容，因为类型 类/签名中的参数具有不同的编译时 对成员/实施中的要求

inline 似乎是必要的；如果没有它，我会收到此错误：

此构造导致代码不如所示的通用 类型注释。计量单位变量 'a 已受到约束 以“m”为单位。

知道发生了什么事吗？

编辑为了回答@svick的问题，Vector3被定义为：

type Vector3<[<Measure>]'u> =
    struct
        val x:float32<'u>
        val y:float32<'u>
        val z:float32<'u>
        new(x, y, z) = { x = x; y = y; z = z }
    end

并且我在将其定义为普通函数时也遇到了一些类型推断问题：

let vector3 (v:DumpEngine.Vector3<_>) =
    Vector3(v.x / 1.f<_>, v.y / 1.f<_>, v.z / 1.f<_>)

导致该函数成为Vector3<1>； -> Microsoft.Xna.Framework.Vector3，这使得它非常无法使用。不过，我不确定这是一个相关问题。

Answer 1

另一种解决方案，通过使用强制转换而不是除法来完全规避该问题：

type Vector3<[<Measure>]'u> with
    member inline v.ToXna() =
        Microsoft.Xna.Framework.Vector3(float32 v.x, float32 v.y, float32 v.z)

Answer 2

我不知道发生了什么，但这似乎有效：

let inline ToXna(v:Vector3<'a>) =
    Microsoft.Xna.Framework.Vector3(v.x / 1.f<_>, v.y / 1.f<_>, v.z / 1.f<_>)

不过，这是我能做到的最好的。