目录

1 数据类型

2 常量

3 变量

4 运算符

5 表达式

6 标识符

7 关键字

8 数组

9 基本控制结构

10 函数

11 输入和输出

12 解释器和编译器

高级语言与计算机的硬件结构及指令系统无关，它有更强的表达能力，可方便地表示数据的运算和程序的控制结构，能更好的描述各种算法，而且容易学习掌握。

程序设计语言的类型：命令式语言。这种语言的语义基础是模拟“数据存储/数据操作”的图灵机可计算模型，十分符合现代计算机体系结构的自然实现方式。其中产生操作的主要途径是依赖语句或命令产生的副作用。现代流行的大多数语言都是这一类型，比如 Fortran、Pascal、Cobol、C、C++、Basic、Ada、Java、C# 等，各种脚本语言也被看作是此种类型。

函数式语言。这种语言的语义基础是基于数学函数概念的值映射的λ算子可计算模型。这种语言非常适合于进行人工智能等工作的计算。典型的函数式语言如 Lisp、Haskell、ML、Scheme 、F#等。

逻辑式语言。这种语言的语义基础是基于一组已知规则的形式逻辑系统。这种语言主要用在专家系统的实现中。最著名的逻辑式语言是 Prolog。

面向对象语言。现代语言中的大多数都提供面向对象的支持，但有些语言是直接建立在面向对象基本模型上的，语言的语法形式的语义就是基本对象操作。主要的纯面向对象语言是 Smalltalk。

开发的编程语言越来越多，但编程语言的发展都有承前启后的特点。往往一个编程语言的出现，是针对特定的问题，借鉴和加强开发者自己熟悉的语言开发出的一种新的编程语言。虽然每种高级编程语言的语法、命令格式各不相同，但不管什么编程语言，都会一些共同的思路和元素。

1 数据类型

数据类型描述了数据在内存存储区中占据的空间大小，数据能够表示的数据范围。

一般有整型、实型、布尔型、字符型、数组型等；

在开发应用程序过程中，经常需要进行数据类型转换，但存在一定的危险，因为存储空间大小的区别，可能导致数据部分丢失。

2 常量

其值不变的量。一般分为字面常量和符号常量。字面常量如“1”、“123”、“abc”等，如果同一常量需要在程序中多次使用时，可以考虑定义符号常量；

一般分为整型、浮点型、逻辑型、字符型、字符串型、枚举；

3 变量

其值改变的量。一些语言在使用时首先要声明，或赋初值。

4 运算符

连接数据的纽带。

一般有赋值、算术、逻辑、关系、位移等类型；

运算符需要区分优先级。

5 表达式

由常量、变量、运算符和数据组成，其目的是为获得值，表达式位于赋值语句的右边，其返回值可以被程序利用。

一般有赋值、算术、逻辑、条件、强制类型转换等类型；

表达式需要考虑结合性，也就是表达式的整体计算方向，即从左向右或从右向左，如表达式：nRet = x+y+z，表达式x+y+z是从左向右，而赋值表达式则 是从右向左。

6 标识符

常量名、变量名、函数名、类名和对象名对首字符、其它字符和字符长度都有特殊要求。

7 关键字

具有特定含义的标识符，不能用来作变更名、函数名等，如int、while等。

8 数组

一种数据结构，一个有序数据的集合。有序是指系统在存放的时候会为数据元素在内存的存储区域中开辟一块连续的区域，用一个确定的顺序存放。

9 基本控制结构顺序结构：语句逐条执行，程序的书写顺序就是程序的执行顺序；

选择结构：针对程序中的多组语句，只能根据条件执行其中的一组；一般使用if, switch等关键字；

循环结构：是指一组语句在一定条件控制下多次重复执行；一般使用for, while, break, continue等关键字；

现实生活中的许多逻辑不能用顺序执行方式描述，实际生活中有些问题需要做判断、做选择，所以在程序设计中，用选择结构和循环结构，开发人员可以按照实际问题的逻辑思路编写程序代码。

10 函数

处理数据(常量、变量或数据等)并返回一个值或不返回值的一组代码。一般由数据类型、函数名、用符号“{}”括起来的一堆代码。

函数通常有语言自定义的函数以及允许用户自定义的函数。

11 输入和输出

程序的内容按基本功能可以区分输入、处理、输出三部分，每一种编程语言都有基本的输入输出语句或函数实现输入和输出的功能。

12 解释器和编译器

开发者设计好语法规则后，最终需要开发出解释器或编译器，按开发好的语言写出来的代码需要先转换为二进制机器码才能被计算机执行。

－End－