用 C 编写函子

Question

我想在 C 中做这样的事情：

typedef int (*func)(int);

func make_adder(int a) {
  int add(int x) {
    return a + x;
  }
  return &add;
}

int main() {
  func add_42 = make_adder(42);
  // add_42(10) == 52
}

但这不起作用。可行吗？我的错在哪里？

Answer 1

不，这是不可能的，因为内存中没有任何地方可以以&add 引用它的方式存储int a。 int a 存在于make_adder 的函数栈上并且不存在，所以&add 不能指代原版。制作 int a 的副本是不可能的，因为该副本的生命周期需要与 &add 的生命周期相关联，而 C 没有必要的垃圾回收。

因此，总而言之，我们既不能保存原始堆栈变量a，也不能在堆上复制。