解析具有通用接口子类型的类型

Question

谁能告诉我为什么这个评估返回 false：

using System;
                    
public class Program
{
    public static void Main()
    {
        var a = new Type();
        Console.WriteLine(a is IType<ISubType>); //false
    }
}

public class Type : IType<SubType>
{
}
public interface IType<T>
{
}
    
public class SubType : ISubType
{
}
public interface ISubType
{
}

.NET 小提琴

Answer 1

假设SubType有其自己的独立于ISubType的行为。 由于Type与SubType有某种关系，它可以依赖SubType的这种独立行为。

例如，

public class SubType : ISubType
{
    public void Print()
    {
        System.Console.WriteLine("Hello!");
    }
}

var test1 = new List<SubType>
{
    new SubType()
};
test1.First().Print(); //OK

var test2 = new List<ISubType>
{
    new SubType()
};
test2.First().Print(); //Error CS1061: 'ISubType' does not contain a definition for 'Print' and no accessible extension method 'Print' …

Answer 2

@Jeroen Mostert 对这个问题有很好的评论。 继续该推理，如果您希望评估返回true 。 请像这样声明你的接口：

public interface IType<out T>
{

}

您可以使用ICollection<Animal>作为ICollection<Giraffe>从动物集合中获取长颈鹿

https://do.netfiddle.net/bnUG1S