使用Java三元运算符时的奇怪行为

当我写这样的java代码时：

Map map = new HashMap() Long number =null; if(map == null) number = (long) 0; else number = map.get("non-existent key"); 

应用程序按预期运行但当我这样做时：

 Map map = new HashMap(); Long number= (map == null) ? (long)0 : map.get("non-existent key"); 

我在第二行得到一个NullPointerException。 调试指针从第二行跳转到java.lang.Thread类中的this方法：

  /** * Dispatch an uncaught exception to the handler. This method is * intended to be called only by the JVM. */ private void dispatchUncaughtException(Throwable e) { getUncaughtExceptionHandler().uncaughtException(this, e); } 

这里发生了什么？ 这两个代码路径都完全等价不是吗？

---

编辑

我使用的是Java 1.7 U25

Answer 1

它们并不等同。

这个表达式的类型

 (map == null) ? (long)0 : map.get("non-existent key"); 

很long因为真正的结果类型long 。

此表达式的类型为long的原因来自JLS的第15.25节：

如果第二个和第三个操作数之一是原始类型T ，而另一个操作数的类型是对T应用装箱转换（第5.1.7节）的结果，那么条件表达式的类型是T

查找不存在的键时， map返回null 。 因此，Java试图将其拆箱很long 。 但它是null 。 所以它不能，你得到一个NullPointerException 。 您可以通过说：

 Long number = (map == null) ? (Long)0L : map.get("non-existent key"); 

然后你会没事的。

但是，在这里，

 if(map == null) number = (long) 0; else number = map.get("non-existent key"); 

由于number被声明为Long ，因此永远不会发生拆箱。

Answer 2

这里发生了什么？ 这两个代码路径都完全等价不是吗？

它们不等同; 三元运算符有一些警告。

三元运算符的if-true参数(long) 0是原始类型long 。 因此，if-false参数将自动从Long到long拆箱（根据JLS§15.25 ）：

如果第二个和第三个操作数之一是原始类型T ，而另一个操作数的类型是对T应用装箱转换（第5.1.7节 ）的结果，那么条件表达式的类型是T

但是，此参数为null （因为您的映射不包含字符串"non-existent key" ，这意味着get()返回null ），因此在取消装箱过程中会发生NullPointerException 。

Answer 3

我在上面评论过，他建议他确保map永远不会为null ，但这对三元问题没有帮助。 实际上，让系统为您完成工作更容易。 他可以使用Apache Commons Collections 4及其DefaultedMap类。

 import static org.apache.commons.collections4.map.DefaultedMap.defaultedMap; Map map = ...; // Ensure not null. Map dMap = defaultedMap(map, 0L); 

谷歌番石榴没有那么简单，但可以使用Maps.transformValues()方法包装map 。