C#重载方法调用顺序解析：为何泛型方法优先于非泛型方法？

代码示例 #

class Program {
  static void Main(string[] args) {
    var a = new A<char>();
    Use(a);
  }

  static void Use(IEnumerable<char> e) { 
    foreach (var _ in e) ;
    Console.WriteLine("Use(IEnumerable<char>)");
  }

  static void Use<T>(T e) where T : IEnumerable<char> { 
    foreach (var _ in e) ;
    Console.WriteLine("Use<T>(T) where T : IEnumerable<char>");
  }

  static void Use<T>(A<char> e) { 
    foreach (var _ in e) ;
    Console.WriteLine("Use<T>(A<char>)");
  }
}

class A<T> : IEnumerable<T> {
    // 实现IEnumerable<T>的成员
}

问题 #

调用Use(a)时，执行的是第二个泛型方法而非第一个非泛型方法，原因是什么？此类场景下C#的方法选择规则是怎样的？

原因分析 #

首先明确：第三个泛型方法Use<T>(A<char> e)因为类型参数T无法被编译器自动推断（参数列表里没有和T关联的输入），所以不在候选方法范围内，实际参与竞争的是前两个方法。

第二个泛型方法被选中的核心原因是它的参数匹配度更高：

• 调用Use(a)时，编译器会推断泛型方法Use<T>(T e)的类型参数T为A<char>，此时形参类型就是A<char>，和实参a的类型完全一致，属于精确匹配。
• 第一个非泛型方法的形参是IEnumerable<char>，需要将A<char>隐式转换为接口类型，属于隐式转换匹配。

在C#的重载解析规则中，精确匹配的优先级高于需要隐式转换的匹配，因此第二个泛型方法被选中。

C#方法选择（重载解析）核心规则 #

C#编译器会按以下步骤确定调用目标：

1. 筛选候选方法：先找出所有名称一致、参数数量相同，且实参可通过隐式转换（或精确匹配）传递给形参的方法；泛型方法必须能自动推断出所有未显式指定的类型参数。
2. 排除不适用方法：移除不满足泛型约束、或无法推断类型参数的方法（比如示例中的第三个方法）。
3. 选择最佳匹配：从候选方法中挑选“最具体”的，优先级规则包括：
   • 精确匹配的方法 > 需要隐式转换的方法；
   • 匹配派生类型的方法 > 匹配基类型/接口的方法；
   • 泛型方法的精确匹配（类型推断后完全匹配） > 需要转换的非泛型方法；
   • 若存在多个匹配程度相同的方法，编译器会抛出歧义错误，要求显式指定调用目标。

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