Question

我意识到你可以表达与单位维度的关系，比如

[<Measure>] type cc = cm^3

稍后进行有意义的计算。

给定一些度量单位类型，

[<Measure>] type m

是否可以在与另一个单位数量的关系中定义单位？例如，

// doesn't compile
[<Measure>] type mm = 0.001<m>

// later
let length = 500.0<mm>
let length2 = 0.5<m>
printfn "%A" (length = length2) // prints true

Answer 1

简而言之：不。

度量单位是基元的注释。期。您可能知道，在编译期间，它们将被删除。

所以这是他们的基本限制：你不能附加任何类型的功能，因为它们都会变成普通的float。

编译器将检查您的表达式是否在尺寸上有效，但是（现在）它不会自动生成或插入任何类型的默认值＆＃39;类型转换函数。

你必须自己编写和使用这些功能，你所能做的最好的事情就是让它们尽可能简单。

以下是我如何组织您的示例：

[<Measure>] type mm    
[<Measure>] type mt

// first, I like to define basic functions to quickly annotate dimensionless values
let mm = (*) 1.0<mm>
let mt = (*) 1.0<mt>

// we define a constant conversion
let MmPerMt = 1000.0<mm/mt>

// (though nothing forbids us from defining any conversion we want, and the compiler cannot privilege one over another)
let INeverPaidAttentionInGradeSchool = 12345<mm/mt>

// for ease of use, we bake the conversion constant into functions
let MtToMm = (*) MmPerMt

// usage
let someUserInputInMeters = "12414.23"

let desiredValueInMillimeters = someUserInputInMeters
                                |> float
                                |> mt
                                |> MtToMm

与另一单位数量建立计量单位关系

1 个答案: