Scalaのコヒーレンス(+),インバータ(-),上界(<br>:)

trait List[+T] //            

List<? extends Object> list = new ArrayList<String>();

List<String> aList = new ArrayList<String>();
List<? extends Object> covariantList = aList;
List<? super String> contravariantList = aList;
covariantList.add("d"); //wrong
Object a = covariantList.get(0);

contravariantList.add("d"); //OK
String b = contravariantList.get(1); //wrong
Object c = contravariantList.get(2);

@Test
public void upperBound(List<? extends Date> list, Date date) {
    Date now = list.get(0);
    System.out.println("now==>" + now);
    //list.add(date); //       ，        list   java.util.Date           
    list.add(null);//      ，  null      
}

public void lowerBound(List<? super Timestamp> list) {
    Timestamp now = new Timestamp(System.currentTimeMillis());
    list.add(now);
    //Timestamp time = list.get(0); //    。            Date   Object，          Timestamp，         
}

object app_main_1 extends App {
  val t: Temp[Super] = new Temp[Sub]("hello world")
  print(t.toString)
}

class Temp[+A](title: String)

//    

class Super

class Sub extends Super

scala> trait A[+T]
defined trait A

scala> class C[T] extends A[T]
defined class C

scala> class X; class Y extends X;
defined class X
defined class Y

scala> val c:C[X] = new C[Y]
<console>:11: error: type mismatch;
 found   : C[Y]
 required: C[X]
Note: Y <: X, but class C is invariant in type T.
You may wish to define T as +T instead. (SLS 4.5)
       val c:C[X] = new C[Y]
                    ^

scala>

scala> class C[+T] extends A[T]
defined class C

scala> val c:C[X] = new C[Y]
c: C[X] = C@7241a47d

scala>

trait Function1[-T, +U] {
  def apply(x: T): U
}

package com.usoft2

//    
class Publication(val title: String)

//   
class Book(title: String) extends Publication(title)

//    
object Library {
  //           
  val books: Set[Book] = Set(
    new Book("Programming in Scala"),
    new Book("Walden")
  )

  //        ，            
  def printBookList(info: Book => AnyRef) {
    //  Scala            Function1     
    assert(info.isInstanceOf[Function1[_, _]])
    //  
    for (book <- books)
      println(info(book))
  }

  //        ，       GetInfoAction        
  def printBokkListByTrait[P >: Book, R <: AnyRef](action: GetInfoAction[P, R]) {
    //  
    for (book <- books)
      println(action(book))
  }

}

//        ，P          Book，R          AnyRef
trait GetInfoAction[P >: Book, R <: AnyRef] {
  //           ，  （）   
  def apply(book: P): R
}

//    ，      
object Customer extends App {
  //            
  def getTitle(p: Publication): String = p.title

  //       
  Library.printBookList(getTitle)

  //    GetInfoAction      
  Library.printBokkListByTrait(new GetInfoAction[Publication, String] {
    def apply(p: Publication): String = p.title
  })
}