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行的编译器错误TeeAsync在stringTask上调用，因为

以下方法或属性之间的调用是不明确的：＆＃39; FunctionalExtensions.TeeAsync＆lt; T＆gt;（T，Func＆lt; T，Task＆gt;）＆＃39;和＆＃39; FunctionalExtensions.TeeAsync＆lt; T＆gt;（任务＆lt; T＆gt;，Func＆lt; T，任务＆gt;）＆＃39;

从每个重载中删除第二个参数突然允许编译器区分第一个参数的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();

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

1 个答案: