前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >Leader:这样的 Bug 你也写的出来???

Leader:这样的 Bug 你也写的出来???

作者头像
andyxh
发布2020-02-14 17:04:32
4070
发布2020-02-14 17:04:32
举报
文章被收录于专栏:程序通事程序通事

Hello~各位读者新年好!不知道大家春节假期是否已延长,小黑哥刚接到通知,假期延长到 2 月 2 号,另外回去之后需要在家办公,自行隔离两周。还没试过在家办公,小黑哥就怕到时候生物钟还没调整过来,一觉睡醒已经是下午了。。。

前言

春节假期,还躺在床上小黑哥,收到对账系统的一条预警短信,提示当前系统资金核对存在问题。关于资金的问题,都是大问题,小黑哥连忙拔出电脑,连上 V**,登录生产环境的查看相关日志。

通过日志,很快小黑哥定位到相关代码。

有的同学可能一下子就能看出这里的问题, Long 对象采用 !=进行比较,这真是一个低级 Bug。幸好 Leader 还不知道,赶紧悄悄修复一下。

现在回想小黑哥当初写这段代码的时候,误以为两个 Long 对象比较将会进行自动拆箱,转变为两个基本数值类型比较。

下面开始复习一下 Java 自动装箱与拆箱机制。

自动装箱与拆箱机制

自动装箱(Autoboxing),是 JDK5 新增的一种语法糖,将会在代码编译时自动将原始类型转换为其对应的对象包装器类。例如将 int 转换为 Integerdouble 转换为 Double。如果转换结果相反,我们就将其称为拆箱。

下面是一个自动装箱的例子:

上面代码 li.add(i) 就发生自动装箱,将基本数据类型 long 转换为其包装类 Long

查看这段代码对应的字节码。

图上黄线标注的字节码对应的代码为 li.add(i)。从这我们可以看到 long 类型的自动装箱实际上调用 Long#valueOf 方法。所以编译器运行时将之前的代码转换为下面的代码

接下来我们来看一个自动拆箱的例子:

由于 Long 包装类对象不能用于求模(%)以及 +=,所以这段代码将会发生自动拆箱,将 Long 转化为 long 类型。相应的这里我们也看下其编译之后的字节码。

这里的字节码比之前的复杂很多,这里主要关注黄线部分。可以看到这里调用 Long#longValueLong 对象转为 long 类型。所以自动拆箱这个例子,最后编译器生成字节码等同于以下代码:

Java 规定的 8 种数据类型都有其对应包装类,这些都可以进行相应的自动装箱和拆箱。

这里小结一下:

  1. 自动装箱机制是通过调用包装器类 valueOf 实现
  2. 自动拆箱机制通过调用包装器类的相应的 **Value ,如 longValue, intValue 实现

Cache 陷阱

自动装箱和拆箱概念说起其实挺简单的,但是如果使用不当可能就会踩坑。

我们来看一段代码:

如果你对上面的结果的不是很清楚,恭喜你,暖男小黑哥帮你排雷了。

上面输出结果为:

true
false

这里输出结果之所以为这样,主要与 LongCache 有关。自动装箱进制将会调用 Long#valueOf,其源码如下:

只要数值范围位于 [-128,127] 之间,valueOf 就会返回 LongCache.cache 这个数组中的值。所以 aLong/bLong其实是同一个对象,cLong/dLong 是两个不用对象的。

Long#valueOf 这个方法通过 Cache 减少创建对象的数量,提高相应的空间以及时间性能。

至于为什么缓存 [-128,127] 之间的数字,而没有缓存更多的值,甚至缓存所有的值?

这是因为 Long 范围为[-2^63,2^63],总共 2^64 ,这么多对象实例,显然不宜全部缓存。至于 [-128,127] 之间数字 JDK 设计者认为这些数字使用频率高,个人认为这是一个经验值。

另外这个 cache可能会导致另外一个问题:锁共用。

上面代码看起来 A 类使用 along 这个对象锁,而 B 类使用 blong 这个对象锁,看起来两个风马牛不相及,但是实际上两个对象由于 Cache 机制,导致其实际上使用同一个对象,AB 共用同一把锁。

除了 Long#valueOf 方法中存在 Cache 以外,ByteShortIntegerCharacter 也存在相应的 Cache 值。其中 Integer 对象可以通过 -XX:AutoBoxCacheMax=<size> 改变 Cache 初始范围。

技术总结

通过自动装箱与拆箱机制,大大减少了数据类型转化的代码,但是同时带来一些隐藏的问题。这里我们需要记住:

  1. 所有对象之间不能使用 == 比较,需要使用 equals 代替,推荐使用 JDK7 提供的 Objects#equals 方法,该方法可以有效避免比较过程空指针问题
  2. 基本数据类型的包装类不适合当做锁对象

各位读者朋友们,请牢记这两个总结,不要踩中这两个坑哦。另外推荐大家安装一下 FindBugs 这个插件,通过这个插件扫描代码,可以找出代码中的相关缺陷。上面两个问题,通过 FindBugs都能扫描出来,简直神器。

对象比较问题:

锁问题

帮助文档

  1. Autoboxing and Unboxing『https://docs.oracle.com/javase/tutorial/java/data/autoboxing.html』
  2. 极客时间-『Java并发编程实战』专栏
本文参与 腾讯云自媒体分享计划,分享自作者个人站点/博客。
原始发表:2020-01-28 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 前言
  • 自动装箱与拆箱机制
  • Cache 陷阱
  • 技术总结
  • 帮助文档
相关产品与服务
短信
腾讯云短信(Short Message Service,SMS)可为广大企业级用户提供稳定可靠,安全合规的短信触达服务。用户可快速接入,调用 API / SDK 或者通过控制台即可发送,支持发送验证码、通知类短信和营销短信。国内验证短信秒级触达,99%到达率;国际/港澳台短信覆盖全球200+国家/地区,全球多服务站点,稳定可靠。
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档