C# 泛型继承

Question

我有以下课程

public class AccountingBase<TItemType> where TItemType : AccountingItemBase

在我的 AccountingItemBase 中，我有以下属性：

public virtual AccountingBase<AccountingItemBase> Parent { get; set; }

在我的 AccountingBase 中，我正在尝试执行以下操作

item.Parent = this;

从逻辑上讲，这应该可以工作，因为 TItemType 继承自 AccountingItemBase，但我收到以下错误：

> Error 1 Cannot implicitly convert type
> 'TGS.MySQL.DataBaseObjects.AccountingBase<TItemType>'
> to
> 'TGS.MySQL.DataBaseObjects.AccountingBase<TGS.MySQL.DataBaseObjects.AccountingItemBase>'

如何将子属性的父属性设置为自身（在父类内部）

Answer 1

不，你的直觉是错误的。它不应该工作，因为泛型类在 .NET 中不是变体。

TItemType 继承自 AccountingItemBase 并不意味着 AccountingBase<TItemType> 继承自 AccountingBase<AccountingItemBase>。假设AccountingBase<TItemType> 有一个TItemType 类型的字段。那么如果你的直觉是正确的，你可以这样写：

AccountingBase<SomeSubtype> x = new AccountingBase<SomeSubtype>();
AccountingBase<AccountingItemBase> y = x;
y.SomeField = new OtherSubtype();

这显然会破坏类型安全，因为当被视为 AccountingBase<SomeSubtype> 时，该字段的类型应为 SomeSubtype，但您已将 OtherSubtype 类型的值放入其中！

基本上，通用方差是一个复杂的话题。

我建议您阅读 Eric Lippert 的长而详细的blog post series 以了解更多信息。或者我有一个来自NDC 2010 的视频，您可能会觉得它很有用。基本上在 .NET 4 中存在 一些 通用差异，但它是有限的。

现在，你可以在你的情况下做什么：

• 您可以创建一个 nongeneric 基类，AccountingBase 继承自该基类。这可能是最好的主意。然后将Parent 属性的类型设为非泛型类型。
• 您可以使 AccountingBase 在其自身及其父级中都具有通用性...但这最终会导致递归问题，实际上...

Answer 2

除了 Jon 的选择之外，您还可以：

• 创建一个接口IAccountingBase，仅提供AccountingItemBase 完成其工作所需的有限访问（类似于非泛型基类，但进一步抽象。）

• 重组您的代码，使 AccountingItemBase 不需要 Parent 引用来完成其工作。我的经验是循环依赖（Owner 知道 Items 知道 Owner）是 Child 实例承担太多责任的设计的症状。有时您可以通过将功能移至 Parent 或将其移至在单个 Parent 的上下文中对多个 Item 执行复杂操作的更高级别的类来解决此问题，从而无需每个 Item 具有 Parent 引用。例如，如果您的项目公开了与帐户对帐相关的函数，您可能有一个 AccountReconciler 类，而不是将这些函数放在项目上。