为什么编译器选择通用方法而不是特定方法？

Question

我有这个服务接口。

public interface IService
{
    Task SetAsync(string key, string value, TimeSpan? expiration = null);
    Task SetAsync<T>(string applicationName, string key, T value, TimeSpan? expiration = null);
}

我想这样调用第一个方法。

service.SetAsync("Key", "Value", TimeSpan.FromMinutes(1));

方法调用与第一个方法的约定 100% 匹配。然而编译器通过假设TimeSpan 是我的泛型类型来选择第二种方法。

为什么会这样？

Answer 1

这遵循 ECMA C# 5 标准第 12.6.4.3 节中“更好的函数成员”的规则：

为了确定更好的函数成员，构造了一个精简的参数列表 A，其中仅包含参数表达式本身，按照它们在原始参数列表中出现的顺序。

每个候选函数成员的参数列表按以下方式构造：

• 如果函数成员仅适用于扩展形式，则使用扩展形式。
• 从参数列表中删除没有对应参数的可选参数
• 参数被重新排序，以便它们出现在参数列表中与相应参数相同的位置。

因此，在这一点上，我们正在有效地比较这两种方法：

Task SetAsync(string key, string value, TimeSpan? expiration);
Task SetAsync<T>(string applicationName, string key, T value);

（在泛型方法版本中，expiration参数没有对应的实参，所以从参数列表中移除。）

参数列表为"Key", "Value", TimeSpan.FromMinutes(1)，T推断为TimeSpan。

下一步：

给定一个带有一组参数表达式 { E1, E2, ..., EN } 的参数列表 A 和两个适用的函数成员 MP 和 MQ，参数类型为 { P1, P2, ..., PN } 和 { Q1 , Q2, ..., QN }, MP 被定义为比 MQ 更好的函数成员 if

• 对于每个参数，从 EX 到 QX 的隐式转换并不比从 EX 到 PX 的隐式转换好，并且
• 对于至少一个参数，从 EX 到 PX 的转换优于从 EX 到 QX 的转换。

对于前两个参数，没有区别 - 因为它们到处都是 string。

对于第三个参数，非泛型方法的转换是从TimeSpan到TimeSpan?，而泛型方法的转换是从TimeSpan到TimeSpan（因为T是TimeSpan） .

TimeSpan 到 TimeSpan 的身份转换比 TimeSpan 到 TimeSpan? 的隐式转换“更好”（根据 12.6.4.4 的规则），因此对于该参数，通用方法是“更好”......并且没有非泛型方法“更好”的参数，因此总体而言泛型方法更好。

如果在此阶段没有发现任何方法“更好”（例如，由于可选参数的参数类型为 TimeSpan 而不是 TimeSpan?），那么非泛型方法将被确定为在此阶段之后的抢七规则中“更好”。但是到那时，泛型方法已经被选中了。