c - printf在内存分配中有什么作用吗？

Question

对于此代码

#include <stdio.h>
#include <stdlib.h>
int main()
{
int i, j, k, l;
int *ii = (int *)malloc(sizeof(int));
int *jj = (int *)malloc(sizeof(int));
int *kk = (int *)malloc(sizeof(int));
int m, n, o, p;
// Call below line as star line
printf("%u %u %u %u %u %u %u %u %u %u %u\n",&i,&j,&k,&l,&ii,&jj,&kk,&m,&n,&o,&p);
// Call below line as delta line
printf("%u %u %u %u %u %u %u %u %u %u %u\n",&i,&j,&k,&l,ii,jj,kk,&m,&n,&o,&p);
 return 0;
}

我得到这个输出

2293516 2293512 2293508 2293504 2293500 2293496 2293492 2293488 2293484 2293480 2293476
2293516 2293512 2293508 2293504 3739288 3739320 3739336 2293488 2293484 2293480 2293476

到目前为止一切都很清楚，但是当我评论时，星线输出变成了

2293520 2293516 2293512 2293508 4525720 4525752 4525768 2293504 2293500 2293496 2293492

我的问题是为什么在这种情况下内存位置不连续。在第一种情况的第二行中，值的常规差异为 4 个字节，即 516、512、508、504，然后是三个位置，然后是 488、484、480...但在第二种情况中，值是 520、516、512、508 ，然后是三个位置，然后是 504、500、496。为什么 508 之后的下一个值是 504，而它应该是 492？ printf在这里有什么作用吗？

Answer 1

编译器可以自由地在内存中排列局部变量，但它认为合适。

无法保证局部变量是连续存储的，或者它们之间没有未命名的填充，或者它们在内存中以特定顺序存储。

也无法保证局部变量在运行时实际存在。例如，当您注释掉第一个 printf 时，局部变量 ii、jj 和 kk 永远不会用作左值(基本上，您永远不会做任何需要对象地址的事情)，因此编译器可能会选择完全消除这些变量。

在您的具体示例中，编译器可能决定将所有三个变量存储在内存中的同一位置，或者 - 由于您从未初始化变量 - 它可能只使用内存中某个其他位置的随机内容，这将是同样“有效”的行为。