05.2 复制和更新

5.2 复制和更新

struct-copy复制一个结构并可选地更新克隆中的指定字段。这个过程有时称为功能性更新（functional update），因为结果是一个具有更新字段值的结构。但原来的结构没有被修改。

(struct-copy struct-id struct-expr [field-id expr] ...)

出现在struct-copy后面的struct-id必须是由struct绑定的结构类型名称（即这个名称不能作为一个表达式直接被使用）。struct-expr必须产生结构类型的一个实例。结果是一个新实例，就像旧的结构类型一样，除这个被每个field-id标明的字段得到相应的expr的值之外。

例如：

> (define p1 (posn 1 2))
> (define p2 (struct-copy posn p1 [x 3]))
> (list (posn-x p2) (posn-y p2))
'(3 2)

> (list (posn-x p1) (posn-x p2))
'(1 3)