extern数组指针与二级指针的GCC编译警告问题咨询

1. 两种声明的编译结果为何不同？ #

• 对于extern int *foo[]：
  这是声明一个指向int的指针数组。在C语言中，数组名本身是指向数组首元素的常量指针，它永远不可能是NULL——哪怕数组是空的，编译器或链接器也会为它分配有效的内存地址（数组是实体，不存在“空数组地址为NULL”的情况）。因此当你写foo != NULL时，GCC能直接推断出这个比较恒为真，所以抛出对应的警告。
• 对于extern int **foo：
  这是声明一个指向int指针的指针，它是普通的指针变量，本身可以被赋值为NULL。但问题出在链接阶段：原来的实际定义是数组int *foo[]，而你用指针变量的声明去引用它，导致符号类型不匹配，进而触发链接警告。

2. 链接警告relocation against foo in read-only section .text的具体含义 #

这个警告的核心是符号类型不匹配导致的重定位错误：

• 当你声明extern int **foo时，编译器会认为foo是存储在数据段的指针变量，因此生成的代码会尝试读取foo变量的内容（即从foo的内存地址中取出它指向的值）。
• 但实际foo是一个数组，它的符号代表的是数组的首地址（固定的内存地址常量，而非可读取的变量）。
• 链接器在处理只读代码段（.text，存放程序指令）时，发现代码中对foo的引用方式（读取变量值）与foo的实际类型（数组首地址常量）不匹配，这种非法的跨段重定位操作就会触发该警告。简单来说，你用指针变量的方式引用了一个数组符号，导致链接器无法完成正确的地址重定位。

内容的提问来源于stack exchange，提问作者Adhrill