C++不同作用域同名数组及零长数组运行行为相关疑问

保留局部int arrayF[input]声明时输出0的原因 #

核心原因是C++的名字查找规则和作用域隔离特性：

1. main函数内声明的局部arrayF仅在main函数的作用域内遮蔽全局同名变量，fiboR函数与main函数属于平行作用域，fiboR内部访问的arrayF始终会匹配全局作用域下的int arrayF[0]，完全看不到main里定义的局部数组。
2. 全局零长数组属于GCC等编译器的扩展特性，不属于C++标准语法，默认分配在全局数据区，初始值为0。保留局部声明时，main中对arrayF[0]、arrayF[1]的赋值操作全部作用在栈上的局部数组，全局数组对应的内存没有被修改，fiboR计算时读取的全局内存值始终为0，因此最终输出0。

删除局部int声明后输出正确结果的原因 #

删除int arrayF[input]的int声明后，main中操作的arrayF不再是局部变量，而是直接引用全局的int arrayF[0]：

1. 此时main中对arrayF[0] = 0、arrayF[1] = 1的赋值，以及fiboR中的读写操作，都指向同一块全局内存区域。
2. 你观测到的正确输出是典型的未定义行为的巧合表现：全局零长数组后的内存刚好是可写、且未被其他逻辑占用的区域，越界写入的斐波那契数没有被覆盖，也没有触发内存访问异常，因此刚好得到了正确结果55。该表现没有通用性，换编译参数、运行环境都可能出现结果错误、程序崩溃等问题。

额外注意事项 #

• 零长度数组int arrayF[0]不属于C++标准规范，生产环境禁止使用，可替换为std::vector<int>存储动态长度的序列。
• 变长数组（VLA）int arrayF[input]是C99标准特性，C标准未纳入支持，不建议在C代码中使用。
• 未定义行为不代表必然触发崩溃，可能出现结果正确、乱码、崩溃、数据损坏等任意表现，绝对不能依赖未定义行为的偶然表现编写代码。

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