Racket类初始化规范：不变量检查的优选方式咨询

在Racket的面向对象编程实践中，将不变量检查逻辑放在类定义内部是更符合通用规范的方式，核心原因如下：

• 所有创建类实例的途径（包括直接调用new、子类继承后调用super-new）都会自动触发校验，从根源上避免出现绕过检查创建非法实例的情况。
• 校验逻辑和类的定义绑定在一起，代码结构更清晰，符合封装原则。

你的第一种写法是规范的实现方式，补充完整的可运行示例：

(class object%
  (init age)

  ;; 初始化阶段直接检查年龄的不变量
  (when (<= age 0)
    (error "Age cannot be 0 or less."))

  (define age- age)
  (super-new)) ; 必须调用super-new完成父类初始化

;; 合法实例创建
(new this% [age 20])
;; 触发错误的非法调用（取消注释可测试）
; (new this% [age 0])

而手动编写构造函数的方式存在明显局限性：如果其他代码直接使用new创建实例，就会绕过你的校验逻辑，导致非法实例被创建。除非你能强制所有代码都通过自定义构造函数创建实例，但这种约束在团队协作或大型项目中很难维持，不符合Racket面向对象的设计意图。

内容的提问来源于stack exchange，提问作者Rouan van Dalen