C#：使用 Lambda 的递归函数

Question

以下不编译：

Func<int, int> fac = n => (n <= 1) ? 1 : n * fac(n - 1);

局部变量 'fac' 可能不是 访问前初始化

如何使用 lambdas 创建递归函数？

[更新]

这里还有两个我觉得有趣的链接：

1. Eric Lippert's "Why does a recursive lambda cause a definite assignment error?"
2. Anonymous Recursion in C#

Answer 1

C# 不支持这种特殊风格的函数作为单行声明。您必须将声明和定义分成两行

Func<int, int> fac = null;
fac = n => (n <= 1) ? 1 : n * fac(n - 1);

Answer 2

天哪，如果您刚刚输入“为什么递归 lambda 会导致明确的赋值错误？”进入一些搜索引擎，你会在我关于这个主题的文章中找到答案。

:-)

http://blogs.msdn.com/ericlippert/archive/2006/08/18/why-does-a-recursive-lambda-cause-a-definite-assignment-error.aspx

Answer 3

您必须先创建fac，然后再分配它（这很不实用，因为它依赖于多个分配）或使用所谓的Y-combinators。

例子：

delegate Func<TIn, TOut> FixedPointFunction<TIn, TOut>(Func<TIn, TOut> f);

static Func<T, TRes> Fix<T, TRes>(FixedPointFunction<T, TRes> f) {
    return f(x => Fix(f)(x));
}

static void Main(string[] args) {

    var fact = Fix<int, int>(f => x => (x <= 1) ? x : x * f(x - 1));

    Console.WriteLine(fact(5));            
}

但请注意，这可能有点难以阅读/理解。

Answer 4

从 c# 7.0 开始，您终于可以在一行中使用local function

int fac(int n) => (n <= 1) ? 1 : n * fac(n - 1);