方法与参数深度指南：值传递、重载解析、API 设计与性能实践

这一篇不止讲“怎么写方法”，更强调“写对方法”。从语言规范到工程化落地，覆盖调用约定（calling convention）、形参与实参的内存模型、重载解析优先级、API 设计原则、性能与并发语义，配合可视化图示与可运行示例，读完能直接用在真实项目中。

新手先看 · 一屏速览

• Java 只有值传递：传基本类型时传“值”，传对象时传“地址的副本”
• 重载优先级：精确匹配 → 基本类型拓宽 → 装箱/拆箱 → 可变参数
• 热路径慎用可变参数（会创建数组），对常用入参个数提供重载
  一句话类比：给方法传“快递地址的复印件”，你能打开箱子放东西，但换一张新地址不会影响外面的那张。

1. 方法的语义边界与签名

• 签名 = 方法名 + 参数列表（类型与个数），不包含返回类型
• 可见性与修饰：public/protected/(default)/private、static、final、synchronized、native
• 语义边界：方法应保证单一职责；副作用明确；异常策略一致；线程安全性清晰可见

2. 值传递的本质：引用的副本也是值

结论只有一个：Java 仅支持“值传递”。当参数是引用类型时，传入的是“引用的副本”。这解释了为什么“修改对象内部状态能生效，给形参重新赋值不影响外部”。

final class Box { int v; Box(int v){this.v=v;} }

static void change(Box b) { b.v = 10; }
static void reassign(Box b) { b = new Box(20); }

public static void main(String[] args) {
    Box b = new Box(1);
    change(b);
    System.out.println(b.v); // 10
    reassign(b);
    System.out.println(b.v); // 10
}

可变性与副作用

• 可变对象作为入参会把“修改风险”暴露给调用者；推荐
  • 对外暴露只读视图（如 Collections.unmodifiableList）
  • 方法内部复制（Defensive Copy）
  • 以不可变对象建模（如记录类 record 或自定义不可变类型）

3. API 设计：命名、幂等、异常与契约

• 命名：动词开头、语义明确；查询用 get/find，命令用 add/remove/update
• 幂等：方法多次调用可否得到相同结果（重要性：重试机制/分布式语义）
• 异常：统一策略（受检/非受检），错误码与异常并用时的边界；语义清晰的异常层次
• 契约：前置条件（Preconditions）、后置条件（Postconditions）与不可变式（Invariants）

4. 重载解析的优先级与陷阱

重载是编译期行为，解析顺序（简化后）：

1. 精确匹配（Exact Match）
2. 基本类型拓宽（Widening Primitive Conversion，如 int → long）
3. 装箱/拆箱（Boxing/Unboxing）
4. 可变参数（Varargs）

void f(long x) {}
void f(Integer x) {}
void f(int... x) {}

// 调用：
f(1); // 选中 f(long) —— 基本类型拓宽优先于装箱与可变参数

装箱与重载的非直觉案例：

void g(Object o) {}
void g(Integer i) {}
g(null); // 选择 g(Integer) —— 更具体的匹配

原始类型优先于包装类型：

void h(int i) {}
void h(Integer i) {}
h(1);   // 选择 h(int)

可变参数容易吞掉意外类型：

void k(Number... x) {}
void k(Integer x) {}
k(1);   // 选择 k(Integer)；移除后就会走 varargs

5. 可变参数（Varargs）与性能注意

• 语法糖：编译为数组创建；空参时会创建长度为 0 的数组
• 性能建议：热路径避免频繁创建小数组；提供重载以覆盖常用入参个数

static int sum(int... nums) {
    int s = 0;
    for (int n : nums) s += n;
    return s;
}

6. 不可变与纯函数：可测试、可并发、可推理

• 纯函数：无副作用、相同输入得到相同输出；利于缓存与并行
• 不可变对象：天然线程安全，作为参数更安全

示例：不可变 Money

import java.math.BigDecimal;
import java.math.RoundingMode;

