Scala类型推断以及必须显式类型注释
2016-11-29 22:26
316 查看
Scala对类型推断有很好的支持。在没有显式类型注解时,编译器可以根据上下文识别不少信息。但是相比一些函数式编程语言,Scala的类型推断还是略有欠缺。因为好多语言可以执行全局类型推断(不懂什么意思),而Scala则无法做到这一点,因为Scala支持继承,有面向对象的特性。也即支持多态,所以使得类型推断困难得多。
所以在一些实际得编程中,必须显式提供类型注解,具体:
声明了可变的var或者不可变的val变量,没有进行初始化。如:val name : String,而val name这种语法将编译报错。
所有方法参数必须定义类型。如;def add(num1:Int,num2:Int)
方法中显式的使用了return。
上篇文章提到的递归方法。
两个或者多个方法重载,其中一个方法调用了另一个重载方法,调用者需要显式类型注解
Scala推断出的类型比你期望的类型更为宽泛,如Any。
对于上述情形,主要通过代码说明方法重载以及Scala推断出的类型比期望更为宽泛的情形。
首先以重载为例,请看如下代码:
上述代码,编译器是不会报错的,可是在运行中,会抛出异常,具体
,大体意思是重载方法需要有具体的返回类型。修改代码如下:
运行结果如下:
上述代码需要注意
定义joiner(strinigs:String*)时,改语法代表joiner可接受的参数是可变的,而*代表0或者多个,本例是joiner可接受0或者多个字符串作为参数。
第二个joiner方法调用第一个joiner方法使用了joiner(strings :_*),其中strings:_*的作用是将List中数据转为可变参数列表。
下面,我们再看另外一种情况,即Scala推断出的类型比我们期望的更为通用、更宽泛。例如:我们期望得到一个String,但是函数推断返回的结果类型确实Any。如下例子:
我们定义了makeList方法,该方法主要是根据参数生成List,并返回给调用者。但是当strings.length 等于0时,程序返回的时List(0),即返回一个List,其中只有一个数据0,数据类型时Int。而其他情况时根据传入参数生成List,即List[String]。此时,Scala就无法准确推断返回数据类型,只能根据String与Int生成他们共有父类,即Any。当程序调用makeLIst方法时,如果期望返回Int或者String,Scala会在编译期报错。
如果我们在定义makeList方法时,显式的定义期望类型,则在编译该方法式就会提醒返回异常。这样方便我们更早的发现异常,并高效的开发。
如上代码,在idea中编写过程中,就会提醒异常信息,
这样我们就可以及早定位问题,尤其在项目越来越大并且采用不同模块构建项目时,定义方法返回具体类型可以减少很多不必要的bug即损失。
总之,Scala的类型推断虽然强大,但是在一些条件下还是受限制的。对于文中描述的各种情况,需要我们在开发过程中重点关注。尤其在定义一个函数或者方法时,必须尽可能的注释期望返回值类型。这样可以方便快速开发以及快速定位问题。在大型项目开发中尤为重要。
所以在一些实际得编程中,必须显式提供类型注解,具体:
声明了可变的var或者不可变的val变量,没有进行初始化。如:val name : String,而val name这种语法将编译报错。
所有方法参数必须定义类型。如;def add(num1:Int,num2:Int)
方法中显式的使用了return。
上篇文章提到的递归方法。
两个或者多个方法重载,其中一个方法调用了另一个重载方法,调用者需要显式类型注解
Scala推断出的类型比你期望的类型更为宽泛,如Any。
对于上述情形,主要通过代码说明方法重载以及Scala推断出的类型比期望更为宽泛的情形。
首先以重载为例,请看如下代码:
object StringUtilV1 { def joiner(strinigs:String*):String=strinigs.mkString("-") def joiner(strings:List[String]) = joiner(strings :_*) def main(args: Array[String]): Unit = { joiner(List("programming","scala")) } }
上述代码,编译器是不会报错的,可是在运行中,会抛出异常,具体
,大体意思是重载方法需要有具体的返回类型。修改代码如下:
object StringUtilV1 { def joiner(strinigs:String*):String=strinigs.mkString("-") def joiner(strings:List[String]):String = joiner(strings :_*) def main(args: Array[String]): Unit = { println(joiner(List("programming","scala"))) } }
运行结果如下:
上述代码需要注意
定义joiner(strinigs:String*)时,改语法代表joiner可接受的参数是可变的,而*代表0或者多个,本例是joiner可接受0或者多个字符串作为参数。
第二个joiner方法调用第一个joiner方法使用了joiner(strings :_*),其中strings:_*的作用是将List中数据转为可变参数列表。
下面,我们再看另外一种情况,即Scala推断出的类型比我们期望的更为通用、更宽泛。例如:我们期望得到一个String,但是函数推断返回的结果类型确实Any。如下例子:
object methodbroad { def makeList(strings:String*)={ if(strings.length == 0){ List(0) }else{ strings.toList } } def main(args: Array[String]): Unit = { val list:List[String] = makeList("scala","spark") } }
我们定义了makeList方法,该方法主要是根据参数生成List,并返回给调用者。但是当strings.length 等于0时,程序返回的时List(0),即返回一个List,其中只有一个数据0,数据类型时Int。而其他情况时根据传入参数生成List,即List[String]。此时,Scala就无法准确推断返回数据类型,只能根据String与Int生成他们共有父类,即Any。当程序调用makeLIst方法时,如果期望返回Int或者String,Scala会在编译期报错。
如果我们在定义makeList方法时,显式的定义期望类型,则在编译该方法式就会提醒返回异常。这样方便我们更早的发现异常,并高效的开发。
object methodbroad { def makeList(strings:String*):List[String]={ if(strings.length == 0){ List(0) }else{ strings.toList } } }
如上代码,在idea中编写过程中,就会提醒异常信息,
这样我们就可以及早定位问题,尤其在项目越来越大并且采用不同模块构建项目时,定义方法返回具体类型可以减少很多不必要的bug即损失。
总之,Scala的类型推断虽然强大,但是在一些条件下还是受限制的。对于文中描述的各种情况,需要我们在开发过程中重点关注。尤其在定义一个函数或者方法时,必须尽可能的注释期望返回值类型。这样可以方便快速开发以及快速定位问题。在大型项目开发中尤为重要。
相关文章推荐
- 根据数据库表名查询该表字段名、字段类型、以及注释
- scala类型参数化以及上下界
- 关于在VISIO中进行数据库建模时如何显示字段类型,以及注释的
- !!scala 【经典】一步一步推导!!高阶函数,类型推断
- !!scala 【经典】一步一步推导!!高阶函数,类型推断
- 参数类型推断 以及 柯里化
- scala学习手记17 - 容器和类型推断
- [原创]Scala学习:关于变量(val,var,类型推断)
- 类型擦除以及scala如何绕过擦除
- postgreSQL-如何查数据库表、字段以及字段类型、注释等信息?
- SpringMVC注解@Autowired和@Qualifier 自动注入[根据类型注入] @Autowired 可以对成员变量、方法以及构造函数进行注释, @Qualifier 的
- scala学习手记20 - 方法返回类型推断
- MySQL-修改字段类型、设置默认值,以及添加注释
- !!scala 【经典】一步一步推导!!高阶函数,类型推断
- Effective Modern C++ 条款6 当auto会推断出不合理的类型时使用显式类型初始化语法
- 根据数据库表名查询该表字段名、字段类型、以及注释
- 参数类型推断 以及 柯里化 - 记录 - 开源
- Kotlin基础语法之类型推断、类型转换、类型检查以及自动类型转换
- Scala学习日记(一)类型推断
- C#3.0规范(五)类型推断