编译器对变量的内存分配方式 收藏

问题来源：
高人指点啊！！！！

假如：定义int  a=4;

要不要把a和4都存放到内存呢？？？

深圳小小() 20:52:14

“要不要”是什么意思？

亮剑<> 20:52:30

是不是

深圳小小() 20:52:44

a不会吧

亮剑<> 20:52:47

是不是把a和4都存放到内存呢

深圳小小() 20:53:14

变量名随便取 编译的结果都一样

亮剑<> 20:53:19

如果不存放a，那在编译时，怎么知道a=4呢

深圳小小() 20:53:32

(⊙o⊙)…

西安-不懂() 20:53:44

变量名==地址名

亮剑<> 20:54:34

变量名与地址名是怎么对应起来的呢

亮剑<> 20:55:14

假如说4的地址是0x000010，怎么把a与0x000010对应起来呢

亮剑<> 20:56:03

程序在编译时，怎么知道a就是0x000010呢？？

西安-不懂() 20:56:09

这是编译器做得  想知道去看编译原理

亮剑<> 20:56:56

哦，谢谢两位高人

亮剑<> 20:57:14

多谢了指点迷津，我去看看

西安-不懂() 21:03:46

亮剑在么？

亮剑<> 23:29:59
刚上来的

亮剑<> 23:30:23

不好意思！西安-不懂

 
一位网友的解答：
 编译器对变量的内存分配方式 收藏

 今天看到《C陷阱与缺陷》书中的一段代码：

int i,a[10];

 for(i=1;i<=10;i++)

  a[i]=0;

书中说：在for语句的比较部分本来是i<10;却写成了i<=10;因此实际上并不存在的a[10]被设置为0，也就是内存在数组a之后的一个字(word)的内存被设置为0。如果用来编译这段程序的编译器按照内存地址递减的方式来给变量分配内存，那么内存中数组a之后的一个字(word)实际上是分配给了整型变量i。此时本来循环计数器i的值为10，循环体内将并不存在的a[10]设置为0，实际上却是将计数器i的值设置为0，这就陷入死循环。

看完后不明白书中说的“编译器按照内存地址递减的方式来给变量分配内存”以及为什么会陷入死循环，于是在VC6.0下作了试验。

测试程序1：

#include <iostream.h>

void main()

{

 int i,j;

 cout<<&i<<' '<<&j;

}

结果输出为：0x12FF7C   0x12FF78

可见，虽然i在j之前被定义，但在编译器给变量分配内存时采用了内存地址递减的方式，所以j在内存中的位置比i超前了4个字节(因为是整型)。回到本文开头的程序，又做了如下试验。

测试程序2：

#include <iostream.h>

void main()

{

 int i,a[10];

 cout<<&i<<endl<<&a[0]<<' '<<&a[1]<<' '<<&a[2]<<' '<<&a[3]<<&a[4]<<endl

  <<&a[5]<<' '<<&a[6]<<' '<<&a[7]<<' '<<&a[8]<<' '<<&a[9]<<endl;

}

结果输出为：0x0012FF7C                                                                                                                               0x0012FF54  0x0012FF58  0x0012FF5C  0x0012FF60  0x0012FF64                            0x0012FF68  0x0012FF6C  0x0012FF70  0x0012FF74  0x0012FF78

可见对于语句int i,a[10];编译器在分配内存地址时也是按照内存地址递减的方式进行分配；因此在内存中实际的变量地址分配为从&a[0]~&a[9]，紧接着是&i，即：

0x0012FF54  0x0012FF58  0x0012FF5C  0x0012FF60  0x0012FF64  0x0012FF68  0x0012FF6C  0x0012FF70  0x0012FF74  0x0012FF78  0x0012FF7C

此时就好理解原文中的后半句：因为实际上并不存在a[10]，理论上的a[10]就是数组a之后的一个内存地址，由于编译器按照内存地址递减的方式给变量分配内存，这正好就是变量i的地址，即&a[10]==&i；所以循环体中a[10]=0;当i等于10时，a[10]=0；实则为i＝0。为了验证所想是否正确，继续做了以下试验。

测试程序3：

#include <iostream.h>

void main()

{

 int i,a[10];

 cout<<&i<<' '<<&a[10];

}

结果输出为：0x0012FF7C  0x0012FF7C

可见i与a[10]的内存地址确实是相同的。

小巴  23:31:01

看看这篇文章 就明白了

亮剑  23:32:10

谢谢

亮剑  23:32:22

让您费心了

小巴  23:32:24

不用客气 

亮剑  23:32:44