在三目运算符中,表达式 1 和 2 在涉及算术计算或数据类型转换时,会触发自动拆箱。当其中的操作数为 null 值时,会导致 NPE 。
成都创新互联公司服务项目包括青云谱网站建设、青云谱网站制作、青云谱网页制作以及青云谱网络营销策划等。多年来,我们专注于互联网行业,利用自身积累的技术优势、行业经验、深度合作伙伴关系等,向广大中小型企业、政府机构等提供互联网行业的解决方案,青云谱网站推广取得了明显的社会效益与经济效益。目前,我们服务的客户以成都为中心已经辐射到青云谱省份的部分城市,未来相信会继续扩大服务区域并继续获得客户的支持与信任!一、基础知识三目运算符
三目运算符是 Java 语言中的重要组成部分,它也是唯一有 3 个操作数的运算符。形式为:
<表达式1>?<表达式2>:<表达式3>
以上,通过 ?、: 组合的形式得到一个条件表达式。其中 ? 运算符的含义是:先求表达式 1 的值,如果为真,则执行并返回表达式 2 的结果;如果表达式 1 的值为假,则执行并返回表达式 3 的结果。
自动装箱与自动拆箱
Java自动拆箱空指针异常_头秃的程序员小王的博客-博客
二、问题重现如下代码在执行是会抛出空指针异常
Double a = null;
Integer b = null;
Double c = Objects.nonNull(b) ? b : a;
异常:
三、原理以上代码反编译出字节码如下:
public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=4, args_size=1
0: aconst_null
1: astore_1
2: aconst_null
3: astore_2
4: aload_2
5: invokestatic #2 // Method java/util/Objects.nonNull:(Ljava/lang/Object;)Z
8: ifeq 19
11: aload_2
12: invokevirtual #3 // Method java/lang/Integer.intValue:()I
15: i2d
16: goto 23
19: aload_1
20: invokevirtual #4 // Method java/lang/Double.doubleValue:()D
23: invokestatic #5 // Method java/lang/Double.valueOf:(D)Ljava/lang/Double;
26: astore_3
27: return
#12行可以看出b Integer类型变量开箱为int值,#20行可以看出a Double变量开箱为double值,#23行可以看出将根据条件,得出的double/int值装箱为Double类型的对象。翻译成java代码如下:
Double c = Double.valueOf(Objects.nonNull(b) ? b.intValue() : a.doubleValue());
b,a都是null值,因此调用函数时报出npe异常。
分析之后我们可以得出这样的结论:三目运算符和自动拆箱导致了空指针异常。
那么,为什么编译器会进行自动拆箱呢?什么情况下需要进行自动拆箱呢?这其实是三目运算符的语法规范。参见jls-15.25,摘要如下:
以去翻阅一下。
其实简单总结下,就是:
1)如果第二个和第三个操作数具有相同的类型(可能是null类型),那么这就是条件表达式的类型。
2)如果第二个和第三个操作数中的一个是基本类型T,而另一个操作数的类型是对T应用装箱转换(§5.1.7)的结果,则条件表达式的类型为T。
3)如果第二个和第三个操作数中的一个是空类型,而另一个操作数的类型是引用类型,则条件表达式的类型就是该引用类型。
否则,如果第二个和第三个操作数的类型可转换为数值类型(§5.1.8),则有以下几种情况:
1)如果一个操作数是byte或Byte类型,另一个是short或Short类型,则条件表达式的类型为short。
2)如果其中一个操作数是T类型,其中T是byte、short或char,而另一个操作数是int类型的常量表达式(§15.28),其值可以用T类型表示,则条件表达式的类型为T。
3)如果其中一个操作数是T类型,其中T是字节、短或字符,而另一个操作数是int类型的常量表达式(§15.28),其值可以用U类型表示,U是对T应用开箱转换的结果,那么条件表达式的类型是U。
否则,二进制数值提升(§5.6.2)应用于操作数类型,条件表达式的类型是第二个和第三个操作数的提升类型。注意,二进制数字提升执行值集转换(§5.1.13),并可能执行开箱转换(§5.1.8)。
值集转换规则:
当操作符对一对操作数应用二进制数字提升,每个操作数必须表示一个可转换为数字类型的值时,应用以下规则,顺序:
1)如果任何操作数是引用类型,它将进行开箱转换(§5.1.8)。
2)扩展基元转换(§5.1.2)应用于按以下规则指定的任意一个或两个操作数转换:
- 如果其中一个操作数为double类型,则另一个操作数转换为double类型。
- 否则,如果其中一个操作数为float类型,则另一个操作数转换为float类型。
- 否则,如果其中一个操作数为long类型,则另一个操作数转换为long类型。
- 否则,两个操作数都转换为int类型。
我自己的话总结一下,npe其实是值集转换引起的,当以下操作符不能自然转换时(比如一个值为byte,一个值为short,可以),会产生值集转换,而根据值集转换规则1),任何引用类型都要开箱,那么空值开箱就会导致NPE。
最根的解决方法就是阿里巴巴新出的规范:
你是否还在寻找稳定的海外服务器提供商?创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源,准确流量调度确保服务器高可用性,企业级服务器适合批量采购,新人活动首月15元起,快前往官网查看详情吧
当前文章:Java三目运算符导致NPE-创新互联
本文路径:http://lswzjz.com/article/dcegoh.html