为什么在没有返回值的 lambda 中添加 throw 会被推断为 Func<T> 而不是 Action？ [复制]

Question

我遇到了一个问题，即我正在编写的库的某些测试代码由于调用不明确而无法编译，但我的用法似乎很清楚。经过进一步调查，我发现在没有返回值的 lambda 中添加throw 似乎被推断为任何T 的Func<T>，而不是我所期望的Action。

下面的人为示例（可以粘贴到 .NET Fiddle）

using System;

public class Program
{
    class Foo
    {

        public void Method(Action action)
        {
            Console.WriteLine("Method A: " + action.GetType());
        }

        public void Method(Func<int> func)
        {
            Console.WriteLine("Method B: " + func.GetType());
        }

        /* // second call to Method becomes ambiguous if this is commented out.
        public void Method(Func<bool> func)
        {
            Console.WriteLine(func.GetType());
        }
        */

    }

    public static void Main()
    {
        var foo = new Foo();
        foo.Method(() => { });
        foo.Method(() => { throw new Exception("Foo!"); });
    }
}

这会导致

Method A: System.Action
Method B: System.Func`1[System.Int32]

也许它假设Func<object> 因为通过抛出它不能推断任何返回类型......但为什么不能呢？为什么它会推断并调用具体的Func<int>？

---

此外，如果我尝试像这样创建隐式 Func<string>：

foo.Method(() => 
{ 
    if (false) 
    { 
        throw new Exception("Foo!");
    }
    return "foo";
});

我得到了三个我以前没有遇到过的单独的编译错误：

Compilation error (line 38, col 16): Cannot implicitly convert type 'string' to 'int'
Compilation error (line 38, col 16): Cannot convert lambda expression to intended delegate type because some of the return types in the block are not implicitly convertible to the delegate return type
Compilation error (line 38, col 9): Anonymous function converted to a void returning delegate cannot return a value

在上面的人为示例中研究这些仍然没有多大意义，因为这些错误有点自相矛盾。如果编译器可以确定它正在返回 string 并且无法转换为 int，那么为什么它会对不同的返回类型或返回值的 void 委托感到不安呢？

谁能解释为什么编译器似乎无法理解我的意图？这是 C# 限制还是我没有看到歧义？

Answer 1

有些情况你没有考虑。 它们是：

• Action 不返回值或者它可以返回一个值 被忽略(MSDN)
• Func<T> 封装了一个没有参数的方法，返回一个 值(MSDN)

引用案例，如下代码

var foo = new Foo();
foo.Method(() => { });
foo.Method(() => { throw new Exception("Foo!"); }); 

在第二个匿名方法调用中，因为它只抛出异常，Compiler 认为它是一个只返回异常的方法，候选 Func<TResult> 传递调用，因为Func<TResult> 返回一个值。为了确认我在下面测试：

foo.Method(() => { if (DateTime.Now <= DateTime.UtcNow) { throw new Exception(); } else {} });

上面的Action是候选人，if(DateTime.Now<=DateTime.UtcNow)可能是true或false，并且匿名方法不仅返回异常。不过，在接下来的测试中

foo.Method(() => { if (true) { throw new Exception(); } else {} });

Func<TResult> 是现在到期的候选人它只返回异常

让我们修复其他异常：

Compilation error (line 38, col 16): Cannot implicitly convert type 'string' to 'int'
Compilation error (line 38, col 16): Cannot convert lambda expression to intended delegate type because some of the return types in the block are not implicitly convertible to the delegate return type
Compilation error (line 38, col 9): Anonymous function converted to a void returning delegate cannot return a value 

以上异常是因为bad output types。在测试中，您调用了以下匿名方法，该方法返回 string，但它应该返回 int，因为您的 func<int> 返回 int

foo.Method(() => 
{ 
    if (false) 
    { 
        throw new Exception("Foo!");
    }
    return "foo";
});

为避免异常，您应该返回 int

foo.Method(() => 
{ 
    if (false) 
    { 
        throw new Exception("Foo!");
    }
    return 1;
});

参考文献

• Overload Resolution
• 15.12.2.5. Choosing the Most Specific Method