scala的类型推断是什么

本篇内容主要讲解“scala的类型推断是什么”，感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷，实用性强。下面就让小编来带大家学习“scala的类型推断是什么”吧!

Scala 编译器通常可以推断出表达式的类型，因此你不必显式地声明它。

val businessName = "Montreux Jazz Café"

编译器可以发现 businessName 是 String 类型。它的工作原理和方法类似：

def squareOf(x: Int) = x * x

编译器可以推断出方法的返回类型为 Int，因此不需要明确地声明返回类型。

对于递归方法，编译器无法推断出结果类型。下面这个程序就是由于这个原因而编译失败：

def fac(n: Int) = if (n == 0) 1 else n * fac(n - 1)

当调用多态方法或实例化泛型类时，也不必明确指定类型参数。Scala 编译器将从上下文和实际方法的类型/构造函数参数的类型推断出缺失的类型参数。

看下面两个例子：

case class MyPair[A, B](x: A, y: B)val p = MyPair(1, "scala")
def id[T](x: T) = xval q = id(1)

编译器使用传给 MyPair 参数的类型来推断出 A 和 B 的类型。对于 x 的类型同样如此。

编译器从不推断方法形式参数的类型。但是，在某些情况下，当函数作为参数传递时，编译器可以推断出匿名函数形式参数的类型。

Seq(1, 3, 4).map(x => x * 2)

方法 map 的形式参数是 f: A => B。因为我们把整数放在 Seq 中，编译器知道 A 是 Int 类型 (即 x 是一个整数)。因此，编译器可以从 x * 2 推断出 B 是 Int 类型。

通常认为，公开可访问的 API 成员应该具有显示类型声明以增加可读性。因此，我们建议你将代码中向用户公开的任何 API 明确指定类型。

此外，类型推断有时会推断出太具体的类型。假设我们这么写：

var obj = null

我们就不能进行重新赋值：

obj = new AnyRef

它不能编译，因为 obj 推断出的类型是 Null。由于该类型的唯一值是 null，因此无法分配其他的值。

到此，相信大家对“scala的类型推断是什么”有了更深的了解，不妨来实际操作一番吧！这里是编程之家网站，更多相关内容可以进入相关频道进行查询，关注我们，继续学习！