3.1 引言

在第2章中我们讨论了数据对象在程序中的表示，对各种数据类型进行了分析和讨论，并简单介绍了各种基本数据类型的实现模型。各种语言程序为了实现对问题的求解，除了提供对数据对象的表示外，还提供了各种各样的数据处理操作，这些操作按特定的顺序来执行。此外，语言还提供了描述(表示)程序中执行顺序的机制，即提供了描述算法的工具，通常把这些机制称为控制结构(Control Structure)。

所谓控制结构是程序员用来规定各个成分执行流程的控制机制。为了能流畅地书写程序，语言提供了丰富的控制语句。归纳起来，有语句执行顺序控制和程序单元执行顺序控制。对语句执行顺序的控制称为语句级控制(Statement-level Control)，对程序单元执行的控制称为单元级控制(Unit-level Control)。

除了语言本身定义的控制结构外，有些语言还提供了用户定义控制结构的机制，这些已超出本书的讨论范围，此处不对其进行深入研究。