Java SE 17 Developer (1Z0-829)

**Sealed classes 必须和 permits 子类在同一模块** — 如果项目未模块化（unnamed module），permits 的子类必须在同一包里；如果模块化了，必须在同一命名模块里。跨模块的 sealed 继承是编译错误。另外 permits 子类三选一：`final`（不可再继承）、`sealed`（继续限制）、`non-sealed`（开放继承）。漏掉这三个修饰符之一直接编译失败。

**Record canonical constructor 的赋值规则** — 紧凑构造器（compact constructor）里可以校验和修改参数（`if (x < 0) throw ...; x = Math.abs(x);`），但**不能**显式赋值给 this 的字段（`this.x = x;` 是编译错误），因为 JVM 会在构造器末尾自动做所有字段赋值。这和普通类的构造器行为完全相反，考试必考。

**Pattern matching for instanceof 的作用域是流敏感的** — `if (obj instanceof String s && s.length() > 0)` 里的 `s` 只在 && 之后的分支和 if body 内可见；`if (!(obj instanceof String s)) return; // s here is visible!` 这种反向判断后 s 反而在下面可见。考题经常用 else 分支或 return 后的代码测试你对"作用域穿透"的理解。

**Modules vs Classpath 的回退行为** — 模块化 JAR 放到 classpath 上会变成 unnamed module，所有 exports 失效（等于全开放）；非模块化 JAR 放到 module path 上会变成 automatic module，模块名从 MANIFEST 的 Automatic-Module-Name 或文件名推导。这俩方向的混用规则每次必考一道理解题。

**var 的局部类型推导限制** — `var x = null` 编译错误（无法推导）、`var arr = {1,2,3}` 编译错误（数组初始化器必须明确类型）、`var` 不能用于 lambda 参数以外的方法参数、不能用于字段、不能用于方法返回类型。但 `var` **可以**用于 lambda 参数（Java 11+）且此时可以加注解：`(@NonNull var x) -> x.length()`。

**Switch expression 的穷尽性检查** — 对 sealed 类型做 switch 表达式时，如果 permits 的所有子类都被覆盖，编译器不要求 default 分支；如果新增一个 permits 子类但没更新 switch，会编译报错。这是 sealed + switch 组合的核心价值。但对普通类型（如 int、String）做 switch 表达式，必须有 default 或覆盖所有 enum 常量。

**CompletableFuture 的 thenApply vs thenCompose** — thenApply 接收 `Function<T, R>` 返回 `CompletableFuture<R>`；thenCompose 接收 `Function<T, CompletableFuture<R>>` 返回 `CompletableFuture<R>`（扁平化，类似 flatMap）。用错会导致 `CompletableFuture<CompletableFuture<String>>` 这种嵌套地狱。考题经常给一段链式调用让你选输出类型。