實例化一個類型受限泛型類沒有子它

Question

背景

閱讀，當我遇到這個通用類，定義跌跌撞撞[如果你不感興趣的背景跳到問題]一天，這難倒我了一段時間：

public abstract class Entity<T> where T : Entity<T> 

我困惑的是如何T上Entity<T>本身可以是Entity<T>。這似乎是某種奇怪的遞歸約束。

我才明白，這個約束可以通過子類（這是當然的，什麼abstract要求很高之類的）來滿足：

public class Deriver : Entity<Deriver> 

這裏，類型T的保證下，爲類型Entity<T>因爲Deriver派生自Entity<Deriver>。

問題

總之，它使我懷疑，如果類是不是抽象的，我們可以直接instantitate呢？

因此，考慮

class Entity<T> where T : Entity<T> 

我們可以直接instantitate Entity<T>？

顯然，我們不能說：

Entity<SomeClass> e = new Entity<SomeClass>(); 

因爲SomeClass不滿足約束where T : Entity<T>。

忽略顯而易見的「你爲什麼想這麼做？」這基本上是一種確保在不使用abstract關鍵字之前就可以使用它的方法嗎？

Answer 1

該假設不正確。下面將編譯：

var e = new Entity<Deriver>();