实例化一个类型受限泛型类没有子它

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>();