两个文件可以有同一个变量名？

bleem1998

a.c

1. 
   
2. int i;
   
3. 
   
4. a()
   
5. {
   
6.     i = 1;
   
7. }
   

复制代码

b.c

1. 
   
2. iint i;
   
3. 
   
4. int main()
   
5. {
   
6. a();
   
7. }
   

复制代码

1. 
   
2. cc a.c b.c
   

复制代码

竟然没问题
怎么变量i不冲突的吗？

antigloss

似乎是为了和早期的代码兼容，所以目前 C 编译器一般还是把 int i; 等同于 extern int i;
如果将两个都写成 int i = xx;，那就会报错了

[ 本帖最后由 antigloss 于 2007-6-20 21:24 编辑 ]

zx_wing

原帖由 bleem1998 于 2007-6-20 21:05 发表
a.c

1. 
   
2. int i;
   
3. 
   
4. a()
   
5. {
   
6.     i = 1;
   
7. }
   

复制代码

b.c

1. 
   
2. iint i;
   
3. 
   
4. int main()
   
5. {
   
6. a();
   
7. }
   

复制代码

1. 
   
2. cc a.c b.c
   

复制代码

竟然没问题
怎么变量i不冲突的吗？

链接时强弱符号问题。
论坛里有过这种帖子，搜搜，或到网上搜也一样。

福瑞哈哥

没有赋值语句的就是声明。
没有scope修饰符的声明缺省是extern的。
你可以在程序内、一个文件内多次声明同一个变量。
这都是c标准。

bleem1998

原帖由 福瑞哈哥 于 2007-6-20 21:41 发表
没有赋值语句的就是声明。
没有scope修饰符的声明缺省是extern的。
你可以在程序内、一个文件内多次声明同一个变量。
这都是c标准。

原来如彼阿
学习了

MMMIX

原帖由 福瑞哈哥 于 2007-6-20 21:41 发表
没有赋值语句的就是声明。
没有scope修饰符的声明缺省是extern的。
你可以在程序内、一个文件内多次声明同一个变量。
这都是c标准。

建议还是参考一下 zx_wing 的回复。

lgfang

原帖由 MMMIX 于 2007-6-20 22:03 发表



建议还是参考一下 zx_wing 的回复。

好像还没有回答正确的。还是参考一下经典书吧：详细，权威 C: A Reference Manual 5th 4.8.4

我的筆記：http://blog.chinaunix.net/u/23408/showart.php?id=246603
The expression is deemed as a declaration if there is a definition in the same translation unit. Otherwise compiler will automatically define an i for you. But On linkage, variables defined by that means will be dealt with specially. Reference says that different compilers may choose different rules. According to test, GCC chooses which is called Mixed Common Model (4.8.4) by Reference. That is: if there are more than one translation unit contains such definition for i, those definitions will be combined into only one definition. Note how that is different from other kinds of definitions: multiple-definition is just illegal.

[ 本帖最后由 lgfang 于 2007-6-20 22:49 编辑 ]

MMMIX

原帖由 lgfang 于 2007-6-20 22:18 发表


好像还没有回答正确的。还是参考一下经典书吧：详细，权威 C: A Reference Manual 5th 4.8.4

http://blog.chinaunix.net/u/23408/showart.php?id=246603
The expression is deemed as a decla ...

这段文字有些误导，不过关于应该参考 C: A Reference Manual 5th 我倒是赞同。

[ 本帖最后由 MMMIX 于 2007-6-20 23:04 编辑 ]

福瑞哈哥

实际上都是些细节问题。

这么说吧，在k&r c中，一个文件只能包括两种：声明和函数定义。从这个原则看，定义是声明的一种。

你可以多次声明同一个变量，但只能定义（初始化）一次也是毫无疑问的。

如果你只有声明而无定义（也就是无初始化）时，c语言标准规定会把这些声明合并成一个初始化为0的定义。我觉得这也就是一种说法，不如把它理解成当无初始化时c语言会自动生成一个初始化为0更好一些，因为声明还在，如果没有声明，程序不是就要报警了嘛。

至于上面网友提到过的连接符号强弱没听说过。

langue

用 nm 打印的 a.o 符号表：

00000000 F a.c
00000000 T a
00000004 C i

b.o：

00000000 F b.c
         U __guard
         U __stack_smash_handler
         U a
00000004 C i
00000000 T main

仅供参考