C# 什么时候得到 Action<..> 参数的这种“类似 SFINAE”的重载解析，它叫什么？

Question

考虑以下代码，其中 C# 可以根据提供的隐式类型 Action 消除重载的歧义，其中 T 是基于 [互斥] 类型派生的 -动作代码的有效性。

我很惊喜，意识到我已经“不假思索地依赖这种方便的行为”有一段时间了，尽管它要求编译器检查 Action 中的代码以及有效的目标站点类型。通常，类型必须在在目标表达式中使用之前解析。

这种行为是什么时候引入的？这种类型推断的正确名称是什么？有哪些限制和已知的极端情况？哪些文档链接（或规范中的部分）涵盖了该行为？

static void WithAction(Action<string> s) {
    Console.WriteLine("string action");
    s("string");
}

static void WithAction(Action<int> i) {
    Console.WriteLine("int action");
    i(1);
}

void Main()
{
    // Compiler has to INFER that this is an Action<string>
    // where the target type must be in {Action<string>, Action<int>}
    // (int does not have a Length property)
    WithAction(s => Console.WriteLine(s.Length == 1));

    // Ditto, except compiler infers Action<int>.
    // (there is no string == int operator overload)
    WithAction(i => Console.WriteLine(i == 1));

    // compiler error
    // CS0121 The call is ambiguous between the following methods or properties:
    // 'UserQuery.WithAction(Action<string>)' and 'UserQuery.WithAction(Action<int>)'
    // (there is both int == int and string == string!)
    // WithAction(z => Console.WriteLine(z == z));
}

代码在 LINQPad 5 中运行并产生以下输出：

string action
False
int action
True

Answer 1

C# 规范在 Anonymous Function Conversions 中对此进行了介绍。

匿名函数包括旧 delegate (...) { ... } 语法的 lambda 表达式。

在该部分中，它说匿名函数 F 可以转换为委托类型 D 提供：

如果F 的主体是一个表达式，并且D 具有void 返回类型或F 是async 并且D 具有返回类型Task，那么当每个参数的F 被赋予D 中相应参数的类型，F 的主体是一个有效的表达式 (wrt Expressions)，可以作为 statement_expression。

本质上，关键是转换仅在“F 的主体是有效的（语句）表达式”时才有效。如果s 是int，Console.WriteLine(s.Length == 1) 不是有效的语句表达式，所以没有转换。

当编译器在重载解析期间考虑适用的函数成员时，根本不考虑采用Action<int> 的重载，因为没有（隐式）转换为Action<int>。

从这适用于所有匿名函数的事实来看，此功能可能并不新鲜。它可能与delegate (...) { ... } 一样古老。