第三章：面向对象编程进阶

第三章 · 面向对象编程进阶

章节摘要：这一章解决 Java 单继承体系解决不了的问题——行为复用、运行时增强、类型边界。我们会拆解特质（Traits）如何用"组合"替代"继承"，类别（Categories）与 Mixin 如何在限定或全局范围内动态增强既有类，以及内部类与泛型在动态语言里如何守住类型安全。读完本章，你能设计出比 Java 继承体系更灵活的代码结构，并清楚每类机制的使用边界。

本节目标

阅读完本章，你应当能够：

1. 用 trait 定义可复用的行为单元，并解释特质与接口、抽象类的本质差异。
2. 理解多特质组合时的线性化规则，能预判方法冲突的解析顺序，并会用显式消歧语法。
3. 用 as 做运行时动态特质组合，理解代理对象的机制与代价。
4. 区分类别与 Mixin 的作用域差异，能按场景选择"临时增强"还是"全局增强"。
5. 解释 Groovy 中匿名内部类对变量捕获与 Java 的差异。
6. 说明泛型在动态模式下的行为（擦除、被忽略）与 @CompileStatic 下的严格检查。
7. 判断一个横切能力该用特质、类别还是继承实现。

核心概念速览

判断一句：Groovy 面向对象进阶的核心思想是把"是什么"（Is-A）的继承关系，改写成"能做什么"（Can-Do）的组合关系，同时保留必要的类型安全底线。

子章节导航

3.1 特质：组合优于继承的 JVM 实现

特质是 Groovy 解决多行为复用的核心机制，介于接口与抽象类之间。本节讲它的定义、多特质组合、线性化冲突解决、运行时动态组合，以及它与 Java 默认方法的对比。

3.2 类别与 Mixin：运行时增强的作用域之争

类别用 use 块把增强限定在局部作用域，Mixin 把增强注入全局。本节对比两者的生命周期、线程安全与适用场景，并深入 MOP 的方法分派链。

3.3 内部类与泛型：动态语言里的类型边界

匿名内部类的变量捕获在 Groovy 里更宽松，泛型在动态模式被忽略、在静态模式被严格执行。本节讲清这些差异背后的机制，以及"渐进式类型策略"怎么落地。

子章节之间的逻辑关系

本章按"静态组合 → 动态增强 → 类型边界"推进。特质是编译期的组合能力，类别/Mixin 是运行时的注入能力，内部类与泛型是守住结构的能力。三者互补，构成完整的进阶体系。

3.1 特质（静态组合）  ──►  3.2 类别/Mixin（动态注入）
        │                              │
        └──────────────┬───────────────┘
                       ▼
          3.3 内部类与泛型（守住结构与类型）
​

前置知识与后续延伸

• 前置知识：第 2 章的闭包（特质组合与闭包相关）；Java 的接口、抽象类、匿名内部类经验。
• 为后续铺垫：3.1 的 trait 是第 5 章 DSL 与第 8 章设计模式的基础；3.2 的 MOP 是第 4 章元编程的入口；3.3 的 @CompileStatic 话题在第 4.3 节深入展开。

如果你在 Java 里为"想复用这段行为但不想改继承链"痛苦过，这一章就是为你准备的。

本章的阅读策略

第三章的信息结构比第二章更抽象，因为讲的是"机制背后的设计思想"而不是"怎么敲代码"。三个策略帮你保持主线。

第一，抓住"三种增强的谱系"。本章其实在讲一个连续谱：特质（编译期静态组合）→ 类别（运行时局部增强）→ Mixin（运行时全局增强）。它们在谱上的位置决定了生命周期、作用域、性能代价。把这张谱记在心里，读每节时都知道它站在哪。

第二，用"表达式问题"统摄全局。三个小节其实都是"不修改既有代码、却要扩展行为"这个问题的不同解法。特质是"显式声明我要组合"，类别是"临时借用一下"，Mixin 是"永久安装"。带着这个问题读，三节的逻辑就串起来了。

第三，性能意识要跟上。这一章的机制都有运行时或编译期代价：特质有桥接方法，类别有栈开销，Mixin 会让缓存失效，泛型擦除在动态模式带来类型风险。每学一个机制，都问一句"它的代价在哪"。

本章的产出检查

读完后用四个问题自检：能不能说清特质和接口默认方法的区别？能不能判断一个增强需求该用特质、类别还是 Mixin？知不知道动态模式下泛型为什么是"愿望清单"？能不能为项目的三个代码区域制定类型策略？四个问题都能答，本章就过关了。

⚠️ 常见坑：把三类增强混为一谈，以为"都能给类加方法，随便用"。它们的生命周期、作用域、性能代价完全不同——特质是正式成员、类别是临时访客、Mixin 是全局安装。选错机制，轻则作用域错误，重则全局污染。

💡 学习建议：读 3.2 时重点理解"类别栈是线程局部的"这个机制——它决定了类别为什么比 Mixin 安全。理解了"栈"的模型，类别的一切行为都变得可预测。

本章与前后章节的关系

第三章是第 2 章（语法基础）的上层抽象：闭包是"行为复用"的语法基础，特质/类别/Mixin 是"行为复用"的面向对象实现。同时它又是第 4 章（元编程）的入口：类别的 use 块、Mixin 的注入，本质都是在操作元类——第 4.1 节会把 ExpandoMetaClass 这张更大的网展开。类型策略的讨论则直接呼应第 4.3 节的静态编译控制。可以说第三章是"面向对象思维"与"元编程思维"之间的过渡带，读好这一章，进入第 4 章时会从容得多。特别建议把 3.2 的类别与 3.3 的泛型对照着读——一个管"运行时怎么注入行为"，一个管"类型边界怎么守住"，合起来就是动态语言在"灵活与可靠"之间找平衡的完整画面。