如何对泛型Foo<T>执行逆变类型检查，让Foo<Car>被识别为Foo<IDrivable>？

可以实现针对泛型参数T的逆变类型检查，但要先解决默认泛型类的不变性限制——你的Foo<T>是不变泛型类，所以Foo<Car>和Foo<IDrivable>属于完全独立的类型，哪怕Car实现了IDrivable，也无法直接将Foo<Car>识别为Foo<IDrivable>。

重构方案（利用逆变泛型接口） #

核心思路是借助逆变泛型接口（只有接口和委托支持逆变/协变，类本身不能声明逆变），具体步骤如下：

1. 定义一个用in关键字标记的逆变接口IFoo<in T>，声明泛型参数T为逆变参数；
2. 让Foo<T>继承该接口；
3. 在类型检查时，判断实例是否属于IFoo<IDrivable>而非Foo<IDrivable>。

修改后的完整代码：

var newFoo = new Foo<Car>();
DoSomething(newFoo);

void DoSomething(Foo inputFoo)
{
    if (inputFoo is IFoo<IDrivable> f) 
        Console.WriteLine("It is a Foo<IDrivable>.");
    else 
        Console.WriteLine("Nope, not a Foo<IDrivable>.");
}

public abstract class Foo { }
public interface IFoo<in T> { } // 逆变接口，in标记T为逆变参数
public class Foo<T> : Foo, IFoo<T> { }
public interface IDrivable { }
public class Car : IDrivable { }

生效原因 #

in关键字标记的泛型参数支持逆变：当Car是IDrivable的子类型时，IFoo<Car>可以被隐式转换为IFoo<IDrivable>（逆变允许用更宽泛的类型替代具体类型）。由于Foo<Car>实现了IFoo<Car>，因此它能被识别为IFoo<IDrivable>，类型检查会返回true，输出预期内容。

备选方案（反射方式，不推荐） #

如果不想新增接口，也可以通过反射直接检查Foo<T>的泛型参数是否实现了IDrivable，但这种方式性能较差且代码不够优雅：

void DoSomething(Foo inputFoo)
{
    var type = inputFoo.GetType();
    if (type.IsGenericType && type.GetGenericTypeDefinition() == typeof(Foo<>))
    {
        var genericArg = type.GetGenericArguments()[0];
        if (typeof(IDrivable).IsAssignableFrom(genericArg))
        {
            Console.WriteLine("It is a Foo<IDrivable>.");
            return;
        }
    }
    Console.WriteLine("Nope, not a Foo<IDrivable>.");
}

内容的提问来源于stack exchange，提问作者NWoodsman