如何上传通用类型参数

Question

当我在这种情况下使用反射时，创建的类型可以是许多通用类型。

BaseStepHandler<BaseStepDataModel> activator = (BaseStepHandler<BaseStepDataModel>)Activator.CreateInstance(....); 

创建的实例可以是BaseStepDataModel的所有子元素。

BaseStepHandler<OneDataModel>
OR
BaseStepHandler<TwoDataModel>

OneDataModel和TwoDataModel被延伸BaseStepDataModel。

这是我得到的异常：

无法投类型的对象.... GlobalOnBoardingStepOneHandler为键入 '.... BaseStepHandler`1 [.... BaseStepDataModel]'。

这是声明，如果GlobalOnBoardingStepOneHandler。

public class GlobalOnBoardingStepOneHandler : BaseStepHandler<GlobalOnBoardingStepOneDataModel>{} 

Answer 1

你所得到的异常，因为从BaseStepHandler<GlobalOnBoardingStepOneDataModel>，不BaseStepHandler<BaseStepDataModel>GlobalOnBoardingStepOneHandler继承。这可能是.NET泛型最常见的错误。泛型对于类型参数不是协变的。

参见：

C#: cast to generic interface with base type

http://blogs.msdn.com/b/csharpfaq/archive/2010/02/16/covariance-and-contravariance-faq.aspx

http://blogs.msdn.com/b/ericlippert/archive/2007/10/16/covariance-and-contravariance-in-c-part-one.aspx

http://blogs.msdn.com/b/ericlippert/archive/2007/10/16/covariance-and-contravariance-in-c-part-two.aspx

http://blogs.msdn.com/b/ericlippert/archive/2007/10/17/covariance-and-contravariance-in-c-part-two-array-covariance.aspx

http://blogs.msdn.com/b/ericlippert/archive/2007/10/19/covariance-and-contravariance-in-c-part-three-member-group-conversion-variance.aspx

等等

的问题是，你假设，因为从BaseStepDataModelGlobalOnBoardingStepOneDataModel继承，从BaseStepHandler<BaseStepDataModel>GlobalOnBoardingStepOneHandler继承。事实并非如此，所以你不能从一个人投到另一个人。

作为一个例子，考虑以下因素：

var myListOfStrings = new List<String>(); 

// By your logic, this should compile (it doesn't): 
var myListOfObjects = ((List<Object>)myListOfStrings); 

// But if it did, this would be possible: 
myListOfObjects.Add(1); // Holy cow, I just added an integer to a list of strings! What is the world coming to? 

现在，这是恢复Java程序员，因为这是可能在Java中非常混乱。在Java中，你有类型擦除，所以在运行时，一个List<String>实际上只是一个List<Object>，所以你可以将它转换为任何你喜欢的东西，然后把你想要的任何东西放入它。由于CLR使用泛型具体化，而不是类型擦除，一个List<String>实际上是从List<Object>或List<Integer>

Answer 2

问题单独和不同类型这里是你希望 逆变 协方差的具体类型泛型参数。

基本上，你永远不会实现你的目标使用具体类型，但有一个解决方法。

你可以设计这样一个标记接口：

public interface IBaseStepHandler<out T> // "out" marks T as covariant 
    where T : BaseDataModel // Do you have a model base type? ;) 
{ 
    // Declare members here 
} 

如果我说：“在这里声明成员”，只是宣布该成员这是你的具体基础类的一部分（我说的是“BaseStepHandler” ）。

之后，在您的基类中实现此接口BaseStepHandler。现在

，你可以做你想做什么：

IBaseStepHandler<BaseDataModel> some = new WhateverBaseStepHandlerClass(); 

// This is possible because T generic parameter is covariant and it can be casted to `BaseDataModel`, or if you don't provide a `T` generic parameter constraint, you could cast it to `IBaseStepHandler<object>` too! 

为了了解更多关于协方差，请点击此链接：http://msdn.microsoft.com/en-us/library/ee207183.aspx