数组内存连续，偏移量=索引×元素大小；结构体成员偏移可用char*模拟或offsetof()；二维数组按行优先转为一维索引计算；需注意内存对齐、类型大小跨平台差异及指针安全。
数组在内存中是连续存储的，利用这个特性可以模拟底层地址计算逻辑，快速推算变量在结构体或数据块中的偏移量。关键在于理解“基地址 + 索引 × 元素大小 = 实际地址”这一公式，并将其转化为可验证的代码逻辑。
掌握基础偏移公式与类型尺寸
每个数据类型有固定字节长度：例如 int 通常占 4 字节（32 位平台），char 占 1 字节，double 占 8 字节。定义一个数组时，编译器会按类型大小连续分配内存。
假设声明 int arr[5];，且已知 &arr[0] 的地址为 0x1000，那么：
- &arr[1] 地址 = 0x1000 + 1 × 4 = 0x1004
- &arr[3] 地址 = 0x1000 + 3 × 4 = 0x100C
- 任意元素 arr[i] 相对于首地址的偏移量 = i * sizeof(int)
用指针运算模拟结构体成员偏移
结构体本质上是多个字段拼接的内存块。虽然不能直接对结构体取地址做算术，但可以用 char * 指针模拟字节级访问。
例如定义：
<font color="blue">struct Person {<br> char name[20];<br> int age;<br> double salary;<br>};</font>
要算 salary 相对于结构体起始地址的偏移量，可构造一个假地址（如 0x0）并用指针加法模拟：
- name 偏移 = 0
- age 偏移 = offsetof(struct Person, age) 或手动：20（name 长度）
- salary 偏移 = 20 + 4 = 24（注意：实际可能因内存对齐变为 32，需用 _Alignof(double) 或 #pragma pack 控制）
实战中可用如下技巧验证：
<font color="blue">char *base = (char*)&p;<br>double *sal_ptr = (double*)(base + 24); // 手动跳转到 salary 位置</font>
实战：定位嵌套数组中特定元素的物理地址
考虑二维数组 int matrix[3][4];，它在内存中等价于一维数组 int flat[12];，行优先存储。
要获取 matrix[2][1] 的地址（第 3 行第 2 列，索引从 0 开始）：
- 总列数 = 4，元素大小 = 4 字节
- 线性索引 = 行号 × 列数 + 列号 = 2 × 4 + 1 = 9
- 偏移量 = 9 × 4 = 36 字节
- 地址 = &matrix[0][0] + 36
该逻辑可封装为宏或函数，用于动态调试或序列化场景：
<font color="blue">#define ADDR_OF_2D(arr, r, c, cols, type_size) \<br> ((char*)&(arr)[0][0] + ((r)*(cols) + (c)) * (type_size))</font>
注意事项与常见陷阱
实际应用中需警惕以下问题：
-
内存对齐：编译器可能在字段间插入填充字节，导致手动计算偏移不准 —— 推荐优先使用 offsetof() 宏（需
） - 符号扩展与指针截断：用 int 存地址易溢出，应使用 uintptr_t 进行地址整数转换
- 数组退化：传参时数组名退化为指针，丢失长度信息，偏移计算需额外传入维度参数
- 跨平台差异：sizeof(int) 在不同平台可能为 2/4/8 字节，避免硬编码类型大小
