无法将派生类分配给其父通用接口

Question

我试图分配一个继承自派生类的类，但 C# 编译器不允许我这么做。

这是我想要实现的目标的示例设置。

using System;

namespace ConsoleApp

{

    interface IInterfaceA

    {

    }

    interface IInterfaceB

    {

    }

    class TypeA : IInterfaceA

    {

    }

    class TypeB : IInterfaceB

    {

    }

    interface IMapper<in TIn, out TOut>

        where TIn : IInterfaceA

        where TOut :IInterfaceB

    {

        TOut MapAToB(TIn input);

    }

    class AToBMapper : IMapper<TypeA, TypeB>

    {

        public TypeB MapAToB(TypeA input) => throw new NotImplementedException();

    }

    class Program

    {

        static void Main(string[] args)

        {

            IMapper<IInterfaceA, IInterfaceB> test = new AToBMapper();

        }

    }

}

一切正常，直到我到达以下行。

IMapper<IInterfaceA, IInterfaceB> test = new AToBMapper();

其中，C# 编译器失败并出现错误，告诉我

Cannot implicitly convert type 'ConsoleApp.AToBMapper' to 'ConsoleApp.IMapper<ConsoleApp.IInterfaceA, ConsoleApp.IInterfaceB>'. An explicit conversion exists (are you missing a cast?)

但是，我似乎无法理解为什么。接口的泛型参数IMapper分别标记为协变和逆变，myAtoBMapper继承自ITypeMapper.

这不应该是可能的吗，因为这TypeA是一个IInterfaceA并且TypeB是一个IInterfaceB ?

Answer 1

如果您要分配给 IMapper(TypeA,TypeB)，或者如果您将 AToBMapper 实现为 IMapper(IInterfaceA, IInterfaceB)，那么它工作得非常完美。您正在做的是在具体的类实现（TypeA、TypeB）上实现映射器，而不是在这些类的通用接口上实现。因此，您的实现可能会在接口允许的情况下使用更具体的定义来进行映射。使用您的实现，您可以执行诸如定义 TypeC 类、实现接口 IInterfaceA 之类的操作。此类将填充接口 IInterfaceA 并允许在 IMapper(IInterfaceA, IInterfaceB) 上使用。但实际的实现需要 TypeA 类，而不是 TypeC 类。

Answer 2

您AToBMapper需要具有特定 type 的输入TypeA，但您尝试将其转换为IMapper<IInterfaceA, IInterfaceB>，这将允许任何具有 type 的输入IInterfaceA。这是不可能的，因为其他具体类可以实现IInterfaceA，并且无法转换为TypeA。