使用泛型类型参数时不明确的方法重载

Question

考虑以下程序：

using System;
using System.Threading.Tasks;

public class Program
{
    public static void Main()
    {
        var stringTask = Task.FromResult("sample");
        stringTask.TeeAsync(st => Task.CompletedTask).Wait();
    }
}

public static class FunctionalExtensions
{
    public static async Task<T> TeeAsync<T>(this T source, Func<T, Task> asyncAction)
    {       
        await Task.Delay(0); // todo: do something with source

        return source;
    }

    public static async Task<T> TeeAsync<T>(this Task<T> asyncSource, Func<T, Task> asyncAction)
    {
        var source = await asyncSource;

        await Task.Delay(0); // todo: do something with source

        return source;
    }
}

第 9 行出现编译器错误，其中在 stringTask 上调用了 TeeAsync，因为

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

从每个重载中删除第二个参数突然允许编译器区分Task<T> 和T 第一个参数。但是为什么第二个参数——两个重载之间相同——导致编译器感到困惑呢？

Answer 1

第二个参数不相同。它们都是Func<T, Task>，但T 在每种情况下都不同。

第一个重载有this T source。这意味着当你这样做时

Task<string> stringTask = Task.FromResult("sample");
stringTask.TeeAsync(...)

对于第一次重载，T 是 Task<string>。

第二个有this Task<T> asyncSource。所以在上述情况下，第二次重载T 是string。

因为您没有在此处指定st 的类型：

stringTask.TeeAsync(st => Task.CompletedTask).Wait();

st 可以是Task<string>（第一次过载）或string（第二次）。编译器无法知道您的意思。如果你这样做：

stringTask.TeeAsync((string st) => Task.CompletedTask).Wait();

它会正确选择第二个。如果你这样做了

stringTask.TeeAsync((Task<string> st) => Task.CompletedTask).Wait();

它会先选择。

有趣的是，如果您实际使用st 的方式允许编译器推断它是string 还是Task<string> - 它会这样做。例如这将编译并选择第二个重载：

// we don't specify st type, but using Length property
// which only exists on string
stringTask.TeeAsync(st => Task.FromResult(st.Length)).Wait();

这会先编译并选择：

// we don't specify st type, but using Result property
// which only exists on Task<string>
stringTask.TeeAsync(st => Task.FromResult(st.Result)).Wait();

但如果你使用两者都存在的东西，它会再次（正确地）无法选择重载：

// ToString() exists on both string and Task<string>
// so doesn't help compiler to choose
stringTask.TeeAsync(st => Task.FromResult(st.ToString())).Wait();