32位或64位系统中的指针算术长短

Question

我刚准备考试，问下面的问题，下面的程序在32位还是64位生成什么输出？

#include <stdio.h>
int main(int argc, char **argv)
{
 long *p = (long *)8;
 short *q = (short *)0;
 int c, i, l;

 p = p + 1;
 q = q + 1;

 printf("p = %p q = %p\n", p, q);

 c = (char *)p - (char *)q;
 i = (int *)p - (int *)q;
 l = (long *)p - (long *)q;

 printf("c = %d, i = %d, l = %d\n", c, i, l);

 return 0;
}

在 32bit 上的结果如下：

p = 0xc q = 0x2
c = 10, i = 2, l = 2

64位的结果如下：

p = 0x10 q = 0x2
c = 14, i = 3, l = 1

只有我必须承认，我根本无法理解这些结果，因为当我计算一个指针时，它应该指向内存中随机的东西，它总是出现 0xc 或 0x10。

有人可以帮我吗？

Answer 1

只有我必须承认，我根本无法理解这些结果，因为当我计算一个指针时，它应该指向内存中随机的东西，它总是出现 0xc 或 0x10。

程序不会访问任何指针的“指针指向的内存中的值”。它只做指针运算（改变指针指向的东西）。

这个问题的目标可能是测试你是否了解指针运算在 C 中的工作原理。

指针算法在 C 中的工作原理是它隐藏了“乘以 sizeof（无论指针指向什么）”。换句话说，p = p + n; 大致相当于p = (char *)p + n * sizeof(*p);，或者p = &p[n];。

Answer 2

首先，我应该指出，这段代码中有很多未定义的行为，并且它做出了许多标准无法保证的假设。但话虽如此，这个问题可以根据您在典型实现中看到的内容来回答。

假设两台机器上的数据类型大小（以字节为单位）为：

type	32-bit size	64-bit size
long	4	8
int	4	4
short	2	2
char	1	1

同样，我不认为这些是有保证的，但它们非常典型。

现在考虑一下代码在做什么。首先是设置

   long *p = (long *)8;
   short *q = (short *)0;

这些地址不引用有效数据（至少，不可移植），但代码从未真正引用它们。它所做的只是使用它们来执行指针运算。

首先，它增加它们：

   p = p + 1;
   q = q + 1;

将整数添加到指针时，整数会按目标数据类型的大小进行缩放。所以在p的情况下，比例是4（32位）或8（64位）。在 q 的情况下，比例为 2（在这两种情况下）。

所以p 变为 12（32 位）或 16（64 位），q 变为 2（在这两种情况下）。以十六进制打印时，12 是0xc，16 是0x10，所以这和你看到的一致。

然后在首先将它们转换为各种不同的指针类型之后，获取两个指针之间的差异：

 c = (char *)p - (char *)q;
 i = (int *)p - (int *)q;
 l = (long *)p - (long *)q;

这些结果表现出未定义的行为，但如果您假设所有指针值都是字节地址，那么这就是正在发生的事情。

首先，当两个相同类型的指针相减时，差值除以目标数据类型的大小。这给出了分隔两个指针的该类型元素的数量。

所以在c（类型char *）的情况下，它除以1，得到原始指针差异，即（12 - 2）= 10（对于32位）和（16 - 2） = 14（对于 64 位）。

对于i（类型int *），它除以4（并截断结果），所以差是10 / 4 = 2（对于32位）和14 / 4 = 3（对于64-位）。

最后，对于l（类型long*），它除以4（对于32位）或8（对于64位），再次截断结果。所以区别是 10 / 4 = 2（对于 32 位）和 14 / 8 = 1（对于 64 位）。

同样，C 标准不保证任何这一点，因此假设这些结果将在不同平台上获得是不安全的。