实例化类型约束的泛型类，而不对其进行子类化

Question

背景

[如果您对背景不感兴趣，请跳至问题 ]

我在前几天阅读时偶然发现了这个通用的类定义，它让我困扰了一段时间：

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

我很困惑T on Entity<T>如何成为Type Entity<T>本身。 这似乎是一种奇怪的递归约束。

然后我意识到这个约束可以通过子类化来满足（当然，这是abstract对类的要求）：

public class Deriver : Entity<Deriver>

这里，类型T保证是Entity<T>类型，因为Deriver派生自Entity<Deriver> 。

题

无论如何，它让我想知道，如果课程不抽象，我们可以直接进行即时表达吗？

所以给定

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

我们可以直接实现Entity<T>吗？

显然我们不能说：

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

因为SomeClass不满足where T : Entity<T>的约束。

忽略明显的“你为什么要那样做？” 这本质上是一种在不使用abstract关键字的情况下使用它之前确保类被省略的方法吗？

Answer 1

这个假设是不正确的。 以下将编译：

var e = new Entity<Deriver>();