抽象实现接口上的 C# 协方差

Question

使用 C#/.NET 4.0，我希望以下场景是可能的：

interface IA<out TB> where TB : IB { }
interface IB { }

class A<TB> : IA<TB> where TB : IB { }
class B : IB { }


abstract class AbstractA<TB> : IA<TB> where TB : IB { }
class DerivedA<TB> : AbstractA<TB> where TB : IB { }

static void Main(string[] args) {
    var myAB = new A<B>();
    Debug.Assert(myAB is IA<B>); // fine
    Debug.Assert(myAB is IA<IB>); // fine

    var myDerivedAB = new DerivedA<B>();
    Debug.Assert(myDerivedAB is IA<IB>); // fine
    Debug.Assert(myDerivedAB is DerivedA<B>); // fine
    Debug.Assert(myDerivedAB is DerivedA<IB>); // NOT fine        
}

遗憾的是，最后一个测试失败了，尽管类型显然是兼容的。除了测试每个已知的 IB 实现之外，是否还有另一种方法来测试这一点？

class FirstB : IB { }
class SecondB : IB { }
Debug.Assert(myDerivedAB is DerivedA<FirstB> || myDerivedAB is DerivedA<SecondB>) 

Answer 1

尽管类型显然是兼容的

但它们不是；通过 out 实现的 C# 协变仅适用于接口和委托（引用类型，尽管这在这里很好）。它不适用于诸如 Derived 之类的类。

Answer 2

您可以使用 Type 对象的 GetGenericArguments 方法：

Type t = myDerivedAB.GetType();
if (t.IsGenericType)
{
    Type[] typeArguments = t.GetGenericArguments();
    Debug.Assert(typeArguments.Length > 0 && typeArguments[0] is IB);
}

通过此您可以获得 myDerivedAB 对象的 Generic 参数，并检查其类型或您需要的其他内容。