第七章·山脊横渡：元编程与互操作

第七章 · 山脊横渡：元编程与互操作

章节摘要：主峰之后是横切山脊——编译期元编程与跨语言互操作。宏在编译期生成代码，是把类型系统的表达力再推一层；与 Java、JavaScript 的互操作则是 Scala 能活在真实工程里的原因。本章三节分别讲宏的能力边界、Java 互操作的双向细节与 Scala.js 的前端路线。

学习目标

• 解释宏"编译期展开"的时机与 inline 的关系
• 说出 Scala 3 宏（引用与镜）与 Scala 2 宏的分野
• 在 Scala 中流畅使用 Java 集合、函数式接口与受检异常
• 描述 Scala.js 的编译产物形态与两种语言的类型鸿沟

核心概念速览

金句：宏是"写代码的代码"，但它活在编译期——运行时的产物与手写代码毫无区别。

子章节导航

• 7.1 宏：编译期代码生成：inline 与引用宏，能做什么、何时别用。
• 7.2 与 Java 互操作：集合转换、SAM、函数桥接、异常的落差。
• 7.3 Scala.js 与前端互操作：编译到 JavaScript 的路线与代价。

子章节之间的逻辑关系

三节同属"越界"主题：宏越过运行期与编译期的界（7.1），后两节越过语言的界（7.2 向 JVM 内的 Java，7.3 向 JVM 外的 JavaScript）。越界能力是 Scala 作为"工程语言"而非"研究语言"的立身之本。

[编译期越界：宏]      —— 表达力换复杂度
[语言内越界：Java]    —— 生态复用，几乎免费
[语言外越界：Scala.js] —— 平台扩张，类型翻译有价
​

前置知识与后续延伸

前置：第五章（宏操作的就是类型与 AST）。延伸：8.1 的构建链路会决定宏的编译顺序；8.3 生态里的 JSON 库派生大量依赖本章的宏。

本章主线：一份核心逻辑，三个编译目标

温度工具走到这里可以分成三层：核心计算（纯 Scala，零依赖）、平台绑定（JVM 服务、浏览器页面、原生可执行各一份）、互操作门面（给 Java 同事的稳定 API）。三层分离后，宏负责消灭核心层的样板代码，互操作章负责把边界收窄到一行转换，Scala.js 负责把同一份核心送进浏览器——山脊横渡的要领从来不是走得快，而是每一步都踩在"类型仍然有效"的岩点上。

检查点

• 能区分 inline、宏方法、derives 各自的展开时机与适用面
• 能说出 Java 调用 Scala 库时默认参数、集合、Option 三处必做的边界处理
• 能解释 Scala.js 产物与传统 JVM 运行方式的本质差别

工具链一图流

三条横渡路线各有装备清单：元编程线只要 Scala 3 编译器自带能力（inline、quotes、derives）；JVM 互操作线需要 scala-collection-contrib 与 JDK 并发包的耐心；前端线需要 Scala.js 插件加一个打包器（Vite 或 webpack）。共同点是多一个编译目标就多一份 CI 矩阵——下撤到第八章搭工程时，记得给每条路线单独留一条构建流水线。

常见误区

• 把宏当运行时反射用，结果编译期拿不到想要的数据
• 混编项目里让 Java 直接调 Scala 特质，撞上默认参数与伴生对象的隐形墙
• 以为 Scala.js 是"跑个 JVM 在浏览器里"，实际产物就是普通 JS，npm 包可以直接依赖。三条认识都来自真实返工：宏当反射用、裸调特质、误解 Scala.js 产物形态，返工成本一次比一次高，提前记下能省整晚排查
  横渡章还有个隐藏收益值得一提：宏与互操作这两块"编译器视角"的知识，会让你回头看第五章类型系统时突然通透——类型检查、展开、生成，本来就是同一条流水线上的三站。