在程序中,用户用标识符定义了不少名 字来代表不同的数据对象,编译程序将这 些名字保存在符号表中。符号表除了记 录名字本身而外,还记录了与名字关联的 各种属性信息

数据类型(Type) 一、数据类型:是数据结构的表现形式 二、决定了该类型的变量或者常量的取值范围 三、决定了该类型的变量或者常量可以执行哪些操作

7.1 继承与派生 7.2 多继承 7.3 类的继承方式 7.4 派生类的构造和析构函数 7.5 派生中成员的标识与访问 7.6 虚基类

6.1 指针的概念 6.2 指针型变量 6.3 指针与数组 6.4 指针与函数 6.5 指针与类、对象 6.7 动态内存分配与new和delete运算符 6.8 string类

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

5.1 作用域与可见性 5.2 生存期 5.3 局部变量和全局变量 5.4 静态成员 5.5 友元 5.6 常类型 5.7 多文件结构 5.8 编译预处理

1.说明:本程序寻找160以内的素数该数的倒数(如123的 倒序数为321)、数和、数码积不是素数是1:

3.1 数组的基本概念 3.2 一维数组 3.3 多维数组 3.4 数组作为函数的参数 3.5 数组与字符串 3.6 数组应用举例 3.7 构造数据类型

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）