C#什么时候获得这种“类似SFINAE”的重载操作解决方案<..>参数,它叫什么?

考虑以下代码,其中C#可以根据 隐式类型的操作<T> 这是提供的,其中T是基于 论行为代码的[互斥]类型有效性 。

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

这种行为是何时引入的?此类型推断的正确名称是什么?有哪些限制和已知的边缘情况?哪些文档链接(或规范中的部分)涵盖了该行为?

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