递归函数中静态变量的疑惑

        不显示删除回复

       显示所有回复

       显示星级回复

        显示得分回复

       收藏

递归函数中静态变量的疑惑 [问题点数：30分，结帖人hanyj_3000]

hanyj_3000 hanyj_3000 等级： 结帖率：100%

楼主 发表于： 2011-09-02 22:26:46 本帖最后由 hanyj_3000 于 2011-09-02 22:30:25 编辑 以下的函数功能是把一个整数比如 int num = 2345；转化为字符串2345存到数组buf。用递归来写。对其中的静态变量i有一大疑问。 C/C++ code ? 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 void  intTochar( int  OrignNum, char  *Buffer) {      static  int  i = 0;      if  (OrignNum / 10)      {          intTochar(OrignNum / 10,Buffer);      }      Buffer[i++] = OrignNum % 10 +  '0' ;      Buffer[i] =  '\0' ; } void  main() {      static  int  i = 0;      int  num = 2345;      char  buf[10] = {0};      intTochar(num,buf);      printf ( "buf = %s\n" ,buf); } 如果我在main中intTochar(num,buf);设置一个断点，当我调试进入这个函数，随着递归的层层调用，最后intTochar的i会变成4。当调试出来回到main函数的intTochar(num,buf)，发现main中i的值是0。由此看来，main中的i和intTochar的i不是同一个i，这个从查看它们内存地址也可以得知。我的疑问： 疑问：intTochar函数中递归调用的时候，为什么每次递归调用intTochar时，其中的i的地址变量都是一样，就是说它们是同一个i？它们的关系其实也有点像main和intTochar的关系啊，也是调用关系啊。我总感觉每一次递归调用intTochar函数时，i不应该是同一个i(但总它们的内存地址看却又是同一个i)，所以它们的值能够递增到4。我就是对这点不解！希望高人赐教！

对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP 回复次数：13

jackyjkchen jackyjkchen 等级： 4 2 4

#1 得分：0 回复于： 2011-09-02 22:30:49 不同作用域的静态局部变量肯定是两个值，这是要保证的 C/C++ code ? 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 #include <stdio.h>   void  intTochar( int  OrignNum, char  *Buffer) {      static  int  i = 0;      printf ( "intTochar:%08x\n" ,&i);      if  (OrignNum / 10)      {          intTochar(OrignNum / 10,Buffer);      }      Buffer[i++] = OrignNum % 10 +  '0' ;      Buffer[i] =  '\0' ; } void  main() {      static  int  i = 0;      printf ( "main:%08x\n" ,&i);      int  num = 2345;      char  buf[10] = {0};      intTochar(num,buf);      printf ( "buf = %s\n" ,buf); } 输出结果 main:0011713c intTochar:00117138 intTochar:00117138 intTochar:00117138 intTochar:00117138 buf = 2345

翻版周杰伦的游戏开发经历 对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

jackyjkchen jackyjkchen 等级： 4 2 4	#2 得分：0 回复于： 2011-09-02 22:33:48 同一个函数的静态变量，那就是唯一的了
	有奖征集活动系列——《iOS游戏编程之旅》 对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

hanyj_3000 hanyj_3000 等级：	#3 得分：0 回复于： 2011-09-02 22:33:59 楼上兄弟所言：“不同作用域的静态局部变量肯定是两个值，这是要保证的”。可是每一层递归调用intTochar时，每一次进入intTochar函数时，都属于新的作用域啊，为什么i却是同一个i呢？
	优快云论坛 第1期专家问答正式开始 对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

jackyjkchen jackyjkchen 等级： 4 2 4	#4 得分：0 回复于： 2011-09-02 22:35:50 就因为每次调用intTochar都一样，所以才能递增到4啊，楼主有什么不解的？ 是不是因为 static int i = 0;有个0 当第二次走到这一句，就会忽略
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

jackyjkchen jackyjkchen 等级： 4 2 4	#5 得分：10 回复于： 2011-09-02 22:37:33 引用 3 楼 hanyj_3000 的回复: 楼上兄弟所言：“不同作用域的静态局部变量肯定是两个值，这是要保证的”。可是每一层递归调用intTochar时，每一次进入intTochar函数时，都属于新的作用域啊，为什么i却是同一个i呢？ 楼主有点钻牛角尖了 这里的作用域是说源码级，而不是运行时的动态作用域 从源码级看一个函数就是一个唯一的作用域
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

