.NET6中动态参数调用重载方法时绑定泛型方法报错问题

问题场景 #

在.NET 6.0中定义如下代码：

var c = new C();
var stringParam = "normal string";
dynamic dynamicParam = stringParam;
c.M(stringParam);
c.M(dynamicParam);

public interface II { }

public class C
{
    public void M(string param, TimeSpan? dt = null) => Console.WriteLine("Not generic");
    public void M<T>(T param) where T : II => Console.WriteLine("Generic");
}

• 调用c.M(stringParam)时，正常匹配非泛型方法，输出Not generic。
• 调用c.M(dynamicParam)时，抛出运行时异常：

Microsoft.CSharp.RuntimeBinder.RuntimeBinderException: 'The type 'string' cannot be used as type parameter 'T' in the generic type or method 'C.M(T)'. There is no implicit reference conversion from 'string' to 'II'.'

核心疑惑 #

为什么动态调用时运行时不选择非泛型方法？毕竟调用时并未以泛型形式调用。另外两个实验结果也佐证了异常和可选参数、泛型方法的关联：

• 移除非泛型方法的可选参数（改为public void M(string param)），两种调用都能正常执行非泛型方法。
• 移除泛型方法后，两种调用也能正常执行非泛型方法。

原因分析 #

这个问题的核心是编译时静态方法解析和运行时动态方法解析的逻辑差异：

1. 编译时静态解析：对于c.M(stringParam)，编译器会自动填充可选参数的默认值null，相当于调用c.M(stringParam, null)。此时非泛型方法的第一个参数是string，和传入参数完全匹配，因此优先选中非泛型方法。
2. 运行时动态解析：动态绑定（由dynamic参数触发）不识别C#的可选参数语法——可选参数是编译时特性，CLR运行时元数据中，非泛型方法依然是接收两个参数的方法，仅标记第二个参数为可选。当用dynamic参数调用c.M(dynamicParam)时，只传递了一个参数，运行时会优先寻找仅需一个参数的方法作为候选：
   • 泛型方法M<T>(T param)正好是单参数方法，因此会被优先尝试绑定。
   • 运行时会将dynamic的实际类型string代入泛型参数T，检查是否满足约束T : II，但string并未实现II接口，因此抛出约束不满足的异常。
   • 而非泛型方法因为需要两个参数，在仅传递一个参数的动态调用中，不会被纳入候选匹配列表，自然不会被选中。

如果想让动态调用匹配非泛型方法，需要显式传递第二个参数（即使是默认值），比如c.M(dynamicParam, null)，此时运行时会匹配到非泛型方法。

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