开发易忽视问题:NullPointerException底层实现

656 阅读3分钟

NullPointerException 是 Java 编程中一个常见的运行时异常,通常在尝试访问或操作一个为 null 的对象引用时抛出。下面是一些常见原因及解决方法:

常见原因

  1. 未初始化的对象:如果对象在使用前没有被实例化,就会引发 NullPointerException。

    String str = null;
    System.out.println(str.length()); // 这里会抛出 NullPointerException
    
  2. 返回值可能为 null 的方法调用:某些方法可能返回 null 值,没有对这些返回值进行检查就直接使用了。

    String str = getString(); // getString() 返回 null
    System.out.println(str.length()); // 这里会抛出 NullPointerException
    
  3. 集合中的元素为 null:对集合中的元素进行操作时,如果元素为 null,也会抛出 NullPointerException。

    List<String> list = new ArrayList<>();
    list.add(null);
    System.out.println(list.get(0).length()); // 这里会抛出 NullPointerException
    

解决方法

  1. 初始化对象

    String str = "";
    System.out.println(str.length()); // 输出 0
    
  2. 在使用前进行 null 检查

    String str = getString();
    if (str != null) {
        System.out.println(str.length());
    } else {
        System.out.println("String is null");
    }
    
  3. 使用 Optional 类(Java 8 及以上)

    Optional<String> optionalStr = Optional.ofNullable(getString());
    optionalStr.ifPresent(s -> System.out.println(s.length()));
    
  4. 防御性编程:在设计 API 时,尽量避免返回 null,可以返回空集合、空字符串等。

    public List<String> getList() {
        return Collections.emptyList(); // 而不是返回 null
    }
    

NullPointerException底层源码分析

NullPointerException 是 Java 中一个常见的运行时异常,属于 java.lang 包。

NullPointerException 类源码

首先,让我们看看 NullPointerException 类的源代码:

package java.lang;

public class NullPointerException extends RuntimeException {
    private static final long serialVersionUID = 5162710183389028792L;

    /**
     * Constructs a NullPointerException with no detail message.
     */
    public NullPointerException() {
        super();
    }

    /**
     * Constructs a NullPointerException with the specified detail message.
     *
     * @param s the detail message.
     */
    public NullPointerException(String s) {
        super(s);
    }
}

从上面的源码可以看出,NullPointerException 类继承自 RuntimeException,并提供了两个构造方法:

  • 无参构造方法:创建没有详细消息的异常对象。
  • 有参构造方法:创建带有详细消息的异常对象。

JVM 如何抛出 NullPointerException

NullPointerException 的抛出过程是由 JVM 在运行时自动完成的,而不是通过显式调用 new NullPointerException() 来实现的。

字节码分析

对于下面这段代码:

String str = null;
str.length();

编译后生成的字节码如下(使用 javap -c):

0: aconst_null
1: astore_1
2: aload_1
3: invokevirtual #1   // Method java/lang/String.length:()I
6: pop
7: return

解释每条指令:

  • 0: aconst_null 将 null 压入栈顶。
  • 1: astore_1 将栈顶的 null 存储到局部变量表的索引为1的位置(即 str)。
  • 2: aload_1 将局部变量表中索引为1的值(即 str)压入栈顶。
  • 3: invokevirtual #1 尝试调用栈顶对象的 length() 方法。

在执行 invokevirtual 指令时,如果栈顶的对象引用是 null,JVM 就会抛出 NullPointerException

JVM 源码分析

在 OpenJDK 中,invokevirtual 指令的实现位于 bytecodeInterpreter.cpp 文件中。以下是简化后的伪代码描述:

case Bytecodes::_invokevirtual: {
    oop receiver = STACK_OBJECT(-number_of_arguments); 
    if (receiver == NULL) {
        THROW(vmSymbols::java_lang_NullPointerException());
    }
    // 继续方法调用流程
}
  • oop receiver = STACK_OBJECT(-number_of_arguments); 获取调用对象的引用。
  • if (receiver == NULL) 检查引用是否为 null
  • THROW(vmSymbols::java_lang_NullPointerException()); 抛出 NullPointerException

总结

NullPointerException 是由 JVM 在检测到空引用操作时自动抛出的,它继承自 RuntimeException。通过查看底层字节码和 JVM 源码,我们可以更清楚地理解 NPE 的抛出机制。