需要帮助来理解这个 C# 泛型类

Question

我正在学习 Nhibernate 3.0。在示例代码示例之一中，它创建了一个抽象基实体类：

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

然后，使 Customer 实体继承自 Entity 基类：

public class Customer : Entity<Customer>

我知道它是一个抽象泛型类，并且它使用 where 关键字来确保类型 T 是 Entity，这就是我感到困惑的地方。

Customer 继承自“Entity”，此“Entity”将“Customer”作为T，但此Customer 不是“Entity”。

请帮助我理解这一点，我真的对这个通用类感到困惑。

Answer 1

你说

customer继承自“Entity”，这个“Entity”将“Customer”作为T，
但该客户不是“实体”

这没有任何意义，因为这就是继承的含义。它建立了一种“是”关系。所以实际上 Customer 是一个 Entity

抱歉，这是基于删除了泛型的代码，因为它不在代码块中。

但同样的原则仍然有效。这有点令人困惑，因为它看起来像是一个递归定义，但事实并非如此。

将其视为 Customer 继承自 Entity 恰好有一些方法或字段依赖于通用参数本身，例如 Customer。我不熟悉 NHibernate，所以我不知道 Entity的其余部分是什么样子，但我想它有一些方法使用它自己的类型作为通用参数。

举例来说，它有一个名为的方法

public IEnumerable<T> GetEntities() 

，该方法返回它自己的实例的列表。它需要该方法返回具体类型而不是基本类型。因此，在 Customer 类中，该方法将是

public IEnumerable<Customer> GetEntities<Customer>() 

如果它没有通用参数，它只能返回 IEnumerable

这只是一个示例可以使用，不知道实际使用起来如何。

Answer 2

当您考虑基“Entity”类尝试执行哪些操作时，它会更有意义。我也不熟悉 nhibernate，但我想其中一种方法可能类似于 Save() 方法。因此，您创建的从 Entity 类继承的任何类都将继承 Save() 方法，这样您就不必为创建的每个业务对象重写它。但是，基实体类必须知道您要保存的对象类型。它可以使用反射，但这里它使用泛型来允许您告诉它继承 Entity 的类是什么类型。

问题是，当 20 个不同的类继承自一个基类时，该基类实际上并不知道谁在使用其功能。这是一种让基类知道“客户”正在使用其方法的方法，以便它可以专门满足“客户”的需求。

Answer 3

where 子句指定要T 被替换的类型必须遵守的条件。因此，如果类型为 Customer（如第二行代码中的 Entity 所示），则条件为 Customer : Entity code> ... 即 Customer 必须是 Entity 的子类，否则会出现编译错误。事实上，在第二行代码中也是如此声明的。

将其应用到您所写的内容中：

此“Entity”将“Customer”作为 T

下面是我的说法：Entity 是 Entity< 的实例化/code> 用 Customer 替换 T。 T 只是某种类型的占位符；它是一个类型参数。

但该客户不是“Entity”

我们也可以用 SomeType 而不是 T 来编写抽象方法声明。条件是，为了实例化 Entity<SomeType>，SomeType 必须是 <代码>Entity<SomeType>。将 Customer 替换为 SomeType，这表示 Customer 必须是 Entity 的子类，并且它是。

如果您了解 T 只是一个参数，并且在 Entity的情况下用 Customer 代替它< /code>，那么我不明白为什么你说“这个客户不是“Entity””，因为 Customer : Entity 声明了它到就是这样（在 Entity 定义中每次出现时用 Customer 替换 T）。

Answer 4

显示如何使用此类继承的示例：

class Creatable<T> where T:Creatable<T>, new()
{
 pulibc static T Create()
 {
   T t = new T(); // we know to call new due new() constraint
   t.FinishCreation(); // we know that T implements this method due Creatable<T> constraint
   return t;
 }
 public void SomeOtherUsefulsOperation(){};
 protected virtual void FinishCreation(){};
}

class Child:Creatable<Child>
{
 public Child(){};
 protected override void FinishCreation(){/*do something special for this type */};}
}

// somewhere else
void DoSomething<T>() where T:Creatable<T>
{ 
 T item = Creatable<T>.Create();
 item.SomeOtherUsefulOperation();
}