Scala泛型
一、协变、逆变
协变:Son是Father的子类,则MyList[Son] 也作为MyList[Father]的“子类”。 格式:class MyList[+T]{ //协变 }
逆变:Son是Father的子类,则MyList[Son]作为MyList[Father]的“父类”。 格式:class MyList[-T]{ //逆变 }
不变:Son是Father的子类,则MyList[Father]与MyList[Son]“无父子关系”。 格式:class MyList[T] //不变
//泛型模板 //class MyList<T>{} //不变 //class MyList[T]{} //协变 //class MyList[+T]{} //逆变 //class MyList[-T]{}
二、泛型上下限
泛型的上下限的作用是对传入的泛型进行限定。
语法:
- Class PersonList[T <: Person]{ //泛型上限 }
- Class PersonList[T >: Person]{ //泛型下限 }
//泛型通配符之下限 //def test[A >: Child](a:Class[A]): Unit ={ // println(a) //} //形式扩展 def test[A >: Child](a:A): Unit ={ println(a.getClass.getName) }
三、上下文限定
语法:
- def f[A : B](a: A) = println(a)
- 等同于def f[A](a:A)(implicit arg:B[A])=println(a)
上下文限定是将泛型和隐式转换的结合产物,以下两者功能相同,使用上下文限定[A : Ordering]之后,方法内无法使用隐式参数名调用隐式参数,需要通过implicitly[Ordering[A]]获取隐式变量,如果此时无法查找到对应类型的隐式变量,会发生出错误。
def f[A:Ordering](a:A,b:A) =implicitly[Ordering[A]].compare(a,b)
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 一个费力不讨好的项目,让我损失了近一半的绩效!
· 清华大学推出第四讲使用 DeepSeek + DeepResearch 让科研像聊天一样简单!
· 实操Deepseek接入个人知识库
· CSnakes vs Python.NET:高效嵌入与灵活互通的跨语言方案对比
· Plotly.NET 一个为 .NET 打造的强大开源交互式图表库