空对象的实例方法引用:调用methodReferenceOfNullObject()时JLS规定的正确行为?
关于null对象方法引用的正确行为:JLS规定与编译器差异
这个问题刚好触及了Java方法引用里一个容易被忽略的规范细节,咱们结合代码和官方规定来理清楚:
先看具体场景的代码示例
假设我们有这样一段代码:
import java.util.function.Supplier; public class MethodRefTest { public String instanceMethod() { return "Hello"; } public static void methodReferenceOfNullObject() { MethodRefTest o = null; // 关键行:用null对象创建实例方法引用 Supplier<String> result = o::instanceMethod; // 如果能走到这一步,调用时才会触发NPE(ECJ的行为) result.get(); } }
JLS的明确规定
根据Java语言规范(JLS)15.13.3节(方法引用的运行时求值):
首先,如果方法引用表达式以表达式名称或主表达式开头,会先计算这个子表达式。如果子表达式的值为null,会抛出NullPointerException,方法引用表达式异常完成。
换句话说,在执行Supplier<String> result = o::instanceMethod;这行代码的瞬间,JLS要求先计算o的值。如果o是null,此时必须直接抛出NPE,根本不会把方法引用实例赋值给result,更不会走到调用result.get()的步骤。
两种编译器的行为对比
- Oracle Java Compiler(javac):严格遵循JLS规定,只要
o是null,在创建方法引用的阶段就抛出NPE,不会完成赋值操作。 - Eclipse Java Compiler(ECJ):这里存在实现偏差,它允许
o为null时成功创建方法引用并赋值给result,直到你调用result.get()时才会抛出NPE。但这种行为是不符合官方规范的。
总结
按照Java语言的官方定义,正确行为应该是在计算方法引用表达式时立即抛出NullPointerException——也就是Oracle javac的处理方式。Eclipse ECJ的行为属于非标准实现,虽然在某些场景下看似“延迟报错”,但实际上违反了Java语言的规范要求。
内容的提问来源于stack exchange,提问作者bjmi
相关产品推荐
相关产品推荐

