F#中泛型转换带单位float至不同单位的问题及编译器疑问

你遇到的不是编译器bug，而是因为没有为泛型参数'OldUnit添加度量单位属性标注，导致类型推断出现约束。

问题原因 #

你的convertUnits函数仅对'NewUnit标注了<[<Measure>]>，但'OldUnit没有声明为度量单位类型参数。F#编译器会将未标注的泛型参数视为普通类型参数，而float<'OldUnit>要求'OldUnit必须是度量单位，因此编译器只能将'OldUnit约束为'1（无单位的默认度量），最终函数类型被限制为接受普通float而非任意带单位的float<'OldUnit>。

正确实现方式 #

需要为两个泛型参数都添加<[<Measure>]>标注，明确告诉编译器它们是度量单位类型参数：

// 正确的泛型单位转换函数
let convertUnits<[<Measure>] 'OldUnit, [<Measure>] 'NewUnit> (x: float<'OldUnit>) : float<'NewUnit> =
    // 先移除原单位转为无单位float，再赋予新单位
    x |> float |> LanguagePrimitives.FloatWithMeasure<'NewUnit>

这个函数的类型签名会符合你的预期：

val convertUnits: x: float<'OldUnit> -> float<'NewUnit>

补充说明 #

F#的度量单位设计初衷是静态类型安全，防止意外的单位转换错误。这种“强制转换”单位的操作本质上是绕过类型安全检查，因此必须显式声明泛型参数为度量单位，让编译器明确你的意图。

如果只是偶尔需要转换，也可以直接用内联写法省略单独的函数：

// 直接转换示例
let meters: float<m> = 100.0
let kilometers: float<km> = meters |> float |> LanguagePrimitives.FloatWithMeasure<km>

内容的提问来源于stack exchange，提问作者bmitc