public final class Money {
    private final BigDecimal value;
    private Money(BigDecimal v){ this.value = v; }
    public static Money of(String s){ return new Money(new BigDecimal(s)); }
    public Money add(Money other){ return new Money(this.value.add(other.value)); }
    public Money scale(int n){ return new Money(this.value.setScale(n, RoundingMode.HALF_UP)); }
    public BigDecimal toBig(){ return value; }
}

7. 方法与并发：可见性、原子性与发布

最近建一些几十个工作内推群，各大城市都有，群里目前已经收集了很多内推岗位，大厂、中厂、小厂、外包都有。 欢迎HR、开发、测试、运维和产品加入。

扫描下方微信，备注：网站+所在城市，即可拉你进工作内推群。

• 可见性：方法内部更新共享状态时需考虑 volatile 或同步手段
• 原子性：复合操作（读取-计算-写入）需以锁或原子类包裹
• 安全发布：把对象安全暴露给其他线程（不可变对象、final 字段、正确的发布时机）

8. JIT 与内联：方法设计的性能维度

• 短小纯函数更易被 C2 编译器内联，减少调用开销
• 逃逸分析可将短生命周期对象分配在栈上（由 JVM 优化），降低 GC 压力
• 微基准建议使用 JMH，避免“冷启动/死代码消除/编译阈值”等干扰

JMH 示意（仅结构示例）：

//@State(Scope.Thread)
//public class MyBenchmark {
//  @Benchmark
//  public int sum() { return IntStream.range(0, 100).sum(); }
//}

9. 调用栈与内存模型：栈帧、参数与返回值

• 每次方法调用都会创建栈帧保存局部变量表、操作数栈等
• 引用类型参数是地址副本，指向堆中的对象
• 返回值可能经过复制（值类型）或返回引用（引用类型）

10. 实战模式与反模式清单

• 模式：以不可变对象封装输入；纯函数拆逻辑；重载为热路径提供直达签名
• 反模式：滥用可变参数；对外暴露可变集合；混用受检与非受检异常；不明确的副作用

11. 综合练习与面试题

1. 设计一个统计文本词频的方法族：
   • countWords(Path file)、countWords(String text)、countWords(Reader r)
     要求：不可变返回（Map<String, Integer> 的只读视图）、异常语义统一（I/O 与解析异常）
2. 实现一个 Retryer：支持 retry(int attempts, Duration backoff, Callable<T> task)，思考幂等与异常传播
3. 推导以下调用分别命中哪个重载，并解释原因：

void m(int x) {}
void m(long x) {}
void m(Integer x) {}
void m(int... x) {}
// 调用：m(1); m(Integer.valueOf(1)); m(); m(1L);

---

附：完整示例（值传递、重载解析、不可变）

import java.math.BigDecimal;
import java.util.*;

final class Box { int v; Box(int v){this.v=v;} }

public class MethodsPlayground {
  static void change(Box b) { b.v = 10; }
  static void reassign(Box b) { b = new Box(20); }

  static void f(long x) {}
  static void f(Integer x) {}
  static void f(int... x) {}

  static int sum(int... nums) {
    int s=0; for (int n: nums) s+=n; return s;
  }

  public static void main(String[] args) {
    Box b = new Box(1);
    change(b);
    System.out.println("after change: " + b.v); // 10
    reassign(b);
    System.out.println("after reassign: " + b.v); // 10

    f(1);      // 命中 f(long)
    f(Integer.valueOf(1)); // 命中 f(Integer)
    f();       // 命中 f(int...)
    System.out.println(sum(1,2,3)); // 6
  }
}

练习参考思路

• 词频统计：以 Map<String,Integer> 返回只读视图 Collections.unmodifiableMap；Reader 版本注意缓冲与关闭；统一把 I/O 异常包装为受检或自定义运行时异常，保持 API 一致性。
• Retryer：可注入“重试条件与退避策略”，注意幂等要求（只对幂等操作默认重试）；捕获异常与中断处理。
• 重载推导：m(1) 命中 m(int)；m(Integer.valueOf(1)) 命中 m(Integer)；m() 命中 m(int...)；m(1L) 命中 m(long)。