:: 是Java中将方法或构造器适配为函数式接口实例的编译期机制，依赖目标接口签名进行类型推导，而非语法糖。
什么是 ::，它不是语法糖而是函数式接口的适配机制
Java 中的 :: 不是简写或“快捷写法”，而是编译器在类型推导下将某个方法（静态/实例/构造）自动适配为函数式接口实例的桥梁。它依赖目标上下文的函数式接口签名（参数个数、类型、返回值），而非单纯看方法名。
- 写
String::length能用，是因为Function<string integer></string>的apply(T)接收一个String并返回Integer，和String.length()的签名（无参、返回int）匹配 - 但
System.out::println在不同场景下可能绑定到Consumer<string></string>、Consumer<integer></integer>等多个重载版本，编译器靠左侧变量声明类型决定选哪个 - 若目标接口是
BiFunction<string integer character></string>，就不能用String::charAt直接赋值——虽然语义上合理，但String.charAt(int)是单参数方法，不满足双参数输入要求
静态方法引用：ClassName::staticMethod 最安全也最易误用
静态方法引用没有隐式接收者，参数完全由函数式接口定义。常见错误是忽略参数顺序或类型精度。
Function<Integer, String> intToStr = String::valueOf; // ✅ 正确：String.valueOf(int) → String Function<Double, String> doubleToStr = String::valueOf; // ✅ 也对：有重载 BiFunction<String, String, String> concat = String::concat; // ❌ 编译失败！String.concat(String) 是实例方法，不是静态的
-
Math::max不能直接用于BinaryOperator<integer></integer>，因为Math.max(int, int)和Math.max(long, long)都存在，泛型擦除后类型不明确；需显式转型：(BinaryOperator<integer>) Math::max</integer>或改用Integer::max - 若静态方法抛受检异常（如
Files::readAllLines(Path)），它无法直接用于不声明该异常的函数式接口（如Function<path list>></path>），必须包装或换用UncheckedFunction等自定义接口
实例方法引用：instanceRef::method 和 ClassName::method 的本质区别
这是最容易混淆的一组。前者绑定具体对象（闭包），后者等待传入对象（相当于柯里化第一个参数）。
List<String> list = Arrays.asList("a", "b", "c");
// 绑定到 list 实例，后续调用始终操作这个 list
Consumer<String> addToList = list::add; // ✅
// 等价于：s -> list.add(s)
// 等待传入 String 实例，再在其上调用 toUpperCase()
Function<String, String> upper = String::toUpperCase; // ✅
// 等价于：s -> s.toUpperCase()
// ❌ 下面这行会报错：list::toUpperCase 不存在，list 是 List 类型，没有 toUpperCase 方法
-
list::add的函数式接口必须是Consumer<string></string>（或兼容签名），因为add(E)是单参数、无返回值 -
String::toUpperCase可用于Function<string string></string>，但不能用于UnaryOperator<object></object>——类型不协变，Object不是String的子类 - 若用
Optional::get，注意它可能抛NoSuchElementException，而Function<optional>, T></optional>不声明异常，运行时炸
构造方法引用：ClassName::new 的参数推导规则
构造器引用本质上是「带参数的 new 表达式」，其参数列表必须与目标函数式接口的抽象方法参数完全一致（类型、数量、顺序）。
立即学习“Java免费学习笔记（深入）”；
// Supplier 创建无参对象 Supplier<ArrayList<String>> emptyList = ArrayList::new; // Function 创建单参对象（等价于 s -> new ArrayList<>(s)） Function<Collection<String>, ArrayList<String>> fromCollection = ArrayList::new; // BiFunction 创建双参对象（ArrayList(int, float) 不存在，所以这行会编译失败） // BiFunction<Integer, Float, ArrayList<String>> bad = ArrayList::new; // ❌
- 泛型类构造器引用需注意类型擦除：
Pair::new若用于BiFunction<string integer pair></string>，无法保证Pair<string integer></string>，需用Pair<string integer>::new</string>（Java 8+ 支持） - 数组构造器引用特殊：
int[]::new对应IntFunction<int></int>，即接受长度参数并返回新数组；不是Supplier<int></int> - 私有构造器也可被引用，只要调用方有访问权限；但反射层面限制（如模块系统）仍生效
:: 后面都藏着一次编译期的签名比对和类型适配。写的时候别只盯着“能不能用”，得想清楚“为什么能”——参数谁来提供、this 指向谁、异常怎么处理、泛型如何落地。漏掉任一环，运行时就容易突然崩。 
