F＃でコンパイル時型のキャスト演算子を定義する方法は？

Question

は考える：

let ab = ArgumentBlockSettingStore() 
let a = ab :> ISettingStore 

よう

let ab, a = ~~ArgumentBlockSettingStore() : _ * ISettingStore 

が可能となる(~~)プレフィックス演算子を定義する方法はありますか？

Answer 1

私は、あなたがコメントで言及したコンパイラの制限にぶつかっていると思います。~~演算子は完全に汎用的で安全な方法で書くことができません。つまり、引数が実装するインターフェイスにのみキャストできます。あなたはどの他の型にキャストします演算子を定義することができますが、それはあまり安全です：

let inline (~~) (a:^T) : ^T * ^R = a, (box a) :?> ^R 

let reader, (disposable:IDisposable) = ~~(new StreamReader("...")) 

は私が inlineを使用し、オペレータは非常に簡単ですので、それは通常の事業者と同じように動作します。 disposableの型名に Randomを使用してもコンパイルされますが、少し不幸です。