在编译时解决错误的函数BUG？

Question

我正在使用Visual Studio 2012 Update 1和.NET 4.5这里是代码.

void Test(Action a) { }
void Test(Func<int> a) { }
void TestError()
{
    bool throwException = true;
    //Resolves to Test(Action a)
    Test(() =>
    {
    });
    //Resolves to Test(Action a)
    Test(() =>
    {
        if (throwException) throw new Exception();
    });
    //Resolves to Test(Func<int> a)
    //(This seems like a bug since there is no return value)
    Test(() =>
    {
        throw new Exception();
    });
    //Resolves to Test(Action a)
    //(With warning unreachable code detected)
    Test(() =>
    {
        throw new Exception();
        return; //unreachable code detected
    });
}

似乎最后一个函数调用错误地解析为Func而不是Action,它与无条件抛出异常有关.

这是一个BUG吗？谢谢.

Answer 1

嗯,我认为两者都是有效的候选人似乎是合理的.换句话说,我觉得() => { throw new Exception(); }将两者转换为Func<int>和Action.在这两种情况下,方法的结尾都是无法访问的 - 将它放入正常的命名方法是完全有效的,如下所示:

public int GoBang()
{
    throw new Exception();
}

然后写:

Func<int> foo = GoBang;

因此,从转换的lambda表达式都Func<int>和Action有效.我们现在需要选择使用哪种方法.这在规范7.5.3.2节(更好的函数成员)中指定,其中包括:

对于至少一个参数,从E _x到P _x的转换优于从E _x到Q _x的转换

在这一点上,第7.5.3.3节(从表达式转换得更好)开始:

如果下列中的至少一个成立,则C ₁是比C ₂ 更好的转换:

• [...]

• E是一个匿名函数,T ₁是委托类型D ₁或表达式树类型Expression <D ₁ >,T ₂是委托类型D ₂或表达式树类型表达式<D ₂ >,其中一个以下是:

  • [...]
  • D ₁和D ₂具有相同的参数列表,并且具有以下之一:
  • D ₁具有返回类型Y,并且D ₂返回空白.

所以这就是为什么Func<int>首选Action...编译器正在做正确的事情.