跟连乐一起学Scala-类型参数

欢迎加入Scala讨论QQ群212859367，和连乐一起讨论学习！

---

泛型类

例子：

class Pair[T, S](val first: T, val second: S)

---

泛型函数

例子：

def getMiddle[T](a: Array[T] = a(a.length / 2))

Scala会从调用该方法使用的实际参数来推断出类型。

getMiddle(Array("Mary", "had", "a", "little", "lamb"))
//将会调用getMiddle[String]

---

类型变量界定

解决问题：有时候，你需要对类型变量进行限制。

class Pair[T <: Comparable[T]](val first: T, val second: T) {
    def smaller = if (first.compareTo(second) < 0) first else second
}

以上示例中，T必须是Comparable[T]的子类型。

---

视图界定
示例：

class Pair[T <% Comparable[T]]

//意味着T可以被隐式转换成Comparable[T]

---

上下文界定

视图界定T<%V要求必须存在一个从T到V的隐式转换。
上下文界定的形式为：T:M,其中M是另一个泛型类，它要求必须存在一个类型为M[T]的“隐式值”。

例子：

class Pair[T : Ordering]

class Pair[T: Ordering](val first T, val second: T) {
    def smaller(implicit ord: Ordering[T]) = 
        if (ord.compare(first, second) < 0) first else second
}

隐式值比隐式转换更灵活。

---

Manifest上下文界定

要实例化一个泛型的Array[T],我们需要一个Manifest[T]对象。

例子：

def makePair[T: Manifest](first: T, second: T) {
    val r = new Array[T](2)
    r(0) = first
    r(1) = second;
    r
}

如果你调用makePair(4, 9),编译器将定位到隐式的Manifest[Int]并实际上调用makePair(4,9)(intManifest),这样，该调用方法调用的就是new Array(2)(intManifest)，返回基本类型的数组：int[2]

---

多重界定

类型变量可以同时有上界和下界：

T >: Lower <: Upper

你不能同时有多个上界或者多个下界。
你可以要求一个类型实现多个特质：

T <: Comparable[T] with Serializable with Cloneable

可以有多个视图界定，如下：

T <% Comparable[T] <% String

也可以有多个上下文界定，如下：

T : Ordering : Manifest

---

类型约束

T =:= U
T <:< U
T <%< U

上述约束将会测试T是否等于U,是否为U的子类，是否被视图（隐式）转换为U。

示例：

class Pair[T](val first: T, val second: T)(implicit ev: T <:<Comparable[T])

类型约束可以让你在泛型中定义只能在特定条件下使用的方法。

class Pair[T](val first: T, val second: T){
    def smaller(implicit ev: T <:< Ordered[T]) = 
        if (first < second) first else second
}

---

型变
例子：

class Pair[+T] (val first: T, val second: T)

说明：加号意味着该类型是与T协变的，也就是说，它与T按同样的方向型变。

也可以有另一个方向的型变。

trait Friend[-T] {
    def befriend(someone: T)
}

在一个泛型的类型声明中，你可以同时使用这两种型变。

---

协变和逆变点

通常，对于某个对象消费的值适用逆变，而对于它产生的值则适用协变。

---

对象不能泛型

我们无法给对象添加类型参数。比如可变列表。

---

类型通配符

java中：

void makeFriends(Pair<? extends Person> people)

Scala中：

def process(people: java.util.List[_ <: Person])

def makeFriends(p: Pair[_ <: Person])

逆变的通配符使用：

import java.util.Comparator
def min[T] (p: Pair[T])(comp: Comparator[_ >: T])

欢迎加入Scala讨论QQ群212859367，和连乐一起讨论学习！