C编译器剖析_4.4 语义检查_外部声明_结构体和数组的初始化

关注

VIP免费原创最新推荐文章于 2026-08-13 09:59:12 发布 1.6k 阅读 AI 写同款· GEO 优化 ›

C语言函数声明与定义：编译器视角的契约本质函数声明是C语言分离编译模型中的核心契约机制，它在编译阶段提前约定函数接口（参数类型、数量、返回值），使编译器能静态校验调用合法性，避免运行时类型错配；函数定义则提供具体实现，二者共同支撑多文件项目的模块化构建。这种声明/定义分离的设计，直接决定了头文件（.h）与源文件（.c）的职责边界，并成为链接器解析符号依赖、解决undefined reference错误的前提。理解该机制，是掌握C语言工程化开发、VSCode多文件编译配置及Makefile构建演进的基础。阅读详情

4.4.3 结构体和数组的初始化

在这一小节中，我们来讨论一下声明中的初始化。在不少程序设计语言的教材中，对变量的声明和定义是有严格区分的。但从C标准文法的角度来看，它们都是由非终结符Declaration产生的，因此对变量初始化的语义检查也在declchk.c中进行。我们先举一个例子来说明“我们在这一小节所处的起点和终点”，如图4.4.15所示。在图的左侧，我们给出初始化值{ {20},30}经语法分析后形成的语法树，这是我们本小节的起点；在图的右侧，由struct initData对象构成的链表则是我们对左侧语法树进行语义检查后构造的，dt.a在结构体对象dt中的偏移为0，而dt.c的偏移为8，因此图中offset为0的结点代表“我们需要把dt.a初始化为20”，而offset为8的结点代表“我们需要把dt.c初始化为30”，图中右侧的链表就是我们在本小节的终点。

图4.4.15 struct initData

结构体中允许存在位域成员，其初始化就需要经过一些位运算，如图4.4.16第1至第8行注释中的代码所示，对于第7行的pte而言，其实际所占的内存为4字节，我们需要先把初值3左移12位后，再跟初值64进行或运算，然后用所得结果((3<<12)|64)来初始化pte对象。图4.4.16第27至45行的PlaceBitField函数实现了左移运算，对于常量，在编译时我们就可在第31至34行进行常量折叠，而对于不是常量的操作数，我们才需要在第35至43行生成一个进行左移运算的语法树结点。而图4.4.16第9至26行的BORBitField函数实现了按位或运算。

图4.4.16 BORBitField()

接下来，我们来看一下对初值进行语义检查的函数CheckInitializer，如图4.4.17所示。图4.1.17第8至第18行的代码，用于处理形如第9行注释所示的数组初始化，“用字符串来初始化一维数组”是数组初始化的一个特例。图4.4.17第10行调用的CheckCharArrayInit函数用来处理一些非法的情况。函数CheckCharArrayInit的代码相对简单，我们就不再展开，只在图4.4.17第12至14行注释中给出一些错误示例。而对于结构体或联合体对象而言，其初值也可以是同类型的其他对象，如图第22至23行所示，第26行的CanAssign函数用于判断形如第23行的dt2和dt两者的类型是否匹配，我们已在前面的章节中分析过这个函数，第29至32行则生成一个st