记一次java中三元表达式的坑（避免踩坑）

约定不等于承诺〃 2023-07-25 11:14 122阅读 0赞

近期一直在刷算法，原创文章写的也比较少，今天的主题不算是一个很大的问题，是我做题的时候出来的，而且还曾在A厂的公众号上看到过，今天自己整理一下，避免大家入坑。

这个问题是三元表达式会在计算的时候出现拆箱的运算，造成空指针异常。

**一、问题重现**

public class Test { 
    	public static void main(String[] args) { 
    		Integer a = null;
    		boolean flag = false;
    		Integer b = flag ? 1*2 : a;
            System.out.println("程序结束");
    	}
    }

代码很简单，a是包装类型Integer，初始值是null，b通过三元表达式进行赋值。运行一下这个代码就会出现空指针异常：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NERERMTEw_size_16_color_FFFFFF_t_70]

为什么会出现这个现象呢？下面我们来分析一下：

**二、问题分析**

刚刚这个空指针现象很容易我们就想到类型转化上，三元表达式的类型转换同样要遵守一定的规则才可以。

**1、三元操作符类型的转换规则：**

（1）若两个操作数不可转换，则不做转换，返回值为Object类型

比如Object b = flag ? A : B，此时A和B是两个不同的对象，不可转换，那就把最终结果赋值给Object

（2）若两个操作数是明确类型的表达式（比如变量），则按照正常的二进制数字来转换，int类型转换为long类型，long类型转换为float类型等。

这个就比较容易理解了，比如float b = flag ? 1:1.0f。1为int类型向上转即可。

（3）若两个操作数中有一个是数字S,另外一个是表达式，且其类型标示为T，那么，若数字S在T的范围内，则转换为T类型；若S超出了T类型的范围，则T转换为S类型。

\**这种情况就是刚刚我们所演示的例子，Integer b = flag ? 1 2: a，结果是b=a，但是a是null，要强制转换成Integer（1 \* 2的类型），于是就出现了空指针。*

（4）若两个操作数都是直接量数字，则返回值类型为范围较大者。

这种情况和第二种类似。

**现在答案基本上出来了，出现空指针的原因是，a=null，要强制转换Integer，于是出现了空指针，因为虚拟机看到一个null就找不到要转化的对象了。**

**2、反编译分析**

现在我们找到Test的字节码文件，输入javap -c命令，反编译一下：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NERERMTEw_size_16_color_FFFFFF_t_70 1]

答案现在应该清楚了，

**3、为什么要拆箱（重点）**

为什么要对a进行拆箱，直接把a=null赋值给b不就完事了嘛。这一点就需要我们注意一下那个前提条件，也就是说一个是数字，一个是表达式，刚刚的那个例子也验证了这个观点，现在我不是表达式，再来验证一下：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NERERMTEw_size_16_color_FFFFFF_t_70 2]

现在我们可以看到不是表达式，依然会出现这个错误。别着急，还有让你更晕的，我们再来改变一下代码：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NERERMTEw_size_16_color_FFFFFF_t_70 3]

这尼玛恶心，我测试了很多不同的案例，基本上就分为这两种情况。原因如下：

条件表达式？表达式 1 ：表达式 2，假设结果是表达式2

（1）表达式1和2都为null，表达式2看到1是null，则不会进行拆箱。

（2）表达式1为数字或者是表达式，表达式2根据1的类型进行拆箱。

也就是说表达式2主要依据表达式1判断是否进行拆箱操作。

**三、问题解决**

解决方案很简单，那就是只要遇见null在三元表达式里，就尽量转化为if结构。

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NERERMTEw_size_16_color_FFFFFF_t_70]: /images/20230528/f3371d0a1713470f9932cdfb85a774b2.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NERERMTEw_size_16_color_FFFFFF_t_70 1]: /images/20230528/d50ab5bb7878482f86e315647d6fd903.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NERERMTEw_size_16_color_FFFFFF_t_70 2]: /images/20230528/f9d33526eae04b2e9f528ef3740c5a6f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NERERMTEw_size_16_color_FFFFFF_t_70 3]: /images/20230528/c32dc0464f404f409cc2d3c46ef4d026.png