为何数组传参会指针退化，外部将数组链接为指针却属UB？

很多人会混淆数组传参时的隐式指针退化和外部声明的类型匹配规则，这正是问题的核心：数组传参的退化是临时转换，但外部声明里把数组写成指针，是直接声明了一个和实际定义完全不同的类型，这直接违反了C标准的类型兼容要求，导致未定义行为（UB）。

1. 数组和指针是本质不同的类型 #

• 你在MyFile.c里定义的int data[5]是数组类型：它的内存是连续的5个int值，data本身并不是一个指针变量——编译器只是在需要时（比如传参、取地址）把它隐式转换成指向首元素的指针，但数组本身没有单独的内存来存储指针值。
• 而MyFile.h里声明的extern int *const data是指针常量类型：它需要一块独立内存来存储一个指向int的指针地址，和数组的类型完全不兼容。

2. 外部声明与定义的类型不匹配触发UB #

C标准明确要求：同一个全局标识符的外部声明和定义必须是兼容类型，否则行为完全未定义。这里数组和指针类型不兼容，会导致编译器生成错误的内存访问逻辑：
比如执行data[4]时，编译器会按照指针的逻辑处理：先读取data指针变量里存储的地址，再加上4 * sizeof(int)的偏移去访问内存。但实际data是数组，编译器会把数组首元素的内存当成指针变量的内容来读——比如32位系统下，会把数组的前4个字节（也就是第一个int的值）当成指针地址，偏移后访问的是完全错误的内存区域，轻则输出乱码，重则直接崩溃。

示例中的问题拆解 #

MyFile.c（正确的数组定义） #

// 声明并初始化一个全局可用的整数数组
int data[5] = { 10, 15, 20, 21, 22 };

内存布局是连续的5个int值（假设32位系统，每个int占4字节）：0x0000000A, 0x0000000F, 0x00000014, 0x00000015, 0x00000016，没有额外的指针存储区。

MyFile.h（错误的指针声明） #

// 将数组以指针而非int数组的形式进行外部声明
// 表面上看似数组退化为指针，但实际上属于UB
extern int *const data;

编译器会认为data是一个占4字节的指针变量，需要存储一个有效的int*地址。

Main.c（错误的使用逻辑） #

// 引入data作为const指针的声明
#include "MyFile.h"

int main(void)
{ 
    // 尝试设置数组元素，属于UB！
    data[4] = 0; 

    // 尝试使用data，本质上属于UB！
    printf("Value is %d\n", data[4]);

    return 0;
}

当执行data[4]时，编译器会生成代码：读取data地址处的4字节（也就是数组第一个元素的值0x0000000A）作为指针，再加上16字节偏移，访问0x0000001E地址的内容——这个地址大概率是无效内存，直接导致未定义行为。

正确的外部声明写法 #

要避免UB，外部声明必须和定义的类型匹配，两种合法写法：

// 写法1：指定数组长度，和定义完全一致
extern int data[5];

// 写法2：不指定长度，编译器会从定义中推导数组大小
extern int data[];

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