程序设计技术和方法_sicp03-2.pdf

3. 模块化，对象和状态(2) 这本节课讨论： 基于变动数据和状态的模拟 修改表结构 共享和相等 赋值与表结构的变动（修改） 队列和表格 数字电路模拟 概念，模拟技术 实现 程序设计技术和方法 裘宗燕，2012-11-7 /1 用变动数据做模拟 考虑如何用具有局部状态的对象做模拟 按前面提出的方法，建立数据抽象时，应该定义一套构造函数和选择函 数，用它们封装数据抽象的具体实现 现在要基于对象（其状态可能变化）的观点构造系统 为模拟这种系统，需要有能随着计算而变化状态的复合数据对象 需要有修改状态的操作，将这种操作称为改变函数 （mutator） 例如，模拟银行账户时，表示它的数据结构应支持余额设置操作： (set-balance! account new-value) 下面继续用序对作为构造复合对象的通用粘合机制（Scheme 的基本构 造机制），这样就出现了一个新问题： 现在要构造的是状态可以变化的对象 为此需要有修改序对内容（从而改变数据结构）的操作 程序设计技术和方法 裘宗燕，2012-11-7 /2 表结构的变动 Scheme 的序对改变操作是set-car! 和set-cdr!，各有两个参数 修改作为其第一个参数的序对的car 或者cdr 部分 第二个参数作为修改中使用的值 假设x 的值为((a b) c d)，y 的值为(e f) 做(define z (cons y (cdr x)) 得到 (set-car! x y) 得到： 程序设计技术和方法 裘宗燕，2012-11-7 /3 表结构的变动 在x 的值为((a b) c d)，y 值为(e f) 的情况下执行(set-cdr! x y)： 总结和比较： ■ set-car! 和set-cdr! 修改已有的表结构（是破坏性操作） ■ cons 通过建立新序对的方式构建表结构（没有破坏性） ■ 可以用建立新序对的操作get-new-pair 和两个破坏性操作set-car! 和 set-cdr! 实现cons 程序设计技术和方法 裘宗燕，2012-11-7 /4 共享和相等 赋值引起“同一个”和“变动”问题。当不同数据 对象共享某些序对时，问题会暴露出来。例： (define x (list a b)) (define z1 (cons x x)) 得到的状态如右图 ■下面表达式产生另一个结构 (define z2 (cons (list a b) (list a b))) Scheme 里的符号总是共享的 ■ z1 和z2 貌似表示“同样”的表。只做car/cdr/cons 不能察觉其中是否存 在共享。如果能修改表结构，就会暴露共享的情况 (set-car! (car z1) wow) (set-car! (car z2) wow) z1 z2 ((wow b) wow b) ((wow b) a b) 程序设计技术和方法 裘宗燕，2012-11-7 /5 共享和相等 前面说过eq? 用于检查两个符号是否相同 实际上它是检查两个表达式的值是否为同一个实体 例如(eq? x y) 检查x 和y 的值是不是同一个对象（引用同一个对象） 由于Scheme 里符号的唯一性，(eq? a a) 得真 cons 总建立新序对，(eq? (