Enum型のF＃型制約

Question

一般的な列挙型の値をとり、その基礎となる整数値を2倍にするF＃関数を記述したいと思います。幸い、intという組み込み関数があります。この関数は、列挙型を整数に変換するので、これは簡単に行えますか？ここに私の最初の試みだ：

let doubler (value : 't when 't : enum<int>) = 
    2 * (int value) 

悲しいことに、これは次のコンパイラメッセージで結果：

Program.fs（2,10）：警告FS0064：この構築物は、コードがより 少なく、一般的なことになり型の注釈で示されます。タイプ変数 'はタイプ' int 'に制約されています。

Program.fs（2,10）：エラーFS0071： 型の推論変数にデフォルトの型 'int'を適用すると、型の制約が一致しません。タイプ 'int' はCLI enumタイプではありません。 Program.fs（1,28） - （1,42）も参照してください。 さらに型の制約を加えることを検討してください。

私は間違っていますか？ F＃の包括的な列挙型の値から根底にある整数を抽出する良い方法はありますか？

Answer 1

EnumToValueが必要です。

open FSharp.Core.LanguagePrimitives 

let doubler xEnum = 
     2 * EnumToValue(xEnum) 

type ColorEnum =  
      | Red=0 
      | Yellow=1 
      | Blue=2 

let blue = ColorEnum.Blue 

doubler blue 
//val it : int = 4 

そして、あなたはdoublerの型シグネチャを調べる場合：

ヴァル・ダブラー：xEnum： ' - > int型'：あなたの最初のエラーについて列挙

、 intは特別な意味を持ち、それも機能です。あなたが指摘するように、あなたが列挙型で基本となる型の制約を使用しますが、その場合にはタイプについて明確にするため、混乱はありませんすることができます

let double2 (x:'T when 'T:enum<int32>) = 
    2 * EnumToValue(x) 

残念ながら、あなたはまだintにキャストすることはできませんEnumToValueを使用しないでください。コンパイラの問題などが考えられます。おそらく、EnumToValueの内部がヒントを与えることができますか？