C#泛型方法重载解析异常：为何List<T>未匹配IList<T>重载

这是个非常典型的C#泛型重载解析问题，核心在于编译器的重载匹配优先级规则。咱们先回顾你的代码和输出，再一步步拆解原因：

你的代码 #

class Program 
{ 
    static void Main() 
    { 
        Foo(new List<int>()); 
        Foo(10.3); 
        Foo((IList<int>)new List<int>()); 
    } 
    static void Foo<T>(IList<T> list) 
    { 
        Console.WriteLine("Foo'List: {0}", typeof(T)); 
    } 
    static void Foo<T>(T item) 
    { 
        Console.WriteLine("Foo'T: {0}", typeof(T)); 
    } 
}

执行结果 #

Foo'T: System.Collections.Generic.List`1[System.Int32]
Foo'T: System.Double
Foo'List: System.Int32

关键原因：重载解析的优先级顺序 #

C#编译器在选择重载方法时，会按照**匹配的“精确程度”**排序，优先级从高到低大致是：

• 精确匹配（不需要任何类型转换，直接匹配参数的实际类型）
• 隐式引用转换/隐式数值转换
• 装箱/拆箱转换
• 显式转换

针对第一个调用Foo(new List<int>())：

1. 对于Foo<T>(T item)重载：编译器可以直接推断T = List<int>，参数new List<int>()和T的类型完全一致，属于精确匹配，不需要任何转换。
2. 对于Foo<T>(IList<T> list)重载：虽然List<int>实现了IList<int>，但需要把List<int>隐式转换为IList<int>，这属于隐式引用转换，优先级低于精确匹配。

所以编译器会优先选择优先级更高的Foo<T>(T)重载，这就是你看到第一个输出对应这个重载的原因。

补充验证 #

第三个调用Foo((IList<int>)new List<int>())中，参数的类型已经是IList<int>，此时匹配Foo<T>(IList<T>)属于精确匹配（T = int），因此编译器会选择这个重载，输出Foo'List: System.Int32，这也反过来验证了优先级规则的合理性。

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