密封类几何体系定义方法解析

本文深入阐述了如何利用密封类（sealed class）构建安全、可控且可验证的几何图形体系，强调其核心价值在于将“合法图形类型”这一设计契约从文档约定升级为编译期强制保障：通过封禁外部继承、限定子类集合、配合私有构造+伴生对象工厂方法实现受控实例化，结合when表达式的穷举匹配杜绝遗漏与运行时异常，并依托不可变data class确保状态一致性与线程安全——这种轻量却严谨的设计范式，特别适用于SVG渲染器、CAD内核、物理引擎等对形状语义固定、行为约束严苛的关键场景。

用密封类（sealed class）定义框架内部受限的几何图形体系，核心是**在编译期封禁外部扩展、明确限定子类型集合、配合密封接口或伴生对象实现安全构造与模式匹配**。它不追求开放继承，而是强调“已知且可控”的类型边界，特别适合几何建模中形状语义固定、行为需严格约束的场景（如 SVG 渲染器、CAD 内核、物理碰撞体抽象）。

用密封类固化几何图元的合法种类

将所有框架认可的基础图形声明为密封类的直接子类，禁止外部新增实现：

• 子类必须与密封类在同一文件中（Kotlin）或同一模块内（C#），天然隔离外部污染
• 例如：sealed class Shape 下只允许 Circle、Rect、Polygon、Path 四个具体类 —— 框架逻辑可默认穷举处理，无需防御性 else 分支
• 避免使用 open class + final class 组合，后者无法阻止用户新写一个 class MyCustomShape : Shape()

通过密封接口+私有构造限制实例化入口

若需进一步控制创建方式（如要求带单位校验、坐标系归一化），可将密封类设为 private constructor，并提供受控的工厂方法：

• 在 Shape 声明中隐藏构造器：sealed class Shape private constructor()
• 在伴生对象中暴露静态构造函数：companion object { fun circle(center: Point, radius: Double): Shape = Circle(center, radius) }
• 工厂内可做预检：如拒绝负半径、自动闭合未封闭多边形、统一转为归一化坐标系

配合 when 表达式实现无遗漏的安全分发

密封类使 when 成为真正可穷举的模式匹配工具，编译器强制覆盖所有子类型：

• 计算面积时：fun area(shape: Shape): Double = when(shape) { is Circle -> ...; is Rect -> ...; is Polygon -> ... } —— 编译器确保新增图形时必须更新此逻辑
• 序列化时可绑定专属格式：when(shape) { is Circle -> json("type":"circle", "r":shape.r) }，避免运行时 ClassCastException
• 禁止使用 else 分支（除非显式处理未知情况），否则失去类型安全性优势

与不可变数据类协同保障状态安全

每个具体图形子类应声明为 data class（Kotlin）或 record（Java）并设为 val / readonly 字段：

• data class Circle(val center: Point, val radius: Double) : Shape() —— 属性不可变，线程安全，结构相等语义天然支持
• 避免在子类中暴露 setter 或可变集合（如 var points: MutableList），防止外部篡改几何一致性
• 若需变形操作（如缩放、平移），返回新实例：fun scale(factor: Double): Shape = this.copy(radius = radius * factor)

不复杂但容易忽略：密封类的价值不在语法炫技，而在于把“哪些图形合法”这个设计契约从文档和约定，变成编译器可验证的事实。只要守住构造入口、穷举分支、冻结状态，几何体系就既轻量又牢靠。

今天关于《密封类几何体系定义方法解析》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！