基本介绍

与 view bounds 一样 context bounds(上下文界定)也是隐式参数的语法糖。
为语法上的方便， 引入了”上下文界定”这个概念
就是设置一个隐式值，到时候会自动匹配

案例：
上下文界定应用实例
要求：使用上下文界定+隐式参数的方式，比较两个Person对象的年龄大小
要求：使用Ordering实现比较

代码：

package Contextboundsobject ContextBounds {//定义了一个隐式值  类型是：Ordering[Person]implicit val personComparetor = new Ordering[Person] {override def compare(p1: Person, p2: Person): Int =p1.age - p2.age}def main(args: Array[String]): Unit = {val p1 = new Person("mary", 30)val p2 = new Person("smith", 35)val compareComm1 = new CompareComm1(p1, p2)println(compareComm1.geatter)val compareComm2 = new CompareComm2(p1, p2)println(compareComm2.geatter)println("CompareComm3 comparetor：  " + personComparetor.hashCode())val compareComm3 = new CompareComm3(p1, p2)println(compareComm3.geatter)}
}//方式1
/*1.[T: Ordering]  泛型2.obj1: T, obj2: T  接受T 类型的参数3.implicit comparetor: Ordering[T]  隐式参数*/
class CompareComm1[T: Ordering](obj1: T, obj2: T)(implicit comparetor: Ordering[T]) {def geatter = if (comparetor.compare(obj1, obj2) > 0) obj1 else obj2
}//方式2,将隐式参数放到方法内
class CompareComm2[T: Ordering](o1: T, o2: T) {def geatter = {def f1(implicit cmptor: Ordering[T]) = cmptor.compare(o1, o2)if (f1 > 0) o1 else o2}
}//方式3,使用implicitly语法糖，最简单(推荐使用)
class CompareComm3[T: Ordering](o1: T, o2: T) {def geatter = {//这句话就是会发生隐式转换，获取到隐式值 personComparetorval comparetor = implicitly[Ordering[T]]println("CompareComm3 comparetor：  " + comparetor.hashCode())if (comparetor.compare(o1, o2) > 0) o1 else o2}
}//一个普通的Person类
class Person(val name: String, val age: Int) {override def toString = this.name + "\t" + this.age
}

我自己也听的稀里糊涂的，等过段时间需要用到上下文界定的时候再来完善

协变、逆变和不变

基本介绍

1）Scala的协变(+)，逆变(-)，协变covariant、逆变contravariant、不可变invariant

2）对于一个带类型参数的类型，比如 List[T]，如果对A及其子类型B，满足 List[B]也符合List[A]的子类型，那么就称为covariance(协变) ，如果 List[A]是 List[B]的子类型，即与原来的父子关系正相反，则称为contravariance(逆变)。如果一个类型支持协变或逆变，则称这个类型为variance(翻译为可变的或变型)，否则称为invariance(不可变的)
3）在Java里，泛型类型都是invariant（不可变），比如 List 并不是 List 的子类型。而scala支持，可以在定义类型时声明(用加号表示为协变，减号表示逆变)，如: trait List[+T] // 在类型定义时声明为协变这样会把List[String]作为List[Any]的子类型。

协变：

逆变：

应用实例

在这里引入关于这个符号的说明，在声明Scala的泛型类型时，“+”表示协变，而“-”表示逆变
C[+T]：如果A是B的子类，那么C[A]是C[B]的子类，称为协变
C[-T]：如果A是B的子类，那么C[B]是C[A]的子类，称为逆变
C[T]：无论A和B是什么关系，C[A]和C[B]没有从属关系。称为不变.

Temp[Sub]和 Temp[Super] 之间没有从属关系，不变

协变：

逆变：