一个C语言程序主要由以下部分组成：
数据类型：包括整型、字符型、实型、枚举类型、数组类型、结构体类型、共用体类型、指针类型和空类型。这些数据类型用于定义程序中变量的类型。
常量与变量：
数组：用于存储多个同类型元素的集合，数组名后跟着带有数字的中括号进行声明。字符串也是一种特殊的数组，以ASCII的NULL字符作为结束标志。
指针：用于存储变量的内存地址，也可以是数组、数组元素、函数的地址。指针在函数调用过程中可以实现多个返回值的传递。
字符串：以0字符结尾的char型数组，使用字符串需要C标准库中的一些函数进行操作，与普通的字符数组有所不同。
文件输入/输出：通过标准库中的一组函数实现数据的读写操作，这些函数在ANSI C中被定义在特定的头文件中。
综上所述，C语言程序通过这些组成部分实现了结构化程序设计和各种功能需求。