将通用模型的子类传递给剃刀视图

Question

大局：

我发现了 Razor 的一个限制，我无法想出一个好的解决方法。

玩家：

假设我有一个这样的模型：

public abstract class BaseFooModel<T>
    where T : BaseBarType
{
    public abstract string Title { get; } // ACCESSED BY VIEW
    public abstract Table<T> BuildTable();

    protected Table<T> _Table;
    public Table<T> Table // ACCESSED BY VIEW
    {
        get
        {
            if (_Table == null)
            {
                _Table = BuildTable();
            }
            return _Table;
        }
    }
}

还有一个像这样的子类：

public class MyFooModel : BaseFooModel<MyBarType>
{
    // ...
}

public class MyBarType : BaseBarType
{
    // ...
}

我希望能够将MyFooModel 传递到这样定义的剃刀视图中：

// FooView.cshtml
@model BaseFooModel<BaseBarType>

但是，这行不通。我收到一个运行时错误，说FooView 期望BaseFooModel<BaseBarType> 但得到MyFooModel。回想一下 MyFooModel 继承自 BaseFooModel<MyBarType> 和 MyBarType 继承自 BaseBarType。

我尝试过的：

我在非剃须刀的土地上尝试过这个，看看是否同样如此，确实如此。我必须在视图中使用模板参数才能使其工作。这是非剃刀观点：

public class FooView<T>
    where T : BaseBarType
{
    BaseFooModel<T> Model;
    public FooView(BaseFooModel<T> model)
    {
        Model = model;
    }
}

使用该结构，以下确实有效：

new FooView<MyBarType>(new MyFooModel());

我的问题：

我怎样才能用 Razor 做到这一点？我怎样才能像使用 FooView 一样传递一个类型？
我不能，但是有没有办法解决？我能以某种方式实现相同的架构吗？

如果我能提供更多信息，请告诉我。我正在使用 .NET 4 和 MVC 3。

---

编辑：
现在，我只是为BaseFooModel<BaseBarType> 的每个子类添加一个剃刀视图。我对此并不感到兴奋，因为我不想每次添加新模型时都必须创建新视图。

另一种选择是利用我 能够在没有剃刀的常规 c# 类中使其正常工作这一事实。我可以让我的剃刀视图@inherits c# 视图，然后调用一些渲染方法。我不喜欢这个选项，因为我不喜欢有两种呈现 html 的方式。

还有其他想法吗？我知道当我用Foo 和Bar 给出类名时很难理解问题的背景，但我不能提供太多信息，因为它有点敏感。对此我深表歉意。

---

到目前为止我所拥有的，使用本杰明的回答：

public interface IFooModel<out T> 
    where T : BaseBarModel
{
    string Title { get; }
    Table<T> Table { get; } // this causes an error:
                            // Invalid variance: The type parameter 'T' must be 
                            // invariantly valid on IFooModel<T>.Table. 
                            // 'T' is covariant.
}

public abstract class BaseFooModel<T> : IFooModel<T>
    where T : BaseBarModel
{
    // ...
}

结果如何：

public interface IFooModel<out T> 
    where T : BaseBarModel
{
    string Title { get; }
    BaseModule Table { get; } // Table<T> inherits from BaseModule
                              // And I only need methods from BaseModule
                              // in my view. 
}

public abstract class BaseFooModel<T> : IFooModel<T>
    where T : BaseBarModel
{
    // ...
}

Answer 1

你需要在你的类层次结构中引入一个带有covariant泛型类型参数的接口：

public interface IFooModel<out T> where T : BaseBarType
{
}

并从上述接口派生您的 BaseFooModel。

public abstract class BaseFooModel<T> : IFooModel<T> where T : BaseBarType
{
}

在您的控制器中：

[HttpGet]
public ActionResult Index()
{
    return View(new MyFooModel());
}

最后，将视图的模型参数更新为：

@model IFooModel<BaseBarType>

Answer 2

在 ASP.NET MVC 2 和 MVC 3 之间故意更改了使用基于接口的模型。

You can see here

MVC 团队：

我们不鼓励使用基于接口的模型（考虑到错误修复带来的限制，我们也无法实际支持）。切换到抽象基类可以解决这个问题。

“斯科特·汉塞尔曼”

Answer 3

您遇到的问题不是 Razor 错误，而是 C# 错误。尝试用类来做到这一点，你会得到同样的错误。这是因为模型不是BaseFooModel<BaseBarType>，而是BaseFooModel<MyFooModel>，两者之间不能发生隐式转换。通常，在程序中您必须进行转换才能做到这一点。

但是，在 .NET 4 中，引入了 contravariance and covariance，这听起来像是您正在寻找的功能。这只是 .NET 4 的一项功能，老实说，我不知道 .NET 4 中的 Razor 是否使用它。