嵌入式系统中数组声明顺序为何会引发页错误？

这种现象的核心原因是栈上局部变量的溢出覆盖，结合嵌入式环境的特性导致问题暴露，和模拟虚拟机的内存访问检查也有一定关系，具体拆解如下：

1. 局部变量的栈布局逻辑 #

C语言中，局部变量默认按声明顺序在栈上分配空间（栈通常从高地址向低地址生长，先声明的变量占据更高的内存地址）。当代码中存在数组越界写入的情况时，溢出的数据会覆盖相邻的变量内存。

在你的初始代码中：

char userString [16] = "";
char memAddrs_str [16] = "";
char argsToPass [16] = "";
char byteValue [2] = "";

byteValue是最后声明的变量，位于栈的最低地址区域。如果代码中对byteValue的操作存在越界（比如写入超过2字节的数据），溢出的内容会直接覆盖前面的argsToPass或memAddrs_str。而memAddrs_str是用来存储内存地址字符串的，一旦被溢出数据篡改，后续转换得到的memAddrs_int就会变成非法内存地址，写入该地址时自然触发页错误。

调整顺序后：

char userString [16] = "";
char argsToPass [16] = "";
char memAddrs_str [16] = "";
char byteValue [2] = "";

memAddrs_str被移到了byteValue的上方（更高地址），此时即使byteValue溢出，覆盖的是memAddrs_str之后的区域（或argsToPass的位置），但如果memAddrs_str已经完成地址转换并赋值给memAddrs_int，溢出就不会影响到关键的内存地址变量，因此程序能正常运行。

2. 嵌入式环境与Linux环境的差异 #

• 栈空间大小：嵌入式系统的栈空间通常远小于Linux桌面系统，栈布局更紧凑，变量溢出更容易影响到关键数据；而Linux下栈空间较大，溢出可能暂时不会覆盖敏感变量，或者被栈保护机制（如金丝雀值、地址随机化）拦截，因此问题未暴露。
• 编译器行为：嵌入式编译器（如GCC for ARM）可能对栈变量的对齐、布局优化更激进，没有额外的溢出保护措施，导致溢出的影响直接体现为内存访问错误。

3. 模拟虚拟机的影响 #

模拟虚拟机通常会对内存访问做更严格的检查，比如非法地址访问会立即触发页错误或异常；而真实硬件可能对某些非法访问有一定容忍度，或者错误表现不明显。因此在虚拟机中，栈溢出导致的非法内存访问更容易被检测出来。

需要注意的是，调整变量顺序只是规避了问题，而非解决根本原因——你需要找到代码中数组越界的位置（比如byteValue的写入操作是否超出了2字节的限制），修复溢出问题才能彻底消除隐患。

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