c# - 有没有办法确定 C# 4.0 中接口(interface)/委托(delegate)的方差？

Question

现在我们在 C# 中的接口(interface)和委托(delegate)上有了泛型协变和逆变，我很好奇如果给定一个 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

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