9.4 编程语言共同概念

9.4.1 标识符

所有计算机语言的共同特点之一就是都具有标识符，即对象的名称。标识符允许给程序中的对象命名。

这里的对象不是面向对象语言中的对象，而是变量，常量，函数，类等。

根据编程语言的不同，标识符的组成规则也各有不同。

9.4.2 数据类型

数据类型定义了一系列值及应用于这些值的一系列操作。

每种数据类型值的集合称为数据类型的域。

数据类型一般有两类：

• 简单数据类型
  整数类型：不包括小数部分的整数。
  实数类型：带小数部分的数字。
  字符类型：被语言使用的潜在字符集中的符号。
  布尔类型：只取两个值（真或假）的数据类型。

• 复合数据类型
  数组：一组具有相同类型的元素。
  记录：一组可以具有不同类型的元素。

9.4.3 变量

变量是存储单元的名字。变量具有类型。

变量声明
大多数过程式语言和面向对象语言要求变量在使用前被声明。声明告知计算机被赋予了名字和类型的变量将在程序中使用。计算机预留出存储区域并命名它。

变量初始化
在变量声明时，给变量存储一个初始值。
根据语言和类型的不同，如果变量没有初始化，变量里面的值可能有不同的设定。

9.4.4 字面值

字面值是程序中使用的预定义的值。

在大多数语言中，可以有整数、实数、字符、布尔和字符串字面值。

大多数语言要求字符类型的字面值被括在引号中。

9.4.5 常量

常量是一个可以存储值的命名的位置，但值在程序开始处被定义后，就不能再改变。

通常用于存储具有固定含义的值。

9.4.6 输入和输出

几乎所有的程序都需要输入和输出数据。

数据通过语句或者通过预先定义的函数来完成输入和输出。

9.4.7 运算符

运算符是用来完成一个动作的特定语言的语法记号。运算符可能有若干个操作数。

• 算术运算符

• 关系运算符

• 逻辑运算符

9.4.8 表达式

表达式是一个由操作数和运算符组成的序列，可以化简为一个单一数值。

例如：
表达式：2*5+3
值为：13

9.4.9 语句

每条语句使程序执行一个相应动作。它被直接翻译成一条或者多条计算机可执行的指令。

常见的语句有：

• 赋值语句：给变量赋值。

• 复合语句：包含0个或多个语句的代码单元。

• 控制语句：控制语句控制程序的走向。

  • 判断（选择）语句

    

  • 循环语句

    

9.4.10 子程序

子程序是完成一个相对独立任务的若干语句的集合。

子程序可以重复调用，使程序易于复用和读懂。

子程序构成

• 局部变量
  子程序在其内部可以声明和使用局部变量，当子程序返回时，局部变量被销毁。

• 参数
  主程序向子程序传递数据或者对象，由子程序进行处理，这些数据和对象称为参数。
  在主程序中称为实际参数。在子程序中称为形式参数。

• 实现
  子程序对参数和局部变量进行操作，实现功能。

• 返回值
  子程序将运行结果返回给主程序。

传值参数

在传值参数中，主程序和子程序创建两个不同的对象，主程序单方向传递值给子程序。

主程序传递实际参数的值，存储到子程序中相应的形式参数中。
从子程序到主程序没有参数的通信。

传引用参数

传运用被设计用来允许子程序改变主程序中变量的值。

在传引用中，变量被主程序和子程序共享。