类型参数化允许设计泛型的类和特质。在Scala中必须确定类型参数，型变定义了参数化类型的继承关系，例如List[String]是List[Any]的子类。

信息隐藏

私有构造方法和工厂方法

• 1. 在Scala中，主构造方法没有显示的定义，是通过类参数和类定义隐式定义的。可以在类参数列表之前添加private来隐藏主构造方法。

  class Queue[T] private (private val head: Int, private val tailing: List[T])
  

  表明这个主构造方法只能从类本身和伴生对象中访问。
• 2. 在主构造方法私有的情况下，构建对象的方法一般有两种：1、创建一个新的公开的构造方法；2、在伴生对象中添加一个工厂方法，使用apply来实现。更倾向于第二种的方法。Queue(1,2,3)会展开为Queue.apply(1,2,3)因为Queue是对象而不是函数。

私有类

• 私有构造方法和工厂方法只是隐藏类的初始化以及内部实现细节的一种方式，更激进的一种做法是隐藏类本身，只暴露一个反映类的公有接口的特质。更好的实现了工厂方法，用户完全不必关心对象的实现类。

型变注解

• 1. Queue不是一个类型，是一个泛型的特质，因为其接受一个类型参数。Queue[String]才是类型，是参数化的类型。泛型是指我们可以使用一个泛化的类或者特质来定义许许多多的类型。
• 2. 类型参数和子类型引申出了一个问题，Queue[Father]是Queue[Child]的父类吗？
  • 1. 可以在类型参数上添加型变注解来要求Queue[T]类型之间的关系，+表示协变，Queue[F]是Queue[C]的父类，-表逆变，Queue[F]是Queue[C]的子类，一般情况下是不变的，就是两者没有任何关系。
  • 2. 其中协变，逆变和不变称为类型参数的型变，+等表示类型注解。编译器不允许协变的类型参数出现在方法的形参当中，主要是因为C的父类F还有另外的C1，但是C和C1是没有关系的。

型变和数组

• 在Java中处理数组是协变的，因此尽管Scala语法中Array是不变的，但是在编译的时候协变的操作依然可以通过编译，因为JVM中数组是协变的。

检查型变注解

• 1. 对类型可靠性的违背都涉及到可被重复赋值的字段或者数据元素，并且协变元素出现在方法的参数中也会造成潜在的类型不可靠。因此使用+注解的类型不允许出现在方法参数中，赋值操作仅仅是类型出现在方法参数中的一个特例情况。
• 2. 编译器会在出现类型参数的点进行类型检查，使用+注解的类型参数只能使用在协变点，使用-注解的类型只能出现在逆变点。没有型变注解的可以出现在任何地方。
• 3. 为了对类型参数点进行归类，编译器从类型参数声明开始，逐步深入到更深的嵌套层次。这一块没懂？？？

下界

• U >: T，U是T的基类

  class Queue[+T] (private val leading: List[T],
  private val trailing: List[T] ) {
  def enqueue[U >: T](x: U) =
  new Queue[U](leading, x :: trailing) // ...
  }
  

  T是协变类型，本不应该出现在方法参数中，但是可以使用下界来解决这个问题。U是T的超类型。这样的话，对于Queue[Apple]可以添加一个Orange对象，结果返回的是Queue[Fruit]。
• Scala中使用的是声明点型变而不是使用点型变，Java处理的是后者。

逆变

• 1. 李氏替代原则，子类对象可以应用在任何父类对象使用的地方。或者T的所有操作对比U要求的更少而且提供的更多，则T是U的子类，因此OutputChannel[AnyRef]是OutputChannel[String]的子类，这里是一个逆变，因为AnyRef要求的更少。有时候协变和逆变会出现在同一个类型当中，比较明显的例子是Scala中的函数。
• 2. 函数A=>B是Function1[A,B]的语法糖，A是逆变的，B是协变的，也就是Function1[-A,+B]，这样才满足李氏替代原则。因为入参是函数对外的要求，结果是函数提供给外界的返回值。
     
     Function.png
     
     function1: Book => AnyRef，function2: Pub => String
val a = function1(x)可以替换为val a = function2(x)，所以function2是function1的子类。

对象私有数据

• 在

  class Queue[+T] private (
  private[this] var leading: List[T],
  private[this] var trailing: List[T]
  ) {}
  

  中添加两个var变量，用来避免多次的复制操作，但是在类中声明var会自动生成赋值方法，协变类型T出现在了方法参数中，这段代码能够通过编译的原因在于使用修饰符this限定了两个变量的可访问范围。这两个变量成为对象私有的，这两个变量在对象之外并不能通过别的对象进行访问，因此不会引发类型错误。

上界

• T <: Ordered[T]，T必须是Ordered[T]的子类。