C语言返回带上下文函数异常：预期输出4却得到6的问题排查

问题出在哪？ #

1. 嵌套函数不符合C标准：你代码里的handler是create_handler内部的嵌套函数，这是GCC独有的扩展语法，不属于C标准规范，代码移植性极差。
2. 局部变量生命周期已失效：create_handler的参数ctx是栈上的局部变量，当create_handler执行完毕返回时，对应的栈帧会被销毁，ctx占用的内存会被系统回收或覆盖。此时返回的handler函数指针引用的是已经失效的内存，后续调用handler时访问ctx.a属于未定义行为——打印出6只是随机的垃圾值，不是预期结果。

修复方案 #

方案1：用堆内存保存上下文（兼容GNU嵌套函数扩展）

通过动态分配内存把上下文存在堆上，避免栈销毁后内存失效：

#include <stdio.h>
#include <stdlib.h>

typedef struct {
  int a;
} ctx_t;

typedef void(*with_ctx)(int);

with_ctx create_handler(ctx_t ctx) {
  // 动态分配堆内存保存上下文
  ctx_t* saved_ctx = malloc(sizeof(ctx_t));
  *saved_ctx = ctx;

  void handler(int x) {
    printf("%d\n", saved_ctx->a + x);
    // 若无需重复调用handler，可在此处free(saved_ctx);
  }

  return handler;
}

int main() {
  ctx_t ctx = { .a = 1 };
  with_ctx handler = create_handler(ctx);
  handler(3); // 输出预期的4

  // 若handler被多次调用，需在合适时机手动释放saved_ctx，避免内存泄漏
  return 0;
}

方案2：标准C写法（无扩展，推荐）

放弃嵌套函数，直接把上下文指针作为参数传递给处理函数：

#include <stdio.h>

typedef struct {
  int a;
} ctx_t;

// 处理函数直接接收上下文指针
void handler(int x, ctx_t* ctx) {
  printf("%d\n", ctx->a + x);
}

int main() {
  ctx_t ctx = { .a = 1 };
  handler(3, &ctx); // 输出4
  return 0;
}

关键注意点 #

• 不要依赖C标准外的语法特性，确保代码在不同编译器下都能正常运行。
• 绝对不能让返回的函数引用栈上的局部变量，这类引用会在函数返回后失效，引发未定义行为。如果需要保留上下文，优先考虑堆内存分配或显式传递上下文参数。

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