C++中能否通过嵌套函数实现函数闭包？附代码示例

首先明确一点：C++标准并不支持嵌套函数——也就是你代码里在f1内部定义f2的写法，是不符合C++标准的。虽然像GNU GCC这样的编译器有私有的扩展支持嵌套函数，但这不是跨编译器的标准特性，换个编译器（比如MSVC）就会直接报错，所以完全不推荐依赖这种写法。

再看你原代码里的问题：你原本想让f1返回一个能访问外部变量x的函数，但嵌套函数的写法本身就不合法，而且你尝试用std::function的部分也有语法错误（比如auto fptr = std::function<double(double)> = &f2();这行，不仅赋值语法错误，取函数地址的写法也不对）。更关键的是，就算编译器支持嵌套函数，返回这个内部函数指针也会有生命周期问题——f1执行完毕后，局部变量x会被销毁，后续调用这个函数指针会触发未定义行为。

那正确实现闭包的方式是什么？用Lambda表达式！Lambda可以捕获外部作用域的变量（值捕获或引用捕获），完美契合闭包的需求。

用Lambda实现你的需求示例 #

比如你想实现一个函数，返回另一个能计算x*y的函数，其中x是外层函数的变量，代码可以这么写：

#include<iostream>
#include <functional>

// 让f1返回一个函数包装器，类型是接收double返回double的函数
std::function<double(double)> f1(double x) {
    // 值捕获x，返回的lambda就是一个闭包，它会保存x的副本
    return [x](double y) {
        return x * y;
    };
}

int main() {
    double x = 10.0, y = 11.0;
    // 调用f1得到闭包foo，此时foo已经捕获了x=10.0的值
    auto foo = f1(x);
    // 调用闭包，传入y=11.0计算乘积
    double res = foo(y);
    std::cout << res << std::endl; // 输出110.0
    return 0;
}

关键点补充 #

• 如果需要捕获的变量后续还会被修改，可以用引用捕获[&x]，但一定要注意变量的生命周期——必须保证在调用闭包时，被引用的变量仍然存活，否则会出现悬垂引用，导致未定义行为。
• 如果你不需要用std::function做类型擦除，也可以直接用auto接收返回的lambda，这样更高效：

  auto foo = f1(x); // 编译器会自动推导lambda的具体类型，避免std::function的开销
  

• 你原代码里std::function<double(double)> foo=&f1;这行也是错误的，因为f1的原返回类型是double，和std::function的类型不匹配，必须修改f1的返回类型为函数包装器或者用C++14及以上的自动返回类型推导（auto f1(double x)）。

内容的提问来源于stack exchange，提问作者bn4365