c# – 通用的奇怪行为

public static class Program
{
    public static void Main()
    {
        Type listClassType = typeof(List<int>).GetGenericTypeDefinition();
        Type listInterfaceType = listClassType.GetInterfaces()[0];

        Console.WriteLine(listClassType.GetGenericArguments()[0].DeclaringType);
        Console.WriteLine(listInterfaceType.GetGenericArguments()[0].DeclaringType);
    }
}

输出：

System.Collections.Generic.List`1[T]
System.Collections.Generic.List`1[T]

我发现第二个Console.WriteLine调用显示一个类而不是一个接口是非常奇怪的,因为我使用泛型类型定义.这是正确的行为吗？

我正在尝试在我的编译器中实现泛型类型推断.假设我有以下代码.

public static class GenericClass
{
    public static void GenericMethod<TMethodParam>(IList<TMethodParam> list) { }
}

我想将此方法称为如下：

GenericClass.GenericMethod(new List<int>());

为了检查推理的可能性,我必须比较方法签名中的类型和传递的参数类型.但是下面的代码返回false.

typeof(GenericClass).GetMethods()[0].GetParameters()[0].ParameterType == listInterfaceType;

我是否应该始终使用Type.GetGenericTypeDefinition进行此类比较？