NullPointerException底层源码分析

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 的抛出机制。