通过数组声明与定义长度不同时的结果，浅析编译逻辑

emwin

main.c

1. #include <stdio.h>
   
2. 
   
3. extern int array[4];
   
4. extern void app(void);
   
5. 
   
6. int main()
   
7. {
   
8.     printf("Hello World %d\n", (int)sizeof array);
   
9.     app();
   
10.     return 0;
    
11. }

复制代码

app.c

1. #include <stdio.h>
   
2. 
   
3. int array[] = {1,2,3,4,5,6};
   
4. 
   
5. void app(void)
   
6. {
   
7.     printf("Hello World %d\n", (int)sizeof array);
   
8. }

复制代码

输出：

Hello World 16
Hello World 24

说明：编译器按照当前源文件里声明的类型编译，并不会“自动”追溯到定义处。

eric2013

这问题确实有意思，我也试试。

庄永

没有，他追溯了。只不过你这个截断了,告诉编译器你在其他地方定义一个数组，数组首地址是&array[0],元素个数是4，所以打印16.

WZH

编译原理的原因，每个文件都是先编译为一个个.o文件，然后通过链接器链接为输出文件，extern的都变为符号了，所以都是以声明为准