scala——泛型方法、类、特质的使用，泛型边界、协变逆变非变