F＃中的通用限制

Question

到目前為止，我上過這樣的一堂課：

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的“代換原則” （或至少是該原則的一個變體）。

當您聲明B繼承自A時，就是說它可以用作A。如果不是這樣，則不應使用繼承。