有没有办法在 C# 4.0 中确定接口/委托的方差？

Question

现在我们在 C# 中的接口和委托上有了通用协变和逆变，我只是好奇如果给定一个 Type，你可以计算出它的通用参数的协变/逆变。我开始尝试编写自己的实现，它会查看给定类型的所有方法，并查看返回类型和/或参数是否与泛型参数中的类型匹配。问题是，即使我有这个：

public interface IFoo<T>
{
   void DoSomething(T item);
}

使用我的逻辑，它看起来应该是逆变的，但是因为我们实际上并没有指定：

public interface IFoo<in T>
{
   void DoSomething(T item);
}

（in 参数）它实际上不是逆变的。这引出了我的问题：有没有办法确定泛型参数的方差？

Answer 1

我不知道你为什么想要这个，但是你可以从类型之外通过反射来查看它。以下是有关使用反射查看类型的通用参数的信息：

http://msdn.microsoft.com/en-us/library/b8ytshk6.aspx

具体来说，您从调用 Type.GetGenericParameters 返回的类型的属性 Type.GenericParameterAttributes 将显示泛型参数的 Co/Contravariance 属性...这是一个按位枚举，将显示此信息的组合：

http://msdn.microsoft.com/en-us/library/system.reflection.genericparameterattributes.aspx

真的很有趣...感谢您提出这个问题并让我查找它。