用于声明抽象泛型类型变量的 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>

在下一层，我有业务对象将 Repository 对象保存为私有(private)变量。

这很好；

private ConcreteRepo _repository;

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

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

离我最近的是；

protected Repository<Object, DataContext> _repository;

但这给出了编译错误:

“错误 1 ​​'System.Data.Linq.DataContext' 必须是具有公共(public)无参数构造函数的非抽象类型，以便将其用作泛型类型或方法中的参数 'TDataContext' ... .Repository'...”

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

在继承这个抽象类的业务层对象中，我创建并使用带有强制转换的 _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 中称为类型类):一种指示类型参数的方法它们本身是通用的，并且可以采用类型参数。