(转自)http://bbs.chinaunix.net/thread-1285396-1-1.html
在C++中对于以下语句:
// 全局域
int i = 3;
int j = i;
编译时将i 放入.data 段,设置其值为3.
而对于j ,编译器遇到这种语句,只知道j = i ,由于 i 是变量,不是常量,编译器无法在编译时直接得到它的值,编译器只会找到i 的地址, 然后读取这个地址的内容,再把这个内容写入 j 的地址。
编译器不能够直接用3 来初始化 j ,因为计算机不是人,不懂简单的人类逻辑,我们想“因为 i = 3,而 j = i,所以j = 3",而计算机无法在逻辑上由i = 3 和 j = i 来推出j = 3,就好像图灵机不可能证明某个论题的真伪一样。
计算机只会“取 i 的地址,把3 放到 i 的地址中,取 i 的地址,读取这个地址中的内容,取 j 的地址,把这个内容 写入j 的地址。” 它不会思考,不懂因果,只是机械地执行指令。编译器无法在编译时求得一个非常量的值,它只能在运行时通过读取变量地址来间接得到变量的值,而全局变量在编译时就必须确定其值,故C有静态存储区数据必须用常量初始化的规定。
在编译时只能用常量去初始化一个静态存储区的数据,而不能用“读取某个变量的内容”来初始化,所以编译器会将j 放入 .bss段,默认值为0 ,然后添加一条语句在运行时读取i 的值,再赋给j。这条语句在调用main()之前完成。
一个对比: 对于语句: int i = 3 int main() { int j = i; ... } 在编译时不需要确定局部变量 j 的值,而是在运行时读取i 的值来赋给 j. 编译连接后的可执行文件中不会存放j 的值,只有相应的赋值语句的代码。与此相对的,由于i 是全局变量,存储在静态存储区,因此在编译时其值就需要确定其值,在目标文件中会分配空间来存放 i 的值,运行时不会有赋值语句来给 i 赋值, 没有对应的代码。 而对于语句: int i = 3; int j = i; 由于j 是全局变量,存储在静态存储区,因此也需要在编译时确定其值。而i 是变量,不是常量,i 的值无法在编译时确定,这就造成j 的值也无法在编译时确定,所以C对此就会报错。而C++采取了另外一种做法,在编译时简单的把 j 作为未初始化的全局变量放入.bss 区,其默认值为0,然后添加一条语句在运行时给 j 赋值,并保证这条语句在 main函数开始之前执行。因此j 的初始化实际上实在运行时完成的。 |