c语言 - 如何理解此代码段的指针行为

Question

我知道这段代码没有多大意义，但我只是想知道这段代码中的指针是如何工作的。

int main()
{
int a=2;
int *b = &a;
void* c = (void*)b;

printf("n%d %d %d %d %d %d",a,&a,*b,b,c,*(int*)(c+1));
*(int*)(c+1) = 3;
printf("n%d %d %d %d %d %d",a,&a,*b,b,c,*(int*)(c+1));
return 0;
}

输出如下。

2 -1244818996 2 -1244818996 -1244818996 -872415232                                                                                            
770 -1244818996 -1244818996 -1244819200 -1244818996 3

我多次运行此代码，指针值的输出不同(显然)，但 a 的值为 "2" 和 "770" 对于(int)(c+1) = 3 保持不变，并且仅在我将 c+1 更改为 c+2 或 c+3 或将"3"更改为其他值时更改。所以我想知道这个 a=2 变为 a=770 与(int)(c+1) = 3 之间的联系是什么，以及它是如何变化的。

Answer 1

这里有很多未定义的行为。

printf("n%d %d %d %d %d %d",a,&a,*b,b,c,*(int*)(c+1));

a将打印 2。

&a将打印地址的低sizeof(int)字节，因为地址在 64 位 PC 上有 8 个字节。

*b将打印 2。

b与&a相同。

c与&a和b相同。

*(int*)(c+1)将"构造"一个整数，从内存中的三个字节a和一个字节，即在a之后。

printf("n%d %d %d %d %d %d",a,&a,*b,b,c,*(int*)(c+1));

你更改了 a 的一部分，因为你更改了c，这指向一些字节的a，所以值也会改变。

Answer 2

代码非常不可移植，但基本上，你那里有一台小端序机器。我假设sizeof(int) == 4在这里。另一个假设是 void 指针算法的工作方式与 char 相同。

int a = 2;0x02 0x00 0x00 0x00放在a的地址。

后来*(int*)(c+1) = 3;把0x03 0x00 0x00 0x00放在a + 1 byte的地址，所以你得到0x02 0x03 0x00 0x00 0x00。

现在，如果您再次将a解释为 int，它是(我使用 ** 表示幂)2*2**0 + 3*2**8 + 0*2**16 + 0*2**24 = 2 + 3*256 = 770.

使用调试器并查看原始内存可能有助于使事情更清晰。