F # Maßeinheit, Gießen, ohne den Maßtyp zu verlieren

Question

Gibt es eingebaute Version des Typs Casting-Funktionen, die Einheiten erhält und wenn nicht, wie würde ich sie machen? Also zum Beispiel mit diesem Code, wie würde ich intWithSecondsMeasure in eine Float-Funktion umwandeln, ohne das Maß zu verlieren oder mit 1.0<s> zu multiplizieren?

[<Measure>] type s 
let intWithSecondsMeasure = 1<s> 
let justAFloat = float intWithSecondsMeasure 

Answer 1

Die Antwort von @ kvb funktioniert sicherlich, aber ich würde lieber den Operator unbox für diese Konvertierung verwenden. Es gibt einen besseren, eingebauten Weg, den ich denke, sollte als NOP zu IL kompiliert werden (ich habe nicht überprüft, aber Unbox wird wahrscheinlich als unbox Anweisung in IL enden und fügt somit eine Laufzeittypüberprüfung hinzu).

Die bevorzugte Methode zur Konvertierung von Einheiten in F # ist LanguagePrimitives.TypeWithMeasure (MSDN).

let inline float32toFloat (x:float32<'u>) : float<'u> = 
    x |> float |> LanguagePrimitives.FloatWithMeasure 

Answer 2

Ich glaube nicht, dass es eine eingebaute Möglichkeit, es zu tun, aber Sie können Ihre eigene Einheit erhaltKonvertierungsFunktion leicht definieren:

let float_unit (x:int<'u>) : float<'u> = unbox float x 
let floatWithSecondsMeasure = float_unit intWithSecondsMeasure 

Answer 3

Siehe meine Antwort auf diese Frage:

Unit-safe square roots

was darauf hindeutet, das heute:

[<Measure>] 
type s 
let intWithSecondsMeasure = 1<s> 

let intUtoFloatU< [<Measure>] 'u>(x : int<'u>) : float<'u> = //' 
    let i = int x  // drop the units 
    let f = float i  // cast 
    box f :?> float<'u> //' restore the units 

let floatWithS = intUtoFloatU intWithSecondsMeasure 

Answer 4

Ich kompilierte den Code von kvb und Johannes antwortet.

Johannes antworten

let float32toFloat (x:int<'u>) : float<'u> = 
    x |> float |> LanguagePrimitives.FloatWithMeasure 

.method public static float64 float32toFloat(int32 x) cil managed 
{ 
    // Code size  3 (0x3) 
    .maxstack 8 
    IL_0000: ldarg.0 
    IL_0001: conv.r8 
    IL_0002: ret 
} // end of method Program::float32toFloat 

kvb Antwort mit zusätzlichen Klammern.

let float_unit (x:int<'u>) : float<'u> = unbox (float x) 

.method public static float64 float_unit(int32 x) cil managed 
{ 
    // Code size  13 (0xd) 
    .maxstack 8 
    IL_0000: ldarg.0 
    IL_0001: conv.r8 
    IL_0002: box  [mscorlib]System.Double 
    IL_0007: unbox.any [mscorlib]System.Double 
    IL_000c: ret 
} // end of method Program::float_unit 

kvb Antwort

let float_unit (x:int<'u>) : float<'u> = unbox float x 

.method public static float64 float_unit(int32 x) cil managed 
{ 
    // Code size  19 (0x13) 
    .maxstack 8 
    IL_0000: newobj  instance void Program/float_unit@4::.ctor() 
    IL_0005: call  !!0 [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives/IntrinsicFunctions::UnboxGeneric<class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,float64>>(object) 
    IL_000a: ldarg.0 
    IL_000b: tail. 
    IL_000d: callvirt instance !1 class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,float64>::Invoke(!0) 
    IL_0012: ret 
} // end of method Program::float_unit