king_ss_ king_ss_ 等级：	#6 得分：0 回复于： 2011-09-02 22:37:38 静态数据类型变量 和 全局变量的生存期是一样的。上面的两个i都放在程序的全局变量区，但是内存地址不一样。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

hanyj_3000 hanyj_3000 等级：

#7 得分：0 回复于： 2011-09-02 22:49:43 谢谢这位兄台的指点，照你的说法，递归函数的代码在内存代码区只有一份，所以它们是属于同一个作用域咯？若是这样理解，那就有点好理解。但如果我把void intTochar(int OrignNum,char *Buffer)中的static int i = 0;改为int i = 0;也就是改为非静态变量，那两照你的意思，递归过程中它们属于同一个作用域，那nt i = 0;应该也能递增到4啊，为什么它不像static那样能递增到4呢。(静态存储的原理我已经懂，就是对为什么是同一个作用域还是有些不明白，就比如刚才我举的这个由static改为非static变量的例子) 引用 5 楼 jackyjkchen 的回复: 引用 3 楼 hanyj_3000 的回复: 楼上兄弟所言：“不同作用域的静态局部变量肯定是两个值，这是要保证的”。可是每一层递归调用intTochar时，每一次进入intTochar函数时，都属于新的作用域啊，为什么i却是同一个i呢？ 楼主有点钻牛角尖了 这里的作用域是说源码级，而不是运行时的动态作用域 从源码级看一个函数就是一个唯一的作用域

对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

jackyjkchen jackyjkchen 等级： 4 2 4	#8 得分：10 回复于： 2011-09-02 22:53:57 引用 7 楼 hanyj_3000 的回复: 谢谢这位兄台的指点，照你的说法，递归函数的代码在内存代码区只有一份，所以它们是属于同一个作用域咯？若是这样理解，那就有点好理解。但如果我把void intTochar(int OrignNum,char *Buffer)中的static int i = 0;改为int i = 0;也就是改为非静态变量，那两照你的意思，递归过程中它们属于同一个作用域，那nt i = 0;应该也能递增到4啊，为什么…… 又钻牛角尖了，跟你说了源码作用域和动态作用域不是一回事 你硬要用静态的源码作用域去套动态的栈内存，硬要用动态的运行时作用域去套静态变量……那当然理解不了 您这是自寻烦恼啊……
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

jackyjkchen jackyjkchen 等级： 4 2 4	#9 得分：0 回复于： 2011-09-02 22:55:33 本身1对1，2对2很好理解 您偏要1对2，2对1……
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

qq455532838 qq455532838 等级：	#10 得分：5 回复于： 2011-09-02 23:02:43 每次递归都是要重新开辟内存空间的，但是递归函数中的i是static，这样系统只为i分配一个内存 其只能进行一次初始化，以后每次调用递归函数时，只是改变这个内存中的值（加1），但是内存单元是不变的
	对我有用[1]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

pathuang68 pathuang68 等级： 2	#11 得分：5 回复于： 2011-09-02 23:04:58 这是很自然的事情。 1. 你给出的两个i都是静态 局部变量，因此他们只能在各自的范围内可见。 2. 静态变量在其作用域内，只有有一份，尽管是局部变量，但它根本就不存在与栈上(实际上它存在于全局数据段Global Data Segment)，因此每次得到的i的地址都是一样的。如果i是普通的自动变量，那么它就存在于栈上，随着每次递归而参与压栈和出栈，如果是这样的话，每次得到i的地址将是不同的。 3. 尽管两个i都是静态变量，都处于全局数据段，但根据1，编译器会区分这两个不同的i的。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

steedhorse 晨星 等级： 2 3 4	#12 得分：0 回复于： 2011-09-02 23:11:32 （1）静态变量并不存在于函数调用栈上，每个静态变量只有一份实例。只有非静态变量才会保存在函数调用栈上，从而每一层调用都有单独的一份实例。 （2）不同作用域中的变量（不管是静态的还是非静态）是不同的变量，即使它们同名亦如此。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 |  TOP

hanyj_3000 hanyj_3000 等级：	#13 得分：0 回复于： 2011-09-02 23:25:14 恩，基本上理解了，jackyjkchen说的比较好，顺着他的意思去理解能理清其中的一些道理。赶紧结贴，热心朋友太多，分却不多，有点不好意思。