4

我编写了管理表单的 ASP.NET 页面。它们基于以下基类。

public abstract class FormPageBase<TInterface, TModel> : Page, IKeywordProvider 
        where TModel:ActiveRecordBase<MasterForm>, TInterface, new()
        where TInterface:IMasterForm
    {
        public TInterface FormData { get; set; }                   
     }

这里有一个示例子类：

public partial class PersonalDataFormPage : FormPageBase<IPersonalDataForm, PersonalDataForm>, IHasFormData<IPersonalDataForm>, IHasContact
    {
    }

下面我在页面上有一个用户控件，我想从页面“使用”“FormData”，以便它可以读取/写入它。

然后，我有一个更“通用”的用户控件，我想在我的所有表单子类的基本接口上进行操作...... IMasterForm

但是当用户控件尝试投射 Page.FormData （试图将页面投射到IHasFormData<IMasterForm>它时告诉我该页面是IHasFormData<IFormSubclass>即使我对 IFormSubclass 说它也是 IMasterForm

无论如何，我可以从泛型子类转换为泛型超类，还是这个“协方差”和 C# 4.0 的东西？

public abstract class FormControlBase<T> : UserControl, IKeywordProvider
    where T:IMasterForm 
{

    protected T FormData { get; set; }

    protected override void OnLoad(EventArgs e)
    {
        base.OnLoad(e);

//This cast is failing when my common control's T does not exactly match
// the T of the Page.. even though the common controls TInterface is a base interface to the
//pages TInterface

        FormData = ((IHasFormData<T>) Page).FormData;

        if (!IsPostBack)
        {
            PopulateBaseListData();
            BindDataToControls();
        }
    }

    protected abstract void PopulateBaseListData();
    protected abstract void BindDataToControls();


    public abstract void SaveControlsToData();


    #region IKeywordProvider
    public List<IKeyword> GetKeywords(string categoryName)
    {
        if(!(Page is IKeywordProvider ))
            throw new InvalidOperationException("Page is not  IKeywordProvider");

        return ((IKeywordProvider) Page).GetKeywords(categoryName);
    }

    #endregion

}
4

3 回答 3

14

让我先看看我是否可以更简洁地重申这个复杂的问题。你有一个通用接口IHasFormData<T>。您有一个已知可以实现的对象IHasFormData<IFormSubclass>。您希望将其转换为IHasFormData<IMasterForm>. 你知道有一个从 IFormSubclass 到 IMasterForm 的引用转换。这失败了。

是的？

如果这是对问题的正确陈述，那么是的，这是接口协方差的问题。C# 3 不支持接口协方差。如果您可以向编译器证明协方差是安全的，C# 4 将会。

让我简要地为您描述一下为什么这可能不安全。假设您有具有明显子类关系的 Apple、Orange 和 Fruit 类。你有一个IList<Apple>你想投到的IList<Fruit>。这种协变转换在 C# 4 中是不合法的，并且因为不安全而不能合法。假设我们允许它。然后你可以这样做：

IList<Apple> apples = new List<Apple>();
IList<Fruit> fruits = apples;
fruits.Add(new Orange()); 
// We just put an orange into a list of apples!  
// And now the runtime crashes.

请注意，问题在于List<T>公开了一个将 T 作为参数的方法。为了让编译器允许在您的 interface 上进行协变转换IHasFormData<T>，您必须向编译器证明不会IHasFormData<T>公开任何将 T 作为参数的内容。您可以通过声明 interface 来做到这一点，这是IHasFormData<out T>一个助记符，意思是“T 只出现在输出位置”。然后编译器将验证您的声明是否正确，并开始允许协变转换。

有关 C# 4 中此功能的更多信息，请参阅我关于该功能设计的注释存档：

http://blogs.msdn.com/ericlippert/archive/tags/Covariance+and+Contravariance/default.aspx

于 2010-01-05T18:10:28.027 回答
1

我有一个与您的非常相似的基本页面，这就是我定义我的方式。

public abstract class ViewBasePage<TPresenter, TView> : Page, IView
        where TPresenter : Presenter<TView>
        where TView : IView
{
    protected TPresenter _presenter;

    public TPresenter Presenter
    {
        set
        {
            _presenter = value;
            _presenter.View = (TView) ((IView) this);
        }
}

我认为你需要像FormData = ((IHasFormData<T>) (IMasterForm )Page)).FormData;

于 2010-01-05T18:10:11.990 回答
1

C# 4.0 之前的版本要求所有转换为泛型类型以完全匹配类型参数。4.0 引入了协方差和反方差，但您尝试执行的演员表在早期版本中是不可能的。

于 2010-01-05T18:11:21.613 回答