泛型类型参数是实现接口的类

Question

假设我们有一个实现接口的类

class MyParaClass : IMyParaInterface

还有另一个名为MyObject的类，它使用通用T

class MyObject<T> where T: IMyParaInterface

现在我有一个接受此参数的方法

Print(MyObject<IMyParaInterface> parameter)

当我得到类型为MyObject<MyParaClass>的对象，并尝试将其传递给Print方法时，构建失败，因为它无法将MyObject<MyParaClass>转换为MyObject<IMyParaInterface>

我认为MyParaClass实现IMyParaInterface应该没有问题， MyParaClass解决或解决这个问题？

Answer 1

您应该将Print方法定义为模板方法：

void Print<T>(MyObject<T> parameter) where T : IMyParaInterface {}

这意味着该方法将采用任何MyObject <>实例，该实例的type参数实现您的IMyParaInterface接口。

原始Print（）代码的问题在于，它仅接受MyObject <IMyParaInterface>作为输入。 请注意，MyObject <MyParaClass>不是MyObject <IMyParaInterface>类型的实例。

还有另一种解决方案 ，您可以通过定义对象的接口来使用.net的协方差/逆方差功能，其中类型参数将被标记为协变（ out T）。

public interface IMyObject<out T> where T: IMyParaInterface {}

public class MyObject<T> : IMyObject<T> where T: IMyParaInterface {}


public static void Print(IMyObject<IMyParaInterface> parameter)  {}

在这种情况下，MyObject <MyParaClass>将与IMyObject <IMyParaInterface>类型兼容。

您可以在此处阅读有关协方差/逆方差的信息： https : //docs.microsoft.com/zh-cn/dotnet/standard/generics/covariance-and-contravariance