使用动态参数调用泛型扩展方法时，C# 编译器因误导性错误而失败

Question

在阅读 Jon Skeet 的书 C# In Depth 4th Edition 时，我正在对与扩展方法相关的动态绑定(bind)限制进行一些测试。正如 Jon 在该章中所说，.NET 中的扩展方法不支持动态绑定(bind)，因此编译器通过引发适当的错误 CS1973 来阻止我们将动态值作为参数传递。所以对于下面的代码:

//Provided this extension method
public static int GetFoo(this List<int> target, int value) => value * 10;

//And the following code at the call site
dynamic d = 1;
var items = new List<int> { 1, 2, 3 };
var result = items.GetFoo(d); //Error CS1973 as expected because
                              //we passed a dynamic argument

错误信息很简单:

List<int> has no applicable method named GetFoo but appears to have an extension method by that name. Extension methods cannot be dynamically dispatched. Consider casting the dynamic arguments or calling the extension method without the extension method syntax.

到现在为止都没有惊喜。 但是如果我们稍微更改扩展方法使其通用以接受 List<T>而不是 List<int> ，编译器现在引发一个不同的错误 CS1929。

//The generic version of 'GetFoo' seen above
public static int GetFooGeneric<T>(this List<T> target, int value) => value * 10;

//Unexpectedly, the following call raises error CS1929 (instead of CS1973)
var result = items.GetFooGeneric(d);

在我看来，错误信息既具有误导性又毫无意义:

List<int> does not contain a definition for GetFooGeneric and the best extension method overload Extensions.GetFooGeneric<T>(List<T>, int) requires a receiver of type List<T>.

误导是因为它隐藏了不支持扩展方法的动态绑定(bind)，并且拥有List<T>类型的实例没有意义作为调用扩展方法的接收者。

有谁知道幕后发生了什么导致编译器引发这个误导性错误消息？

---

PS:附带说明一下，如果我们为同一泛型方法提供类型参数，编译器会按预期再次引发相应的错误 CS1973。

//By helping the compiler explicitly, it raises CS1973 appropriately
var result = items.GetFooGeneric<int>(d);

Answer 1

哎呀。那真的很糟糕!我不记得那是不是我的错，但你绝对是对的，这是一条可怕的错误消息。

它可能是我们放入分析器的一些启发式的结果，以处理您实际在编辑器中键入代码的情况，我们需要对不完整或错误的调用进行类型推断到扩展方法以获得正确的 IntelliSense；也许这与动态论证的相互作用很差？但我需要实际查看代码以刷新我的内存。

如果我今天晚些时候有时间，我会查看 Roslyn 源代码，看看我是否认识这个代码路径。

我知道这并不能很好地回答您的问题，但至少从 2012 年开始我就没有通过该代码路径进行调试，因此我对这些设计选择的记忆已不再像以前那样。 :)