c - 是否所有对象都位于 C 中的同一地址空间中？

Question

我正在尝试确定 C 标准是否要求所有地址都位于同一地址空间中。如果我有两个不同类型的对象

double d;
int i;

我不能对它们的地址进行指针运算，因为它们是不同类型的指针。但是，标准说我可以将字符类型指针指向那里，并将获得对象中第一个字节的地址。

char *dp = (char *)&d;
char *ip = (char *)&i;

和那些我可以做指针算术，例如找出它们在内存中的距离，(dp - ip). 也就是说，当然，如果双精度和整数位于同一内存中。他们总是在我知道的平台上做，但标准能保证吗？char或者只有当我的指针实际上指向具有相同类型的东西时才允许指针算术？

标签： c

Answer 1

只有当指针具有相同的类型并且它们指向同一个对象时，才定义指针算术。更具体地说，该标准说：

3 对于减法，下列条件之一应成立：

• 两个操作数都有算术类型；
• 两个操作数都是指向兼容完整对象类型的合格或不合格版本的指针；或者
• 左操作数是指向完整对象类型的指针，右操作数是整数类型。

和：

9 当两个指针相减时，都应指向同一个数组对象的元素，或者指向数组对象的最后一个元素；结果是两个数组元素的下标之差。

（为了解释上述内容，单个对象被视为具有一个元素的数组。）

将指针类型转换为char *解决第 3 节中的约束，但指向的指针d不指向i. 所以你不能减去它们。