c - 将复合文字分配给数组指针会在同一地点和时间同时给出预期结果和垃圾？

Question

#include <stdio.h>

int main(void) {
    int a[5], *p, i;
    p = a;
    p = (int []){1, 2, 3, 4, 5};
    for (i = 0; i < 5; i++, p++) {
        printf("%d == %d\n", *p, a[i]);
    }
    return 0;
}

你瞧(YMMV):

$ gcc -O -Wall -Wextra -pedantic -std=c99 -o test test.c; ./test
1 == -1344503075
2 == 32767
3 == 4195733
4 == 0
5 == 15774429

通过指针算法打印数组显示它确实包含 1 到 5 的整数序列，但再次打印假定通过索引表示的相同数组会给出未初始化的废话。为什么？

Answer 1

你只分配给p，永远不会分配给a，所以a永远不会被初始化。

int a[5], *p, i;
// a uninitialized, p uninitialized
p = a;
// a uninitialized, p points to a
p = (int []){1, 2, 3, 4, 5};
// a uninitialized, p points to {1, 2, 3, 4, 5}