C++ Lambda 表达式递归写法

今天看到一篇博客介绍使用 Lambda 表达式递归计算 n!。使用了 C++14 的 generic lambda，给 Lambda 表达式加了一个模板参数，在函数调用的时候将 Lambda 表达式作为参数传递给下一层函数。这种方法每次调用函数的时候都要比常规的函数多传一个参数。我想起两年前也用 Lambda 表达式写过递归，利用了引用捕获和 std::function。以 n! 为例，代码为：

#include <iostream>
#include <functional>

int main()
{
    std::function<int(int)> f = [&f](int n) {
        if (n == 0 || n == 1) {
            return 1;
        }

        return n * f(n - 1);
    }

    std::cout << f(5) << std::endl;
}

这种写法避免了使用 auto f = [&f](int n) 。如果使用 auto 会造成 f 的类型推导不出来，因为 f 的类型依赖于后面的 Lambda 表达式，而编译器在编译 Lambda 表达式时无法确定 f 的类型。借助 std::function 就可以避免推导 f 的类型。这种写法看似奇特，其实是合法的，原理与 C 语言的 void *p = &p; 类似。