ジェネリック制限

Question

今まで、私はこの1つのようなクラスだった：

type C<'a when 'a :> A> (...) 

をしかし、今、私は新しいタイプB作成：

type B (...) = 
    inherit A() 

をしかし、私はサポートするために、CをしたくありませんB、これはコンパイルされません。

type C<'a when 'a :> A and not 'a :> B> (...) 

どうすればいいですか？

Answer 1

あなたはそうすることはできません。 BがAの場合、Cはそれを処理する必要があります。 CがBを処理できないことが妥当であれば、BはAから派生すべきではありません。そうでなければ、実質的にLiskov's Substitution Principle（または少なくとも同じものの変形）を破棄しています。

BがAから継承すると宣言すると、Aとして使用できると言われます。そうでない場合は、継承を使用しないでください。