大家来看看这个程序，解释出原因了就明白指针和数组的区别了（程序很短）

mik

贴出来看看不就行了吗
我推测优化时可以什么都不做,

r2007

原帖由 mik 于 2006-12-18 13:21 发表


zx_wing这位朋友还是推测出来的，即使是放在 eax 也不能说明什么问题，gcc 根据情况而定

想要深入了解清楚，看gcc实现代码

这句话在理，解释多了反而不如看编译器的代码（毕竟不是能理解的就能讲明白）
等读完了，愕然回首，灯火阑珊处，其实就是指针。:em11:

whyglinux

>> 编译过后，初始化操作会被转换成一个立即数操作，例如：
>> mov 1, %eax

这是加了优化之后的情况吧？

优化是一种等价实现，强调的是结果的对等性，其具体的实现过程没有可比性，一般不能用来说明原代码的情况。还是看没有优化下的汇编吧。

zx_wing

原帖由 whyglinux 于 2006-12-18 14:10 发表
>> 编译过后，初始化操作会被转换成一个立即数操作，例如：
>> mov 1, %eax

这是加了优化之后的情况吧？

优化是一种等价实现，强调的是结果的对等性，其具体的实现过程没有可比性，一般不能用 ...

我已经在前面注释强调不优化的情况可能访存，但也不是不优化都会访存。这里强调这种行为的存在，不强调这种行为一定会发生。上面代码也有误，1没加$。我不在x86上工作，对这个不太熟，这个地方纠正一下。

VirusCamp

原因在于 extern 从来不检查类型，你在第二个文件里写：

extern char arr;
extern char* arr;
extern long arr;

编译，连接，运行，都不会报错。

whyglinux

对同一对象的类型声明不一致是一种无定义行为。

>> 原因在于 extern 从来不检查类型

为了保证声明和定义的一致性，应该将声明单独放在一头文件中，在程序中进行声明此变量的时候要以包含头文件的方式进行（保证声明的一致性），在定义变量的文件中应该包含此头文件（这样可以在编译阶段检查出声明和定义是否一致）。

Tim_tsang

学习

zx_wing

哈哈哈，不得了不得了，这帖子都被挖坟出来了。
这还是当时我对C语言懵懂时发的，当时还有一系列和whyglinux争论的帖子。
后来事实证明了我那时候确实对很多概念搞不清楚，whyglinux对标准是真了解。

unistd

为什么地址不一样？
因为编译器做了手脚了！这个问题不是语言的范畴，而是编译器的实现细节！
按照模块来编译的模式，，第一个.c文件编译后，arr数组已经在模块内分配空间了，但是第二个.c文件中没有这个arr的位置信息，只有在连接的时候，才连接到第一个.o的文件里的字符数组的地址。。