Scala之旅-多态方法（POLYMORPHIC METHODS）和类型推断（TYPE INFERENCE）

ゝ一纸荒年。 2022-05-24 00:26 117阅读 0赞

# 多态方法（POLYMORPHIC METHODS） #

***Scala*** 中的方法可以通过类型和值进行参数化。语法和泛型类类似。类型参数用方括号`[]`括起来，而值参数用圆括号`()`括起来。

看下面例子：

def listOfDuplicates[A](x: A, length: Int): List[A] = {
      if (length < 1)
        Nil
      else
        x :: listOfDuplicates(x, length - 1)
    }
    println(listOfDuplicates[Int](3, 4))  // List(3, 3, 3, 3)
    println(listOfDuplicates("La", 8))  // List(La, La, La, La, La, La, La, La)

![这里写图片描述][70]  
![这里写图片描述][70 1]  
方法 `listOfDuplicates` 采用类型参数 `A` 和值参数 `x` 和 `length`。值 `x` 是类型 `A`。如果 `length < 1`，我们返回一个空列表。否则我们将 `x` 添加到递归调用返回的重复列表中。（注意符号 `::` 指将左边的元素添加到右边的列表）

例子中第一次调用方法时，我们明确提供了类型参数为 `[Int]`。因此第一个参数肯定是 `Int` 且返回类型为 `List[Int]`。

第二次调用表明你不必每次都需要提供明确地参数类型。编译器通常可以依据上下文或值参数类型来推断出类型。在这个例中，`"La"` 是一个 `String` 类型，因此编译器知道 `A` 必须是 `String`。

# 类型推断（TYPE INFERENCE） #

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

## 省略类型 ##

val businessName = "Montreux Jazz Cafe"

编译器可以发现 `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") // type: MyPair[Int, String]
    
    def id[T](x: T) = x
    val q = id(1)              // type: Int

编译器使用 `MyPair` 参数类型推断出 `A` 和 `B` 的类型。同样地方式可以推断出 `x` 的类型。

## 参数 ##

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

Seq(1, 3, 4).map(x => x * 2)  // List(2, 6, 8)

`map` 的参数是 `f: A => B`。因为我们把整数放在了 `Seq` 里，所以编译器知道 `A` 是 `Int` 类型（即 `x` 是一个整数）。  
因此，编译器可以根据 `x*2` 推断出 `B` 是 `Int` 类型。

## 何时不依赖类型推断 ##

一般认为在公共 API 中声明成员的类型是更具有可读性的。因此，我们建议你为那些将要暴露给用户的任何 API 提供明确地类型。

同时，类型推断有时可能推断出一个太特定的类型。假设我们这样写：

var obj = null

那么我们就不可以继续进行重新分配：

obj = new AnyRef

它不会通过编译，因为类型推断出 `obj` 的类型是 `Null`。由于该类型的唯一值是 `null`，因此不可能再给它分配不同的值。