传递无效指针作为静态数组参数的可能后果探究

C99引入了静态长度数组参数的语法，示例声明如下：

void fn(int arr[static 1]);

从类型层面（推测ABI层面也是如此）来看，该参数等价于普通的int*指针。因此程序可以传递任意同类型指针，但这种操作属于未定义行为，示例代码如下：

int main() {
    int n = 42;
    fn(&n); // 未定义行为：&n并非指向数组的首个元素
    return 0;
}

实际操作的可能后果 #

排除未定义行为被推导为死代码这类极端假设，且调用点不可见函数定义的前提下：

• 多数主流平台（x86、x86_64、ARM等）的常规编译环境中，这类操作通常不会出现明显异常。因为这些平台的ABI会将数组参数退化为指针，单个变量的地址与数组首元素地址的内存表示完全一致，函数内部若仅做普通指针操作（如解引用arr[0]），结果符合预期。
• 若函数内部依赖static 1的语义做激进优化，比如编译器假设指针指向的内存至少包含1个连续的int空间（单个int恰好满足这一条件），通常也不会引发问题。但极端情况下，编译器若基于“指针指向数组而非单个变量”做别名分析优化，可能导致变量被错误优化，但这种情况非常罕见。

存在实质性差异的场景/平台 #

虽然主流平台差异不大，但以下特殊场景或平台可能产生实质性影响：

• 特殊架构的嵌入式平台：部分嵌入式DSP或非冯诺依曼架构中，数组内存区域与单个变量的内存区域可能有不同的访问属性，或指针的表示方式存在差异（如数组指针和单个变量指针使用不同的地址空间标识），此时传递单个变量的指针可能触发内存访问错误。
• 依赖数组语义的扩展指令场景：若函数内部使用了SIMD等依赖连续数组起始地址的扩展指令，部分平台可能要求指针必须标识为数组类型，此时传递单个变量的指针可能触发指令异常（不过对于static 1的情况，单个int的长度刚好满足，这类问题出现概率极低）。
• 严格编译模式：开启-Wall -Wextra -pedantic等严格选项的GCC、Clang等编译器，会给出编译警告，提示传递的指针不符合静态数组参数的要求，这属于编译层面的约束提示。

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