新数据类型一般用struct形式创建。而基于类的对象系统也是一种定义新数据类型的方式。但是即使是基于类的对象系统，它也是用结构类型组成的。
5.1简单结果类型：struct
(struct struct-id (field-id ...))
结构形式绑定struct-id和一些标识符。
- struct-id:一个构造函数接受和field-id一样多的参数，然会返回一个实例。
- struct-id?:判断是否结构的实例
- struct-id-field-id：对每一个field-id，提取实例的相应字段值
- struct:struct-id:一个struct类型的描述，她的值代表了struct类型。
struct对字段没有限制，但是可以通过合同来约束它们。
5.2复制更新
struct-copy形式复制一个结构体和更新指定的字段。这个过能也被叫做功能性的更新，因为复制的结果是一个字段已经更新的结构体。原来的结构体不会被修改。
(struct-copy struct-id struct-expr [field-id expr] ...)
struct-id:相应的struct类型
struct-expr：struct实例
5.3结构子类
(struct struct-id super-id (field-id ...))
结构子类继承了超类的字段，且子类的构造方法接受子类的字段值在父类字段值之后。子类实例适用父类的谓词和访问方法。
5.4非透明和透明结构类型
结构体的打印形式不会显示任何字段的信息，也就是说，结构体默认是不透明的。如果访问方法对一个模块是私有的，其它模块则不能依赖类实例的表示。
使用#：transparent关键字可以使结构体透明。
透明类型打印形式向一个构造方法，所以可以显示字段值。透明类型也支持反射操作，像struct?和struct-info。
结构体默认是不透明的，这样可以提供更好的封装性。一个库能使用不透明对象来压缩数据，客户端也只能使用对象允许的方法。
5.5结构体比较
equal?比较透明对象时会循环比较字段值，而不透明对象则只比较标识符。
为了使用equal?比较不透明的对象，可以使用#:method关键子，实现三个方法gen:equal+hash
第一个方法实现两个函数笔记哦啊，第三个参数equal?-recur可以实现数据的循环处理。其它两个函数实现了第一个和第二个参数哈希码的生成，它主要被用在hash-table。
第一个函数不是不许递归比较结构体的字段。比如，一个代表集合的结构体只要比较成员是否相等，而不用管顺序。只要注意代表相同结构体的对象产生一样的哈希函数值。
5.6结构体类型生成
每次一个结构体执行，它都会产生一个新的结构体，即使两个结构体有相同的的名字和字段。它对抽象和实现编程很有用，比如解释器。
5.7 预制结构体类型
虽然struct以某种方式打印它的内容，但是打印形式不能被重新读取成struct，不想数字，字符串，符号，或者列表。
预制结构类型打印后能被读取。预制结构体的打印形式和向量类似，但它一#s开始不只是#，而且打印的一个元素是类型名称。
和number和string一样，预制struct是自引用的。无需使用引号来引用。使用#:prefab关键字，可以使结构体获得预制的能力。结构体的参数名和预制类型没有关系，只有结构体名称和字段个数有关。
预制结构体可以使用另外一个预制结构体作为父类，它能有可变字段，自动字段。结构体名称的打印形式可以通过类型名来编码这些相关的细节。
每个预制对象都市透明的，但是抽象层度比透明对象低，因为预制对象可以在没有结构体类型定义和存在的情况下创建对象。总的来说，通过不同的设置可以提供更抽象或者更便利的结构体。
- 不透明：实例在定义前无法检查或者伪造。在后面的章节构造守卫和属性可以进一步定制实例。
- 透明：在没有调用结构体构造方法时可以创建一个实例，也就是说打印值可以显示实例的的内容。但是所有实例对象的创建都是通过构造守卫的，所以实例内容是可以控制的，而且行为也可以通过属性来指定。因为结构类型通过它的定义获得，实例不能被简单的修改，也不能通过表达式读取来生成。
- 预制：任何时候都可以检查或者创造一个实例，无需预先访问结构体定义。表达式读取能直接产生实例。实例不能有构造守卫或者属性。
因为表达式读取可能生成预制对象，所以在序列化的便利性比抽象性更重要时很有用。不透明和透明对象也可以通过定义serizlizable-struct来序列化。
5.8更多结构类型选项
#:mutable
因为所有字段都市可变的，所以会引入修改器set-struct-id-field-id!来修改相应的字段。
它可以单独来设置字段。
(struct person (name [age #:mutable]))
#:auto-value auto-expr
#:auto表明字段是自动复制的。构造函数不会接受自动字段。字段字段默认是可变的，但是要提供#:mutator来生成修改器。
#:guard guard-expr
指定一个构造守卫程序会在结构体实例被创建时调用。守卫语句接受除了自动参数以外一样多的参数，加上一个实例的类型名。守卫程序应该返回相同数量的参数，除了实例的类型名。它能转化一个参数，也能在参数不合法时抛出一个异常。
守卫语句即使在子类实例也会被调用。在这种情况下，只有被子类接受的参数才会传递到父类守卫语句。
#:methods interface-expr [body ...]
为结构体定义符合接口的方法。比如实现gen:dict可以让结构体像一个字典一样使用。实现gen:custom-write让结构体可以定义显示。
#:property prop-expr val-expr
为结构体定义性质。比如prop:procedure允许结构体香一个函数一样使用，性质的值决定了结构体以函数来调用时怎么执行。
#:super super-expr
可以用来代替直接写在struct-id后面的super-id。super-id不能是一个表达式，但是super-expr可以产生一个结构体类型描述符的值。这样做的优势在于结构体类型描述符是值，所以能通过程序互相传递。
网友评论