双冒号语法（::）本质是将已有方法适配为函数式接口的行为参数，需严格匹配参数个数、类型顺序及返回值类型；分静态方法、特定对象实例、任意对象实例和构造器四类引用，替换为等价lambda可验证合法性。
双冒号语法（::）本质是把一个已有方法“装进”函数式接口的壳子里，让它能被当作行为参数传递或执行。关键不在于“绑定”这个动作本身，而在于让方法签名和接口抽象方法严丝合缝地对上。
看准函数式接口要什么
先明确目标接口——比如 Function<string integer></string> 要一个入参 String、返回 Integer 的方法；Consumer<string></string> 要一个入参 String、返回 void 的方法。被引用的方法必须参数个数、类型顺序、返回值类型完全匹配。
-
String::length 可用在
Function<string integer></string>上（length()接收String，返回int） -
System.out::println 只能用于
Consumer<T>或类似 void 返回型接口，塞进Function就编译失败 -
Integer::parseInt 参数是
String，返回int，天然适配Function<String, Integer>
四类引用写法与对应场景
不是所有方法都能随便加 ::，得按调用方式选对形式：
-
静态方法引用：直接用类名 +
::+ 方法名
如Math::abs、Integer::parseInt—— 编译器自动把 lambda 参数当第一个实参传进去 -
特定对象的实例方法：先有对象实例，再
::调它的方法
如str::toLowerCase、System.out::println—— 方法属于那个固定对象，无需额外接收者 -
任意对象的实例方法：用类名 +
::+ 方法名
如String::trim、String::compareTo—— 第一个参数会被当作隐式的调用对象（相当于s.trim()中的s） -
构造器引用：类名 +
::new
如ArrayList::new对应Supplier<List>，User::new对应Function<String, User>（若构造器接收一个String）
常见误用与避坑点
代码能编译不代表逻辑对，几个典型问题：
- 把
Objects::nonNull当成“判空并返回布尔值”没问题，但它本质是Predicate<T>，只能用在filter()这类接受Predicate的地方，不能塞进map() -
String::compareTo是Comparator<String>，可用于sorted()；但String::compareToIgnoreCase才是带忽略大小写的版本，别写错 - 方法名语义模糊时慎用，比如
list.sort(String::compareTo)不如list.sort(Comparator.naturalOrder())直观，尤其对新手
一句话验证是否可用
把 类名/对象::方法名 替换为等价 lambda，看能不能顺下来：
→ String::toUpperCase ⇔ s -> s.toUpperCase()
→ Integer::parseInt ⇔ s -> Integer.parseInt(s)
→ System.out::println ⇔ s -> System.out.println(s)
能自然替换成单方法调用，且参数和返回值对得上，那它就合法可用。
