不同C标准下结构体变量的解析值及代码输出探究

核心问题 #

当结构体变量直接作为表达式使用（比如传入printf）时，它会被解析成什么值？类比数组名会隐式转换为指向首个元素的指针，结构体变量是否会被解析为其首个成员的值？这种行为是C标准规定的，还是编译器特定的实现？

测试代码 #

#include <stdio.h>
#include <stdlib.h>

struct X { int a;  char b[4]; };

struct X x, y; struct X *px;

void main(int argc, char *argv[]) {
    printf("%x %x\n", x, &x);   // what mean x in this context?  
    printf("%p %p\n", x, &x);  
    px = &x;
    x = *px;
    printf("%x %x\n", x, *px);
    x = y;
    printf("%x %x\n", x, y);
    
    int a[3];

    printf("%x %x\n", a, &a[0]);  // prints the same value twice

    struct s { int a; } b;

    printf("%x %x\n", b, b.a);  // what value is printed?
}

TCC编译运行结果 #

0 402168
0000000000000000 0000000000402168
0 0
0 0
14feac 14feac
6 6

初步观察与疑惑 #

• 全局结构体x直接打印的值为0，与它首个成员的初始值一致；
• 直接打印结构体变量x和打印*px（指向x的指针解引用）的结果相同；
• 结构体赋值x = y时，是拷贝整个结构体的所有字节，还是仅处理指针？
• 局部结构体b直接打印的值和它的首个成员b.a相同，这种行为是否符合C标准，还是编译器的特殊实现？

规范性分析 #

首先必须明确：C标准中不存在“结构体变量被解析为首个成员值”的规则，你在测试中看到的结果本质是代码违反标准约束导致的未定义行为，TCC的表现只是该编译器对未定义行为的一种具体实现，不具备通用性。

具体拆解：

1. printf参数类型不匹配的问题：
   printf的格式化说明符与对应参数的类型必须严格匹配：

   • %x要求参数是无符号整数类型；%p要求参数是void*类型的指针。
     而你直接传入的结构体变量（如x）类型是struct X，既不是整数也不是指针，完全不符合printf的参数要求。这种情况下，C标准定义程序行为为未定义——编译器可以任意处理，可能出现看似取首个成员值的结果，也可能崩溃、输出乱码，甚至执行其他不可预期的操作。

2. 结构体赋值的明确规则：
   C标准明确规定，结构体赋值（如x = y或x = *px）是完整值拷贝，会将右侧结构体的所有成员字节内容全部复制到左侧结构体中，不存在“仅赋值指针”的情况，这是标准确定的合法行为。

3. 数组与结构体的本质区别：
   数组名在多数表达式语境下会隐式转换为指向首个元素的指针，这是C标准明确规定的行为，因此printf("%x %x\n", a, &a[0])输出相同值是符合标准的。但结构体变量没有类似的隐式转换规则，两者不能类比。

总结：你观察到的结构体变量打印出首个成员值的现象，只是TCC对未定义行为的特殊处理，并非C标准要求的规范行为。在标准C中，直接将结构体变量作为类型不匹配的printf参数是非法的，程序行为不可依赖。

内容的提问来源于stack exchange，提问作者Pep