Kotlin能否实现Java JEP 358引入的Helpful NullPointerException？

JEP 358给Java带来了实用空指针异常（Helpful NullPointerException），能明确指出空指针的具体来源，但在你提供的Kotlin代码中，使用!!操作符触发的NPE并没有这类详细提示。

你运行的代码如下：

fun main() {
    val a:A? = A(null)
    a!!.b!!.c!!.n
}

data class A(val b: B?)
data class B(val c: C?)
data class C(val n: Int)

输出的异常信息仅显示了异常发生的行号，无法直接看出是a、b还是c中的哪一个为空。

现状：Kotlin原生暂不支持自动生成带来源的NPE #

Kotlin的核心设计目标是通过空安全类型系统从根源避免NPE，!!操作符本身就是一种开发者主动承担空指针风险的语法。编译器处理!!时，只会生成基础的空检查代码，抛出的是标准NullPointerException，不会自动附加空指针来源信息。

不过可以通过几种方式实现类似的效果：

• 手动添加带提示的空检查
  使用checkNotNull或requireNotNull函数，手动传入自定义提示信息，抛出的异常会直接指明空指针来源：

  fun main() {
      val a:A? = A(null)
      val nonNullA = checkNotNull(a) { "对象a为空" }
      val nonNullB = checkNotNull(nonNullA.b) { "对象a的属性b为空" }
      val nonNullC = checkNotNull(nonNullB.c) { "对象b的属性c为空" }
      println(nonNullC.n)
  }
  

  运行后会抛出：Exception in thread "main" java.lang.IllegalStateException: 对象a的属性b为空，直接定位问题点。

• 借助第三方字节码增强工具
  部分第三方库可通过字节码增强，为!!操作符触发的NPE自动添加来源信息，但需要额外引入依赖，且兼容性可能受Kotlin版本限制。

• 利用IDE调试定位
  虽然日志没有详细信息，但在IDE中调试时，可直接查看各变量的空值状态，快速定位哪一步出现了空指针。

总结 #

Kotlin原生没有实现类似JEP 358的自动NPE来源提示，但通过手动检查、第三方工具或IDE调试，完全可以达到明确空指针来源的目的。毕竟Kotlin的核心设计是引导开发者从根源避免NPE，而非在异常发生后再补充信息。

内容的提问来源于stack exchange，提问作者Thomas Auinger