关于“initializer element is not constant ”的编译错误

kiffa

试验用的gcc版本比较老。

以下两段代码，如果命名为 *.c 文件，在GCC下编译，都会报错，错误信息是“initializer   element   is   not   constant ”。

但是如果把 *.c 文件改名为 *.cc文件，用g++编译，就不会报错。

谁能详细解释一下这是为什么。

// code 1 int i = 10; int j = i + 4; // code 2 int i = 10; int main() {     static int j = i;     retrun 0; }

MMMIX

语言的规定不一样呗

ynchnluiti

看这个http://bbs.chinaunix.net/viewthr ... p;extra=&page=1

kiffa

谢楼上的，这下弄清楚了。

在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（）之前完成。

kiffa

一个对比：

对于语句：
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 的初始化实际上实在运行时完成的。

[ 本帖最后由 kiffa 于 2008-10-12 21:25 编辑 ]

雨过白鹭洲

新版本的gcc能不能编译通过呢？我觉得可以，因为我经常就是同时声明和定义的，虽然不是全局或者static

qiankunhuanying

学习了。。。