是＆amp;＆amp;足够的尾递归？

Question

.net编译器是否知道从以下代码生成尾递归？ （意思是它知道不应该进行回溯，因为&&？）

public bool DeleteLocation(Guid locationId)
{

    return ((_mLocationDal.Save(locationRes) != null) && 
             locationRes.ChildrenIds.Aggregate(true, 
                        (succeededSoFar, next) => succeededSoFar && 
                                                  DeleteLocation(next)));
}

Answer 1

The C# compiler doesn't emit tail calls at all AFAIK。 The JIT of the CLR may discover and apply tail calls however.

Answer 2

即使C＃编译器支持尾递归优化（它没有）它也不会在你的程序中检测到它，因为DeleteLocation不会直接调用自身。它使用调用DeleteLocation的仿函数，但这不足以优化递归尾调用。

在旁注中，All为您的Aggregate提供了一个更紧凑的替代品：

public bool DeleteLocation(Guid locationId) {
        return (_mLocationDal.Save(locationRes) != null) && 
            locationRes.ChildrenIds.All(next => DeleteLocation(next));
    }

Answer 3

布尔表达式被懒惰地评估;例如在A && B中，如果B为false，则永远不会评估A。这就是为什么if (thing != null && thing.DoSomething())这样的事情是安全的。

Answer 4

C＃编译器根本不支持尾递归，如果用“tail”表示调用带有CIL .tail前缀的方法，它不会在堆栈上留下一个帧。