Racket异常谓词的来源及自动生成机制相关技术问询

• 你猜的没错，exn:fail?这类谓词是Racket的结构体定义机制自动生成的——不光是异常结构体，所有用struct宏定义的结构体都会自动生成对应的?结尾谓词。

• 文档位置说明：
  这个自动生成行为属于Racketstruct宏的核心特性，官方文档在结构体定义的通用章节中。因为exn:fail是通过struct宏基于exn定义的子结构体，所以自动生成的exn:fail?不会单独在异常专属文档里列出，而是统一归在结构体定义的通用规则下。

• 宏的工作原理：
  当你用struct宏定义结构体（比如自定义(struct exn:no-vowels exn ())）时，宏会展开为一系列底层代码：

  1. 创建结构体的类型标识
  2. 生成结构体的构造函数（比如exn:no-vowels）
  3. 若结构体包含字段，生成对应的访问器函数
  4. 自动生成以?结尾的谓词（如exn:no-vowels?），该谓词的作用是检查传入值的类型是否匹配当前结构体的类型标记。
     对于异常结构体，由于它们继承自exn，自动生成的谓词还会遵循继承规则——比如exn:fail?会对所有exn:fail的子结构体实例返回#t，这也是Racket异常层级体系的基础。

• 额外验证方法：你可以用(struct-info exn:fail)来查看exn:fail结构体的所有自动生成绑定，其中就包含exn:fail?的相关信息。

内容的提问来源于stack exchange，提问作者k huang