C语言for循环内外初始化变量导致回溯算法结果不同的原因求解

• 第一段代码的j是全局变量，所有递归调用的Try函数共享同一个内存地址的j，任意层级修改j的值都会同步影响所有其他层级的循环判断。
• 第二段代码的j是for循环内部声明的局部变量，每一层Try递归调用都会在自己的栈帧上生成独立的j变量，不同层级的j修改互不干扰。

第一段代码执行流程模拟（n=2场景） #

1. 调用Try(1)，全局j赋值为0，进入循环：
   • a[1] = 0，k=1≠2，调用Try(2)
   • 进入Try(2)，全局j被重新赋值为0，进入循环：
     • a[2] = 0，k=2，输出00
     • 全局j自增为1，满足<=1条件：a[2] =1，输出01
     • 全局j自增为2，不满足<=1，退出Try(2)的循环，回到Try(1)
2. 回到Try(1)的循环时，全局j已经是2，不满足j<=1的循环条件，直接退出循环，不会执行j=1的分支，因此不会输出10、11。

第二段代码执行逻辑说明 #

每一层Try的for循环里的j都是当前调用栈独立的局部变量：

• Try(2)内部修改的j只作用于Try(2)的循环，回到Try(1)时，Try(1)的j仍为之前的0，自增到1后会正常执行a[1]=1的分支，调用Try(2)输出10、11，符合预期。

如果一定要使用全局变量实现相同功能，需要在递归返回后恢复j的值，不过更推荐使用局部变量避免这类共享变量的副作用。

内容的提问来源于stack exchange，提问作者Ngọc Khánh Hà