scala 泛型上下限、协变、逆变