子函数里面，进行for循环赋值，却发现并没有正确赋值，请问是什么原因？

LuoKen · 发表于 2015-8-18 13:53:51

[mw_shl_code=c,true]//此问题的最新更新： //watch窗口只能查看全局变量，Call Stack+locals窗口里面查看局部变量 //不是优化的问题。[/mw_shl_code]

求助：
如下图所示。我在一个Debug()函数里，进行了一个普通的for循环赋值。
但是，实际仿真的时候，却发现并没有正确赋值。
请问这是为什么呢？
后来，我把deb_temp[50]定义为全局变量。
就能正确赋值了，请问这是什么原因？
谢谢。
就想知道一下为什么会这样？

[mw_shl_code=c,true]#include "stdio.h" uint8 rcv_buf[50]; //串口接收缓存区 void Debug(void); //测试函数 void main() { //其他函数略 Debug(); //其他函数略 } void Debug(void) { uint8 deb_temp[50]; for(i=0;i<50;i++) { deb_temp=rcv_buf; } }[/mw_shl_code]

ianhom · 发表于 2015-8-18 13:53:52

你看一下你的编译优化等级，有的时候会被优化掉，如果想继续深究可以看看执行到赋值时的汇编。
本身这个deb_temp[50]是个局部变量，数据在栈中，作用域仅仅在这个子函数里，如果你这个子函数已经全部贴出来了，那就是说你的这个局部变量数组仅仅赋值了，没有任何操作，所以编译器会进行优化。你定义为全局变量的时候，数据在静态全局区，有确定的地址，这时编译器不一定会去优化。

其实你可以这样定义在你的数组定义前加个volatile，这样编译器就不优化了，看看操作是否正常；还可以把优化等级设置为NONE；这样的话你的数组在运行到这里的时候应该能看到正常的赋值，但是这个数组还是个在栈中的临时变量，出了这个函数就没有意义了。

以上个人观点

void Debug(void)
{
         volatile uint8 deb_temp[50];
for(i=0;i<50;i++)
  {
               deb_temp=rcv_buf;
          }

}

jermy_z · 发表于 2015-8-18 14:09:58

局部变量的时候，是什么结果？

jiutianshenjian · 发表于 2015-8-18 14:27:48

退出Debug函数之前，应该是有的吧。

调用结束，局部定义的数组空间就释放了。

LuoKen · 发表于 2015-8-18 14:32:04

回复【2楼】jermy_z:
---------------------------------

我仿真，跟踪到for里面，一条一条的进行赋值，最后发现，并没有正确赋值。
后来，百度了一下，把deb_temp[]定义为全局变量。
就能正常了。

我想问问这是什么原因？为什么全局变量可以，而局部变量却不能。
谢谢。

jermy_z · 发表于 2015-8-18 14:45:44

回复【4楼】LuoKen:
---------------------------------
理论上不该出现问题，可否截张你debug的图

jiutianshenjian · 发表于 2015-8-18 14:50:52

数组名改个猥琐点的试下

dragon7799 · 发表于 2015-8-18 14:54:10

如果是在for循环是就没有正确赋值，那就比较诡异了。这个不应该呀。可能的原因是在赋值过程中。还未赋值的 rev_buf 的元素又被其他地方的代码改了。

jiutianshenjian · 发表于 2015-8-18 15:49:22

回复【8楼】ianhom:
---------------------------------
签名赞一个。。。。

zc123 · 发表于 2015-8-18 15:58:42

你要理解全局变量和局部变量的作用域。
全局变量定义于静态存储区，在整个函数的运行流程中都有效。
而局部变量定义于内存堆中，只有函数调用才分配内存，当函数调用结束返回时，这部分内存就完全释放掉了，你的赋值就没有意义。

局部变量在编译如果选择了高优化选项时，MDK是不会为局部变量分配地址的，只有在函数调用时由CPU从内存堆分配，如果你想查看局部变量的赋值，参考下图设置