C语言程序主要由以下几个部分构成：
函数：
函数是C语言程序的基本单元，用于完成特定的任务。一个C语言程序由多个函数构成，每个函数都有自己的功能。程序运行时，系统会自动调用主函数（main函数），而其他函数需要开发者手动调用。
变量：
变量用来存储数据。在C语言中，数据类型包括整型、字符型、实型或浮点型（单精度和双精度）、枚举类型、数组类型、结构体类型、共用体类型、指针类型和空类型等。
语句：
语句用来控制程序的执行流程。C语言中的语句包括声明语句、表达式语句和控制流语句（如if语句、while循环、for循环等）。
表达式：
表达式用来进行数学或逻辑运算。表达式由变量、常量、运算符和函数调用等构成，用于计算并返回一个值。
预处理指令：
预处理指令用于引入头文件、宏定义等，例如`include`。
注释：
注释用于解释说明代码的作用和细节，提高代码的可读性。C语言中的注释以`//`或`/* ... */`形式出现。
标识符：
标识符用于命名变量、函数、宏等程序实体，它们必须遵循一定的命名规则。
数据类型：
如前所述，数据类型定义了变量或表达式中可以存储的数据种类和取值范围。
常量与变量：
常量是在程序运行过程中其值保持不变的量，而变量是可以取不同值的存储单元。
数组：
数组是一种数据结构，用于存储一系列相同类型的数据元素。
指针：
指针是一种存储变量地址的变量，用于间接访问和修改存储在内存中的数据。
字符串：
字符串是一系列字符的集合，通常以空字符（`\0`）结尾。
文件输入/输出：
C语言程序可以通过文件进行数据的输入和输出操作。
控制结构：
控制结构用于控制程序的执行流程，如if语句、while循环、for循环等。
运算符：
运算符用于执行各种算术、逻辑和关系运算。
库和头文件：
C语言程序可以利用标准库和用户定义的库函数，这些通常通过头文件引入。
综上所述，C语言程序是由函数、变量、语句、表达式、预处理指令、注释、标识符、数据类型、常量与变量、数组、指针、字符串、文件输入/输出、运算符、控制结构以及库和头文件共同构成的。