C语言程序由以下几部分构成：
预处理指令（Preprocessor directives）：以"#"符号开头的指令，用于对源代码进行预处理操作，例如包含头文件、宏定义等。
函数（Functions）：由函数头和函数体组成，用于封装一段可重复使用的代码。
变量（Variables）：用于存储数据的容器，每个变量都有一个类型和一个名字，可以通过名字访问和操作变量的值。
语句（Statements）：执行特定操作的代码行，例如赋值语句、条件语句、循环语句等。
注释（Comments）：用于给代码添加说明和注解，编译器会忽略注释部分。
标识符（Identifiers）：用于标识变量、函数、类型等的名字，由字母、数字和下划线组成，必须以字母或下划线开头。
运算符（Operators）：用于执行各种数学和逻辑运算，例如加减乘除、赋值、比较等。
控制结构（Control structures）：用于控制程序的执行流程，例如条件语句（if-else）、循环语句（for、while）等。
类型（Types）：定义变量的数据类型，例如整型、浮点型、字符型等。
头文件（Header files）：包含函数声明、宏定义等内容的文件，可以通过#include指令引入到程序中。
源文件（Source files）：包含实际的C代码的文件，通常以".c"扩展名结尾。
编译器（Compiler）：将源代码转换为可执行文件的工具，将C语言程序编译成机器码。
这些组成部分共同构成了一个完整的C语言程序。