##作用域是逻辑结构(语言定下作用域规则,控制对象的可见性)
##生存周期是物理结构(分配销毁内存,对象存在的物质基础)
##在作用域内:对象可以供当前环境使用。是否开始了生存周期?供使用的正确的值
##在生存周期中:对象存在与内存上。根据作用域规则,是否允许程序使用
作用域控制可见性——作用域内外(进入可见;离开不可见);交集(嵌套,失活激活)可见性;控制导入导出
生存周期——内存空间的分配与释放。存在多久,提前回收
生存周期:占据空间并能保持数据的时间
##将生存期与作用域挂钩成批垃圾回收:Java
变量按生存期分类:
1.全局变量:生存期:整个执行期间
2.局部变量:生存期:一个子程序的执行期间
生存期提升:函数作用域中静态变量:生存期变成全局,作用域 不变
作用域的分类:是否允许两两嵌套?
全局作用域
子程序作用域
模块作用域:子程序共享 静态变量
类作用域:方法共享类变量
##模块作为类型(多个实例):与类作用域区别?
管理器风格模块:只能从模块导出抽象类型(单实例类?)
模块类型:本身为一种类型
使用方法
管理器:显式导出
模块类型:实例创建与销毁
类=模块类型+继承(精化抽象)
类的实例:类对象
面向对象类型的三个基本概念:封装、继承、动态方法约束
9.1面向对象设计
模块与模块类型提供的抽象:解耦合(从图的角度解释解耦合、内部实现、外部接口。从底向上逐步抽象)
1.减少概念负担与细节量
2.故障遏制
3.提高程序部件间的独立性,修改内部实现避免改动外部代码
面向对象
更容易的扩展与精化(继承)现有抽象,定义新抽象,提高代码重用(动态约束)
创造对象:调用定义的初始化例程:构造函数
##例程:编译器定义的执行时动作(生成代码,执行代码)?
公有与私有成员(类内外可见性控制)
类的信息(定义)可放在类声明外
声明中包含足够的信息(编译器获得对象大小)
简化的类声明:.h头文件
函数体:.cc实现文件
必须用作用域解析符::在方法定义的头部指明(方法)所属的类,显式访问类对象(类变量?)
直接访问记录域的操作——类实例对象上的操作
派生:继承已有属性与方法
类层次结构
创建通用元素的基类,只包含操作与所需的数据
派生出特定类型
定义模板,实现类型实例化
重载构造函数
不一定保证执行基类的构造函数
重载域与方法
显式访问基类
隐式访问
为了将任意大小、类型对象放入固定大小的对象
选择放入其引用
可以在不了解类型与大小的情况下对其静态分配
9.2封装与继承
封装:数据与对其操作的子程序组织在一起,隐藏实现细节
9.2.1模块
利用作用域规则,隐藏数据:选择性导出接口
头部:声明:选择导出的名字
体:定义
非透明类型:只能由模块定义的子程序操作模块中的数据
在头部分出公用部分与私用部分
没有模块头部:编译器自动从模块正文中整理出头部
9.2.2类
基类对其成员的可见性控制,相对于派生类
默认可见性,指定可见性,修改可见性
C++ public private protected
python 类成员 public
9.2.3嵌套类
类声明的嵌套
对比函数
内外层可见性
java 内层类,局部类:支持闭包机制
9.2.4类型扩展
部分语言未改动现有的模块机制,通过扩充记录的机制提供继承和动态方法约束
9.2.5不使用继承扩展
js不允许为现有类添加方法
9.3初始化和终结处理
对象生存期:占据空间并能保持数据的时间
生存期开始——自动初始化:子程序形式:构造函数
构造函数并不分配空间(生存期已经开始),在已分配好的空间完成初始化工作
构造函数的选择:重载或多个名字
引用与值
如果对象是引用:必须显示创建:引用合适的对象
值:声明加工后创建,隐式发生:允许对象未初始化的形式开始生命周期 或 提供一种方式,通过加工产生的对象选择合适的构造函数
执行顺序:初始化顺序(隐式调用,显式控制?),重载处理
废料收集
9.3.1构造函数选择
重载:识别合适的函数签名
9.3.2引用与值
引用模型中,传给变量的每个对象都是显式创造的(引用合适的对象)容易保证能调用适当的构造函数
使用值模型:给变量创建对象时,可以作为声明加工的结果而隐式发生
复制构造函数
只有一个参数(完整对象)
表示初始化,而不是赋值
c++中初始化与赋值的差别会对性能造成影响
9.3.3执行顺序
是否要求自动调用基类的构造函数
9.3.4废料收集
析构函数
自定义对象分配在了哪儿?根据对象声明的位置而定
函数,类,模块声明的嵌套
多重继承:
歧义时优先级?
9.4动态方法约束
继承:类型扩展的重要结果
没有隐藏任何公共&可见成员的派生类:子类
子类型多态性:
派生类(子类)可用于期望基类的上下文(上下文:期望,限定了出现的对象的值域)
特殊 一般
静态方法约束:根据引用的类型做选择
动态:根据对象的类做选择
python动态
java默认动态,改静态
c++默认静态,改动态
抽象类:至少含一个抽象方法
静态方法约束:编译器总能基于类实例对象的类型(强类型)找到对应的方法版本
动态:对象需要包含足够的信息(所属类型,属性查找,继承链)