问为什么java.lang.Integer和java.lang.Double的最小上界被推断为非循环类型？

提问于 2018-03-22 02:33:00

回答 1关注 0查看 141

考虑这个代码：

val foo = if(true) 
            new java.lang.Double(4) 
          else
            new java.lang.Integer(4)

推断的类型foo是：

Number with Comparable[_ >: Double with Integer <: Number with 
  Comparable[_ >: Double with Integer <: Number]]

所以基本上编译器会在第三次递归之后在界限上循环并中止。

为什么以下不够？

Number with Comparable[_ >: Double with Integer <: Number]

和开发者交流更多问题细节吧，去写回答

相似问题