泛型、继承和强制转换

Question

我的问题与泛型类型中的转换类有关。虽然我意识到将List<string> 之类的对象转换为List<object> 需要支持协方差以防止将object 对象添加到包含字符串的列表中，但我想知道为什么编译器不接受像下面这样的转换以及它是否是使用接口和协变或逆变可解：

public class TypeA<T> {}

public class TypeB<T> {}

public class TypeC : TypeB<int> {}

class Program
{
    public static void MyMethod<OutputType>(TypeA<TypeB<OutputType>> Parameter) {}

    static void Main(string[] args)
    {
        TypeA<TypeC> Test = new TypeA<TypeC>();
        MyMethod<int>(Test);
    }
}

编译这个会报错：

Argument 1: cannot convert from 'ConsoleApplication1.TypeA<ConsoleApplication1.TypeC>' to 'ConsoleApplication1.TypeA<ConsoleApplication1.TypeB<int>>'.

尽管TypeC 是TypeB<int> 的直接后代

Answer 1

正如其他评论者所指出的，尽管TypeC 派生自TypeB<int>，但TypeA<TypeC> 派生自TypeA<TypeB<int>> 是不正确的。但是，您可能可以通过向MyMethod 添加一个额外的类型参数来使您的代码工作：

public static void MyMethod<DerivedB,OutputType>(TypeA<DerivedB> Parameter)
    where DerivedB : TypeB<OutputType> {}

Answer 2

我对你的问题感到很困惑，因为问题的前言表明你知道答案是什么。您不能将 List<string> 转换为 List<object>，因为这样您就可以将 Giraffe 添加到实际上是字符串列表的对象列表中，这不是类型安全的。

如果您将“TypeA”替换为“List”，将TypeB<int> 替换为“object”，将“TypeC”替换为“string”，那么您已经将您的情况转变为您已经知道出于充分理由而行不通的情况。并不是编译器神奇地知道一些关于 List 的事情，只是不允许 List 场景——而是编译器不允许任何这样的变化。

在 C# 4 中，我们在一些接口和委托类型上添加了变体，这些类型已知在变体下是类型安全的。这是一个“选择加入”模型——你必须向编译器证明你是安全的，然后我们才会让你使用方差。

Answer 3

好吧，既然 C# 4.0 支持接口与泛型的协变，下面的例子或许可以解决这个问题：

public interface ITypeA<out T> {}

public class TypeA<T> : ITypeA<T> {}

public class TypeB<T> {}

public class TypeC : TypeB<int> {}

class Program
{
    public static void MyMethod<OutputType>(ITypeA<TypeB<OutputType>> Parameter) {}

    static void Main(string[] args)
    {
        ITypeA<TypeC> Test = new TypeA<TypeC>();
        MyMethod<int>(Test);
    }
}

请注意，类型 T 只能用于 ITypeA 中方法的返回值。

Answer 4

又一个泛型协方差问题 - 请参阅我发布的答案 here。 TypeA 不会以任何方式继承 TypeA>

Answer 5

但是ConsoleApplication1.TypeA<ConsoleApplication1.TypeC> 不继承自ConsoleApplication1.TypeA<ConsoleApplication1.TypeB<int>>

Answer 6

假设我有一个 List 对象。然后我将它投射到列表中。 List 有一个名为“add”的方法，它接受一个 T 参数。我向其中添加了一个 Apple（因为我有一个列表）。 但是，在某些地方，我的代码仍然需要 List，所以 List 的一些成员实际上是苹果！！！

因此，即使 X 继承自 Y，也无法将 TypeA 强制转换为 TypeA。