Scala 中匹配 String 和 Int 的区别

Question

考虑以下两个代码片段：

scala> def f1(x:Any) = x match { case i:String => i; case _ => null }
f1: (x: Any)String

scala> def f2(x:Any) = x match { case i:Int => i; case _ => null }
f2: (x: Any)Any

为什么f2的返回类型是Any，而f1的返回类型是String > ?我期望两者都返回 Any 或 f2 返回 Int。

Answer 1

如果方法返回不同的类型，类型推断会选择最低的公共超类型。

您的函数 f1 返回一个 String 或 null，其常见超类型是 String，因为 String code> 可以具有值 null。 String 是 AnyRef 的子类，并且 AnyRef 可以具有 null 值。

您的函数 f2 返回 Int（AnyVal 的子类）或 null，其常见超类型是 Any。 Int 不能为 null。

请参阅 http://docs.scala-lang.org/tutorials/tour /unified-types.html 用于 Scala 的类层次结构。

另一个示例：

scala> def f3(b: Boolean) = if (b) 42
f: (b: Boolean)AnyVal

f3 返回

42 is b is true

或 () if b > 是假。

所以它返回的类型是Int和Unit。常见的超类型是 AnyVal。