C++语句(声明语句、执行语句、空语句、复合语句)

由第1章已知，一个程序包含一个或多个程序单位(每个程序单位构成一个程序文件)。每一个程序单位由以下几个部分组成：

• 预处理命令。如#include命令和#define命令。
• 声明部分。例如对数据类型和函数的声明，以及对变量的定义。
• 函数。包括函数首部和函数体，在函数体中可以包含若干声明语句和执行语句。

如下面是一个完整的C++程序：

#include <iostream>//预处理命令
using namespace std;  //在函数之外的声明部分
int a=3;  //在函数之外的声明部分
int main( )//函数首部
{
  float b;//函数内的声明部分
  b=4.5;  //执行语句
  cout<<a<<b;//执行语句
  return 0;  //执行语句
}

如果一个变量在函数之外进行声明，此变量是全局变量，它的有效范围是从该行开始到本程序单位结束。如果一个变量在函数内声明，此变量是局部变量，它的有效范围是从该行开始到本函数结束。C++程序结构可以用图3.1表示。

图3.1

程序应该包括数据描述(由声明语句来实现)和数据操作(由执行语句来实现)。数据描述主要包括数据类型的声明、函数和变量的定义、变量的初始化等。数据操作的任务是对已提供的数据进行加工。

C++程序中最小的独立单位是语句(statement)。它相当于一篇文章中的一个句子。句子是用句号结束的。语句一般是用分号结束的(复合语句是以右花括号结束的)。

C++语句可以分为以下4种。

1. 声明语句

如int a, b;在C语言中，只有产生实际操作的才称为语句，对变量的定义不作为语句，而且要求对变量的定义必须出现在本块中所有程序语句之前。因此C程序员已经养成了一个习惯: 在函数或块的开头位置定义全部变量。在C++中，对变量(以及其他对象)的定义被认为是一条语句，并且可以出现在函数中的任何行，即可以放在其他程序语句可以出现的地方，也可以放在函数之外。这样更加灵活，可以很方便地实现变量的局部化(变量的作用范围从声明语句开始到本函数或本块结束)。

2. 执行语句

通知计算机完成一定的操作。执行语句包括以下几种。

1) 控制语句，完成一定的控制功能。C++有9种控制语句，即：

1. if( )~else~ (条件语句)
2. for( )~ (循环语句)
3. while( )~  (循环语句)
4. do~while( ) (循环语句)
5. continue(结束本次循环语句)
6. break(中止执行switch或循环语句)
7. switch  (多分支选择语句)
8. goto (转向语句)
9. return  (从函数返回语句)

2) 函数和流对象调用语句。函数调用语句由一次函数调用加一个分号构成一个语句，例如：

    sort(x, y,z);  //假设已定义了sort函数，它有3个参数
    cout<<x<<endl;  //流对象调用语句

3) 表达式语句。由一个表达式加一个分号构成一个语句。最典型的是：由赋值表达式构成一个赋值语句。

    i=i+1  //是一个赋值表达式
    i=i+1; //是一个赋值语句

任何一个表达式的最后加一个分号都可以成为一个语句。一个语句必须在最后出现分号。

表达式能构成语句是C和C++语言的一个重要特色。C++程序中大多数语句是表达式语句(包括函数调用语句)。

3. 空语句

下面是一个空语句：

   ;  // 该语句只有一个分号

即只有一个分号的语句，它什么也不做。有时用来做被转向点，或循环语句中的循环体。

4. 复合语句

可以用 { }把一些语句括起来成为复合语句。如下面是一个复合语句。

{
    z=x+y;
    if(z>100) z=z-100;
        cout<<z;
}

注意：复合语句中最后一个语句中最后的分号不能省略。

在本章中将介绍几种顺序执行的语句，在执行这些语句的过程中不会发生流程的控制转移。