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

: 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 
           
?
 
                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 
           
?
 
                #include  
               
                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呢？
	CSDN论坛第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说的比较好，顺着他的意思去理解能理清其中的一些道理。赶紧结贴，热心朋友太多，分却不多，有点不好意思。

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

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

你可能感兴趣的:(C++,函数,C)