请考虑以下Reactive Extensions代码片段(忽略其实用性):

return Observable.Create<string>(async observable =>
{
    while (true)
    {
    }
});

这不能与Reactive Extensions 2.2.5(使用NuGet Rx-Main软件包)一起编译。它失败并显示:



但是,在while循环中的任何地方添加break可以解决编译错误:
return Observable.Create<string>(async observable =>
{
    while (true)
    {
        break;
    }
});

根本不需要响应式扩展,就可以重现该问题(如果您想尝试使用它而不用Rx则更容易):
class Program
{
    static void Main(string[] args)
    {
        Observable.Create<string>(async blah =>
        {
            while (true)
            {
                Console.WriteLine("foo.");
                break; //Remove this and the compiler will break
            }
        });
    }
}

public class Observable
{
    public static IObservable<TResult> Create<TResult>(Func<IObserver<TResult>, Task> subscribeAsync)
    {
        throw new Exception("Impl not important.");
    }

    public static IObservable<TResult> Create<TResult>(Func<IObserver<TResult>, Task<Action>> subscribeAsync)
    {
        throw new Exception("Impl not important.");
    }
}

public interface IObserver<T>
{
}

忽略它的Reactive Extensions部分,为什么添加break可以帮助C#编译器解决歧义?如何用C#规范中的重载解析规则对此进行描述?

我正在使用针对4.5.1的Visual Studio 2013 Update 2。

最佳答案

只需在此处拉出async和lambda即可,因为它着重说明了发生的事情。这两种方法均有效,并且可以编译:

public static void Foo()
{
    while (true) { }
}
public static Action Foo()
{
    while (true) { }
}

但是,对于以下两种方法:
public static void Foo()
{
    while (true) { break; }
}
public static Action Foo()
{
    while (true) { break; }
}

第一个编译,第二个不编译。它具有不返回有效值的代码路径。

实际上,while(true){}(以及throw new Exception();)是一个有趣的语句,因为它是具有任何返回类型的方法的有效主体。

由于无限循环是两个过载的合适候选者,并且两个过载都不是“更好的”,因此会导致歧义错误。非无限循环实现在过载解析中只有一个合适的候选者,因此可以进行编译。

当然,要使async重新发挥作用,实际上在这里是一种相关的方法。对于async方法,它们总是返回某些内容,无论是Task还是Task<T>。当存在可以匹配其中一个的lambda时,用于过载解析的“更好”算法将首选返回值大于void委托(delegate)的委托(delegate),但是在您的情况下,两个过载都具有返回值的委托(delegate),对于async方法返回的事实Task而不是Task<T>是不返回值的概念等效项,并未纳入该优化算法中。因此,即使两个重载都适用,非异步等效项也不会导致歧义错误。

当然,值得注意的是,编写程序以确定任意代码块是否将完成是一个著名的无法解决的问题,但是,尽管编译器无法正确评估每个代码段是否将完成,但在某些简单情况下,它可以证明就这一点而言,该代码实际上永远不会完成。因此,有一些方法可以(对您和我来说)永远不会完成代码,但是编译器会视其为可能完成的代码。

关于c# - 在while循环中添加中断如何解决过载歧义?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/25898541/

10-13 05:16