Scala类型推断以及必须显式类型注释

Scala对类型推断有很好的支持。在没有显式类型注解时，编译器可以根据上下文识别不少信息。但是相比一些函数式编程语言，Scala的类型推断还是略有欠缺。因为好多语言可以执行全局类型推断（不懂什么意思），而Scala则无法做到这一点，因为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")))
  }
}

运行结果如下：
上述代码需要注意

1. 定义joiner(strinigs:String*)时，改语法代表joiner可接受的参数是可变的，而*代表0或者多个，本例是joiner可接受0或者多个字符串作为参数。
2. 第二个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的类型推断虽然强大，但是在一些条件下还是受限制的。对于文中描述的各种情况，需要我们在开发过程中重点关注。尤其在定义一个函数或者方法时，必须尽可能的注释期望返回值类型。这样可以方便快速开发以及快速定位问题。在大型项目开发中尤为重要。