十年网站开发经验 + 多家企业客户 + 靠谱的建站团队
量身定制 + 运营维护+专业推广+无忧售后,网站问题一站解决
本篇内容主要讲解“scala的类型推断是什么”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家学习“scala的类型推断是什么”吧!
创新互联建站技术团队十余年来致力于为客户提供成都网站设计、成都做网站、品牌网站建设、成都全网营销推广、搜索引擎SEO优化等服务。经过多年发展,公司拥有经验丰富的技术团队,先后服务、推广了成百上千家网站,包括各类中小企业、企事单位、高校等机构单位。
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) = x
val 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的类型推断是什么”有了更深的了解,不妨来实际操作一番吧!这里是创新互联网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!