用于声明抽象泛型类型变量的 C# 语法

Question

我有一个类定义如下；

public abstract class Repository<TEntity, TDataContext> : DisposableBaseClass
   where TEntity : class
   where TDataContext : DataContext, new()
{...contains Linq to SQL related functionality

在具体的子类中，我这样定义类型；

public class ConcreteRepo : Repository<LSTableClass, LSDataContext>

在下一层，我有将存储库对象保存为私有变量的业务对象。

这很好；

private ConcreteRepo _repository;

但是，然后我将其重构为所有业务对象的父类 - 该父类保存存储库/实现 Dispose 模式来处理存储库等。

我的问题是我无法获得正确的语法来声明变量。

我最接近的是；

protected Repository<Object, DataContext> _repository;

但这会出现编译错误：

“错误 1 ​​'System.Data.Linq.DataContext' 必须是具有公共无参数构造函数的非抽象类型，才能将其用作泛型类型或方法中的参数 'TDataContext' '....存储库'...”

我尝试过各种其他方法，但遇到了其他问题。

在继承这个抽象类的业务层对象中，我创建并使用 _repository 变量进行强制转换；

(Repository<LSTableClass, LSDataContext>)_repository = new ConcreteRepo();

• 我认为这会很好，假设我可以在父级中正确获得此声明。

如果我不能让它工作，我必须在每个业务对象中声明 _repository，并提供完整/具体的类型详细信息，并在每个业务对象中实现处置模式以进行清理。 不是世界末日，但我不想这样。

Answer 1

如果我正确理解您的问题，您需要添加第三个通用参数，即存储库类型，它被限制为具有适当参数类型的 Repository 的后代。

进一步概述一下：

public abstract class Repository<TEntity,TDataContext>
    where TEntity : class
    where TDataContext : DataContext, new() {}

public abstract class BusinessObject<TEntity,TDataContext,TRepository>
    where TEntity : class
    where TDataContext : DataContext, new()
    where TRepository : Repository<TEntity,TDataContext>
{
    TRepository _repository;
}

public class ConcreteObject : BusinessObject<LSTableClass,LSDataContext,ConcreteRepo>
{ // ...

我知道它可能没有你想要的那么紧凑，但是有效地减少这种情况但仍然保留强类型所需要的是高阶泛型类型（在 Haskell 中称为类型类）：一种指示的方式该类型参数本身是通用的，并且可以采用类型参数。

Answer 2

由于您对其施加的限制，您的声明

protected Repository<Object, DataContext> _repository;

不起作用：

...    
where TDataContext : DataContext, new()

特别是 new() 部分。

我猜您想“注入”一个满足您的通用接口的对象。

有两件事：

• 您无法在 Repository 和 Repository 之间进行转换。 。这称为逆变/协方差，直到 C# 4 才可用。在 C# 3 中，这是两种完全不同的类型。

• 如果要在类中存储泛型成员，则类型参数要么必须是具体类型，要么必须在父类声明中将它们声明为类型参数（使得

选项：

• 在父类上使用泛型类型参数。
• 从类声明中删除 new() 约束。