如何正确声明相关泛型基类的未来子类类型的返回类型？

Question

有人试图用 C# 在 ASP.NET MVC 中实现抽象。

他们有一个基本实体控制器，它应该为其派生类（实体）完成大部分工作。在其中，他们有一个有问题的方法，该方法应该返回每个表的数据库上下文（他们没有使用任何数据库框架，如 EF）。方法如下：

protected abstract DbContext<EntityViewModel> CreateContext();

所以，假设他们有一个 Category 表，应该实现该方法：

protected override DbContext<EntityViewModel> CreateContext()
{
    return new CategoryDbContext();
}

但是 C# 说他们不能隐式转换它，等等......

这里是上下文类：

public abstract class DbContext<T>
{
    public abstract void Create(T entity);

    public abstract List<T> Read(ModifyData data);

    public abstract void Update(T entity);

    public abstract void Delete(T entity);
}

public class CategoryDbContext : DbContext<CategoryViewModel>
{
    public override void Create(CategoryViewModel entity)
    {
    }

    public override List<CategoryViewModel> Read(ModifyData data)
    {
    }

    public override void Update(CategoryViewModel entity)
    {
    }

    public override void Delete(CategoryViewModel entity)
    {
    }
}

此设计有什么问题？如何更改这些类才能正常工作？

Answer 1

将基本实体控制器类修改为如下所示：

public abstract class BaseEntityController<TDbContext, TEntityViewModel>
    where TDbContext : DbContext<TEntityViewModel>
    where TEntityViewModel : EntityViewModel
{
    protected abstract TDbContext CreateContext();
}

然后像这样子类化 BaseEntityController：

public class CategoryController : BaseEntityController<CategoryDbContext, CategoryViewModel>
{
    protected abstract TDbContext CreateContext();
}

然后像这样子类化 DbContext：

public class CategoryDbContext : DbContext<CategoryViewModel>
{
    public override void Create(CategoryViewModel entity)
    {
    }

    public override List<CategoryViewModel> Read(ModifyData data)
    {
    }

    public override void Update(CategoryViewModel entity)
    {
    }

    public override void Delete(CategoryViewModel entity)
    {
    }
}

通过将 DbContext 本身的子类形式的泛型类型参数添加到 BaseEntityController 类，我们能够返回该占位符而不是 DbContext 的基本泛型形式，从而避免强制转换问题并使代码具有更强的类型。

作为奖励，我们可以重构上面的代码，使用一些泛型嵌套类(parametric/generic namespace) technique 来干掉泛型类型参数声明本身。例如：

public abstract class Entity<TEntity, TDbContext, TViewModel>
    where TEntity : Entity<TEntity, TDbContext, TEntityViewModel>
    where TDbContext : Entity<TEntity, TDbContext, TEntityViewModel>.BaseDbContext, new()
    where TViewModel : Entity<TEntity, TDbContext, TEntityViewModel>.BaseViewModel
{
    public class EntityController
    {
        protected TDbContext CreateContext() { return new TDbContext(); }
    }

    public abstract class BaseDbContext
    {
        public abstract void Create(TViewModel entity);
        public abstract List<TViewModel> Read(ModifyData data);
        public abstract void Update(TViewModel entity);
        public abstract void Delete(TViewModel entity);
    }

    public abstract class BaseViewModel {}

}

然后子类（子命名空间？）通用命名空间及其成员如下：

public class Category : Entity<Category, Category.DbContext, Category.ViewModel>
{
    pubic class DbContext : BaseDbContext
    {
        public override void Create(CategoryViewModel entity)
        {
        }

        public override List<ViewModel> Read(ModifyData data)
        {
        }

        public override void Update(CategoryViewModel entity)
        {
        }

        public override void Delete(CategoryViewModel entity)
        {
        }
    }

    pubic class ViewModel : BaseViewModel
    {
    }
}

请注意，在没有其他要求的情况下，我们已经能够消除对 EntityController 的子类化的需要。但是如果我们需要对其进行子类化，我们可以将 EntityController 更改为 BaseEntityController，并且可以选择将其子类形式的泛型类型参数添加到实体“通用命名空间”中，以防我们需要在基础代码中使用或返回该未来子类类型。