前言
这是一个 老生常谈的问题
就是 两个结构体Person指针, p1, p2, 指向的是 虚拟内存中相邻的两个结构体对象
然后 p2 -- p1 的值得到的是 1, 而不是 sizeof(struct Person)
然后 我们来看一下 这里的编译之后的是一个实现
测试用例
这里 我们通过调节 field03 来调整 Person 结构体的占用空间
并参照 两份编译之后的 结果
#include<stdio.h>
typedef struct Person {
int age;
int height;
// int field03;
} Person;
int main(int argc, char **argv) {
struct Person list[10], *p1, *p2;
list[0].age = 12;
list[2].age = 22;
p1 = &list[0];
p2 = &list[2];
int delta = (int) (p2 - p1);
printf(" the delta : %d \n", delta);
return 0;
}sizeof( P erson) 为 8
我们来看一下 0x00000000004005DF 的位置的相关系列代码
对应于业务代码中的 "int delta = (int) (p2 - p1);"
获取了 p2指针 和 p1指针, 然后做减法, 然后右移了3位, 等价于 /8, 然后将结果为 delta
看一下 运行时的状态
sizeof( P erson) 为 12
我们来看一下 0x00000000004005E5 的位置的相关系列代码
对应于业务代码中的 "int delta = (int) (p2 - p1);"
获取了 p2指针 和 p1指针, 然后做减法, 然后右移了2位, 等价于 /4
然后又乘以了一个 0xaaaaaaaaaaaaaaab, 等价于 / 3
因此最终是将 p2指针 和 p1指针 的地址之差 除以了 12
可以大致得出的规律 是结构体指针的减法是 两者地址只差, 还要除以 sizeof(struct Type)
看一下 运行时的状态
关于 / 3 的实现的一个测试用例
关于规范
这个在 c/c++ 相关规范中能够找到具体的说明
Arithmetic operators - cppreference.com
完