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

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

常见原因

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

   java

   代码解读

   复制代码

   String str = null; System.out.println(str.length()); // 这里会抛出 NullPointerException

2. 返回值可能为 null 的方法调用：某些方法可能返回 null 值，没有对这些返回值进行检查就直接使用了。

   java

   代码解读

   复制代码

   String str = getString(); // getString() 返回 null System.out.println(str.length()); // 这里会抛出 NullPointerException

3. 集合中的元素为 null：对集合中的元素进行操作时，如果元素为 null，也会抛出 NullPointerException。

   java

   整理了一份Java面试题。包括了：Java面试、Spring、JVM、MyBatis、Redis、MySQL、并发编程、微服务、Linux、Springboot、SpringCloud、MQ、Kafka 面试专题

    需要全套面试笔记的【点击此处】即可免费获取

   代码解读

   复制代码

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

解决方法

1. 初始化对象：

   java

   代码解读

   复制代码

   String str = ""; System.out.println(str.length()); // 输出 0

2. 在使用前进行 null 检查：

   java

   代码解读

   复制代码

   String str = getString(); if (str != null) { System.out.println(str.length()); } else { System.out.println("String is null"); }

3. 使用 Optional 类（Java 8 及以上） ：

   java

   代码解读

   复制代码

   Optional<String> optionalStr = Optional.ofNullable(getString()); optionalStr.ifPresent(s -> System.out.println(s.length()));

4. 防御性编程：在设计 API 时，尽量避免返回 null，可以返回空集合、空字符串等。

   java

   代码解读

   复制代码

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

NullPointerException底层源码分析

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

NullPointerException 类源码

首先，让我们看看 NullPointerException 类的源代码：

java

代码解读

复制代码

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() 来实现的。

字节码分析

对于下面这段代码：

java

代码解读

复制代码

String str = null; str.length();

编译后生成的字节码如下（使用 javap -c）：

plaintext

代码解读

复制代码

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 文件中。以下是简化后的伪代码描述：

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