重大線上事故！三元表達式引發的空指針問題
屬實刺激，剛入職不久就遇到這種史詩級的線上 Bug，首頁直接崩潰，陳年老代碼爆雷，不管落到最后的底層原因是什么，我感覺主要還是上下游的鏈路太過復雜，治理難度比較大，牽一發而動全身。
知識回顧
三目運算符大家都很熟悉了：
<表達式1> ? <表達式2> : <表達式3>我習慣稱為三元表達式，需要注意的就是：**一個三元表達式從不會既計算 <表達式 2>，又計算 <表達式 3>**。條件運算符是右結合的，也就是說，從右向左分組計算。例如，a ? b : c ? d : e 將按 a ? b : (c ? d : e) 執行。
再來回顧下自動拆箱和裝箱機制，Java 通過這種機制使得包裝類和基本數據類型之間的轉換更加方便：
- 裝箱：將基本數據類型轉換成包裝類（每個包裝類的構造方法都可以接收各自數據類型的變量）
- 拆箱：從包裝類之中取出被包裝的基本類型數據（使用包裝類的 xxxValue 方法）
下面以 Integer 為例，我們來看看 Java 內置的包裝類是如何進行拆裝箱的：
Integer obj = new Integer(10); // 裝箱
int temp = obj.intValue(); // 拆箱這種形式的代碼是 JDK 1.5 以前的，JDK 1.5 之后，Java 設計者為了方便開發提供了自動裝箱（Autoboxing）與自動拆箱的機制，并且可以直接利用包裝類的對象進行數學計算。
還是以 Integer 為例我們來看看自動拆裝箱的過程：
Integer obj = 10; // 自動裝箱. 基本數據類型 int -> 包裝類 Integer
int temp = obj; // 自動拆箱. Integer -> int
obj ++; // 直接利用包裝類的對象進行數學計算
System.out.println(temp * obj);基本數據類型到包裝類的轉換，不需要像上面一樣使用構造函數，直接 = 就完事兒；同樣的，包裝類到基本數據類型的轉換，也不需要我們手動調用包裝類的 xxxValue 方法了，直接 = 就能完成拆箱。這也是將它們稱之為自動的原因。
圖片
我們來看看這段代碼反編譯后的文件，底層到底是什么原理：
Integer obj = Integer.valueOf(10);
int temp = obj.intValue();可以看見，自動裝箱的底層原理其實就是調用了包裝類的 valueOf 方法，而自動拆箱的底層同樣還是調用了包裝類的 intValue() 方法。
圖片
問題重現
實際的代碼業務邏輯比較復雜，這里我們舉一個相對簡單的一點的例子先來重現下這個問題：
// 設置成true，保證條件表達式的表達式二一定可以執行
boolean flag = true;
//定義一個包裝類對象類型的Boolean變量，值為null
Boolean nullBoolean = null;
// 定義一個基本數據類型的boolean變量
boolean simpleBoolean = false;
//使用三目運算符并給 x 變量賦值
boolean x = flag ? nullBoolean : simpleBoolean;以上代碼，在運行過程中，會拋出 NPE：
Exception in thread "main" java.lang.NullPointerException而且，這個和你使用的 JDK 版本是無關的，我在 JDK 6、JDK 8 和 JDK 14 上做了測試，均會拋出 NPE。
嘗試對以上代碼進行反編譯，使用 jad 工具進行反編譯后，得到以下代碼：
boolean flag = true;
boolean simpleBoolean = false;
Boolean nullBoolean = null;
boolean x = flag ? nullBoolean.booleanValue() : simpleBoolean;可以看到，反編譯后的代碼的最后一行，編譯器幫我們做了一次自動拆箱（nullBoolean 是包裝類，而 x 是基本類型），而 nullBoolean 是 null，這就出現了 null.booleanValue，從而拋出 NPE。
那么，為什么編譯器會進行自動拆箱呢？什么情況下需要進行自動拆箱呢？
原理分析
關于為什么編輯器會在代碼編譯階段對于三目運算符中的表達式進行自動拆箱，其實在《The Java Language Specification》（后文簡稱 JLS，是Java 語言規范，是一切 Java 編程的基礎參照文檔）的第 15.25 章節中是有相關介紹的。我們直接看 Java SE 1.7 JLS 中關于這部分的描述（因為 1.7 的表述更加簡潔一些），原文地址 -> https://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.25：
圖片
看我框出來的兩句話：
- If the second and third operands have the same type (which may be the null type),then that is the type of the conditional expression. 當第二位和第三位操作數的類型相同時，則三目運算符表達式的結果和這兩位操作數的類型相同
- If one of the second and third operands is of primitive type T, and the type of the other is the result of applying boxing conversion (§5.1.7) to T, then the type of the conditional expression is T. 當第二，第三位操作數分別為基本類型和該基本類型對應的包裝類型時，那么該表達式的結果的類型要求是基本類型
為了滿足以上規定，又避免程序員過度感知這個規則，所以在編譯過程中編譯器如果發現三目操作符的第二位和第三位操作數的類型分別是基本數據類型（如 boolean）以及該基本類型對應的包裝類型（如 Boolean）時，并且需要返回表達式為包裝類型，那么就需要對該包裝類進行自動拆箱。
理解下這句話，JLS 的規范是如果第二和第三位操作數分別是基本類型和包裝類型，那么要求返回值是基本類型。那如果你自己寫的代碼返回值是包裝類型，那么編譯器為了滿足 JLS 規范，其實是會自動做一個拆箱的
簡單總結：只要表達式 1 和表達式 2 的類型有一個是基本類型一個是包裝類型，就會做觸發類型對齊的拆箱操作。
下面再列舉幾個例子加深下理解：
boolean flag = true;
boolean simpleBoolean = false;
Boolean objectBoolean = Boolean.FALSE;當第二位和第三位表達式都是包裝類，表達式返回值也為包裝類，編譯器不需要做拆箱操作
Boolean x1 = flag ? objectBoolean : objectBoolean;
//反編譯后代碼（不需要做任何特殊操作）
Boolean x1 = flag ? objectBoolean : objectBoolean;當第二位和第三位表達式都為基本類型時，表達式返回值也為基本類型，編譯器不需要做拆箱操作
boolean x2 = flag ? simpleBoolean : simpleBoolean;
//反編譯后代碼（不需要做任何特殊操作）
boolean x2 = flag ? simpleBoolean : simpleBoolean;當第二位和第三位表達式中一個為基本類型另一個為包裝類型時，表達式返回值為基本類型，編譯器需要做拆箱操作：
boolean x3 = flag ? objectBoolean : simpleBoolean;
//反編譯后代碼（需要對其中的包裝類進行拆箱）
boolean x3 = flag ? objectBoolean.booleanValue() : simpleBoolean;如果你清楚三目運算符的規則，那你就會正確地按照以上方式去定義 x1、x2 和 x3 的類型。
但是，并不是所有人都熟知這個規則，所以在實際應用中，還會出現以下幾種定義方式：
boolean x4 = flag ? objectBoolean : objectBoolean;
// 反編譯后代碼（三元表達式的結果要求是包裝類，而 x4 是基本類型，所以編譯器需要做拆箱）
boolean x4 = (flag ? objectBoolean : objectBoolean).booleanValue();Boolean x5 = flag ? simpleBoolean : simpleBoolean;
// 反編譯后代碼（三元表達式的結果要求是基本類型，而 x5 是包裝類型，所以編譯器需要做裝箱）
Boolean x5 = Boolean.valueOf(flag ? simpleBoolean : simpleBoolean);Boolean x6 = flag ? objectBoolean : simpleBoolean;
// 反編譯后代碼（三元表達式的結果要求是基本類型，而 x5 是包裝類型，所以編譯器需要做裝箱）
Boolean x6 = Boolean.valueOf(flag ? objectBoolean.booleanValue() : simpleBoolean);所以，日常開發中就有可能出現以上 6 種情況。在以上 6 種情況中，如果是涉及到自動拆箱的，一旦包裝類的值為 null，即 null.booleanValue()，就必然會發生 NPE（裝箱不會，因為裝箱是 Boolean.valueOf(null)，這并不會拋 NPE）。
小伙伴們可以把以上的 x3、x4 以及 x6 中的的包裝類設置成 null，看看是不是會拋 NPE：
boolean flag = true;
boolean simpleBoolean = false;
Boolean objectBoolean = Boolean.FALSE;
// 將包裝類設置為 null
Boolean nullBoolean = null;
boolean x3 = flag ? nullBoolean : simpleBoolean;
boolean x4 = flag ? nullBoolean : objectBoolean;
Boolean x6 = flag ? nullBoolean : simpleBoolean;以上三種情況，都會在執行時發生 NPE:
- 其中 x3 和 x6 是三目運算符運算過程中，根據 JLS 的規則確定類型的過程中要做自動拆箱而導致的 NPE。由于使用了三目運算符，并且第二、第三位操作數分別是基本類型和對象。就需要對對象進行拆箱操作，由于該對象為 null，所以在拆箱過程中調用 null.booleanValue() 的時候就報了 NPE。
- 而 x4 是因為三目運算符運算結束后根據規則他得到的是一個對象類型，但是在給變量賦值過程中進行自動拆箱所導致的 NPE。
