null是Java中表示引用类型未指向对象的特殊字面量，仅适用于引用类型；==判空安全，equals调用需防NPE；Optional提供空值显式建模；注解与工具可在编译期约束null；JVM在解引用时抛出带变量名的NullPointerException。
一、null在Java中的内存与类型本质
Java中null不是一个对象，也不是任何类的实例，而是一个特殊的字面量，用于表示引用类型的变量当前不指向任何对象。它仅能赋值给引用类型（包括类、接口、数组），不能赋给基本类型。JVM规范规定null值在底层以全零比特模式表示，但其具体二进制实现由虚拟机决定，对开发者不可见。
1、声明一个String引用但未初始化：String s; 此时s的值为默认初始化值null。
2、显式赋值为null：Integer num = null; 表示该引用当前不关联任何Integer对象。
3、尝试将null赋给int等基本类型：int x = null; 将导致编译错误，因为null不兼容基本类型。
立即学习“Java免费学习笔记（深入）”；
二、null与==和equals的行为差异
null参与相等性判断时具有唯一且确定的语义：使用==比较时，null == null恒为true；而任何对象引用与null用==比较，结果取决于该引用是否确实为null。equals方法则不同——若调用者为null，直接抛出NullPointerException；若参数为null，多数标准类（如String、Integer）的equals实现会返回false。
1、使用==判断null：if (obj == null) { /* 安全检查 */ } 是推荐的null判空方式。
2、错误使用equals：if (obj.equals("test")) 当obj为null时将触发运行时异常。
3、安全的equals写法：if ("test".equals(obj)) 利用字符串字面量非null特性避免空指针。
三、Java 8引入Optional对null的替代实践
Optional
1、构造Optional空容器：Optional
2、包装非空值：Optional
3、安全获取值：opt.orElse("default") 在opt为空时返回"default"，避免显式判空语句。
四、静态分析工具与注解对null的约束强化
Java语言本身不支持非空类型系统，但可通过@Nullable和@NonNull等JSR-305或JetBrains注解配合IDE及检查工具（如Error Prone、Checker Framework），在编译期捕获潜在的null dereference问题。这些注解不改变运行时行为，但显著提升代码可读性与健壮性。
1、标注方法参数可能为null：void process(@Nullable String input) { ... }。
2、标注返回值非空：@NonNull String getName() { return name; }，IDE会在调用处提示未处理null的可能性。
3、启用编译器检查：在Gradle中添加errorprone插件并配置NullnessChecker，使空值误用在编译阶段暴露。
五、JVM层面null的异常触发机制
当JVM执行字节码指令（如getfield、invokevirtual）时，若操作数栈顶的引用值为null，虚拟机会立即抛出java.lang.NullPointerException。该异常是RuntimeException子类，无需强制捕获，但其堆栈跟踪精确指向发生解引用的位置，而非null赋值点。
1、触发典型场景：String s = null; int len = s.length(); 执行length()前JVM检测到s为null。
2、异常信息内容：输出类似"Exception in thread 'main' java.lang.NullPointerException: Cannot invoke 'String.length()' because 's' is null"，其中原因描述直接包含变量名（Java 14+增强特性）。
3、ZGC与Shenandoah等现代垃圾收集器在并发标记阶段仍需特殊处理null引用，确保不将其视为有效对象地址进行扫描。
