C#为什么这种类型推断的方法调用不明确？ [复制]

Question

以下函数对尝试复制 C# 6.0 中可用的空条件运算符：

public static TResult Bind<T, TResult>(this T obj, Func<T, TResult> func)
    where T : class
{
    return obj == null ? default(TResult) : func(obj);
}

public static TResult Bind<T, TResult>(this Nullable<T> obj, Func<T, TResult> func)
    where T : struct
{
    return obj.HasValue ? func(obj.Value) : default(TResult);
}

第一个函数仅限于类，对于 String s，我可以编写如下内容：

var x = s.Bind(a => a.Substring(1));

第二个功能是我遇到麻烦的地方。例如，给定一个int? number 我想写：

var y = number.Bind(a => a + 1);

但是，这给了我以下错误：

以下方法或属性之间的调用不明确：'BindingExtensions.Bind(T, Func)' 和 'BindingExtensions.Bind(T?, Func)'

我猜这与匿名函数的类型推断和方法重载解析之间的相互作用有关。如果我将 a 的类型指定为 int ，则它编译得很好。

var y = number.Bind((int a) => a + 1);

但是，这显然不太理想。谁能告诉我为什么编译器认为上述绑定调用是模棱两可的和/或提供解决此问题的方法？我知道我可以简单地将这两个函数命名为不同的名称，但这有什么好玩的呢？

Answer 1

重载函数不能通过类型约束来消除歧义（参见“Generic constraints, where T : struct and where T : class”）。任何可空类型 N 都满足 N : T 和 N : Nullable<T>，前者和后者分别要求 Bind 定义。我猜number 是Nullable<int> 或类似类型。

var x = s.Bind(a => a.Substring(1));

这是明确的，因为s 是string 类型，并且对于所有T 而不是string : Nullable<T>，所以只有第一个重载是可以接受的。

var y = number.Bind(a => a + 1);

这是不明确的，因为a => a + 1 的类型可能被推断为Func<int?,int?> 或Func<int,int>。如果推断为Func<int?,int?>，则应用第一个重载，如果推断为Func<int,int>，则应用第二个重载。

var y = number.Bind((int a) => a + 1);

例如，如果 number 的类型为 Nullable<int>，则这是明确的。对于所有T 而不是T : Nullable<int> 和T : int 的第一次重载，因此它不适用。对于第二个重载，您只需要T : int，T = int 很容易满足。

Answer 2

试试这个：

    public static TResult Bind<T, TResult>(this T? obj, Func<T?, TResult> func)
    where T : struct
    {
        return obj.HasValue ? func(obj.Value) : default(TResult);
    }