在Java中如何实现对象的方法引用_JavaMethodReference应用解析_技术教程

:: 是Java中将方法或构造器适配为函数式接口实例的编译期机制，依赖目标接口签名进行类型推导，而非语法糖。

什么是 `::`，它不是语法糖而是函数式接口的适配机制

Java 中的 :: 不是简写或“快捷写法”，而是编译器在类型推导下将某个方法（静态/实例/构造）自动适配为函数式接口实例的桥梁。它依赖目标上下文的函数式接口签名（参数个数、类型、返回值），而非单纯看方法名。

写 String::length 能用，是因为 Function 的 apply(T) 接收一个 String 并返回 Integer，和 String.length() 的签名（无参、返回 int）匹配
但 System.out::println 在不同场景下可能绑定到 Consumer、Consumer 等多个重载版本，编译器靠左侧变量声明类型决定选哪个
若目标接口是 BiFunction，就不能用 String::charAt 直接赋值——虽然语义上合理，但 String.charAt(int) 是单参数方法，不满足双参数输入要求

静态方法引用：`ClassName::staticMethod` 最安全也最易误用

静态方法引用没有隐式接收者，参数完全由函数式接口定义。常见错误是忽略参数顺序或类型精度。

Function intToStr = String::valueOf; // ✅ 正确：String.valueOf(int) → String
Function doubleToStr = String::valueOf; // ✅ 也对：有重载
BiFunction concat = String::concat; // ❌ 编译失败！String.concat(String) 是实例方法，不是静态的

Math::max 不能直接用于 BinaryOperator，因为 Math.max(int, int) 和 Math.max(long, long) 都存在，泛型擦除后类型不明确；需显式转型：(BinaryOperator) Math::max 或改用 Integer::max
若静态方法抛受检异常（如 Files::readAllLines(Path)），它无法直接用于不声明该异常的函数式接口（如 Function>），必须包装或换用 UncheckedFunction 等自定义接口

实例方法引用：`instanceRef::method` 和 `ClassName::method` 的本质区别

这是最容易混淆的一组。前者绑定具体对象（闭包），后者等待传入对象（相当于柯里化第一个参数）。

List list = Arrays.asList("a", "b", "c");
// 绑定到 list 实例，后续调用始终操作这个 list
Consumer addToList = list::add; // ✅

// 等价于：s -> list.add(s)

// 等待传入 String 实例，再在其上调用 toUpperCase()
Function upper = String::toUpperCase; // ✅
// 等价于：s -> s.toUpperCase()

// ❌ 下面这行会报错：list::toUpperCase 不存在，list 是 List 类型，没有 toUpperCase 方法

list::add 的函数式接口必须是 Consumer（或兼容签名），因为 add(E) 是单参数、无返回值
String::toUpperCase 可用于 Function，但不能用于 UnaryOperator——类型不协变，Object 不是 String 的子类
若用 Optional::get，注意它可能抛 NoSuchElementException，而 Function, T> 不声明异常，运行时炸

构造方法引用：`ClassName::new` 的参数推导规则

构造器引用本质上是「带参数的 new 表达式」，其参数列表必须与目标函数式接口的抽象方法参数完全一致（类型、数量、顺序）。

// Supplier 创建无参对象
Supplier> emptyList = ArrayList::new;

// Function 创建单参对象（等价于 s -> new ArrayList<>(s)）
Function, ArrayList> fromCollection = ArrayList::new;

// BiFunction 创建双参对象（ArrayList(int, float) 不存在，所以这行会编译失败）
// BiFunction> bad = ArrayList::new; // ❌

泛型类构造器引用需注意类型擦除：Pair::new 若用于 BiFunction，无法保证 Pair，需用 Pair::new（Java 8+ 支持）
数组构造器引用特殊：int[]::new 对应 IntFunction，即接受长度参数并返回新数组；不是 Supplier
私有构造器也可被引用，只要调用方有访问权限；但反射层面限制（如模块系统）仍生效