Scala中的Ad hoc多态性

发布时间：2020-12-16 18:33:55 所属栏目：安全来源：网络整理

导读：我无法理解如何创建以下代码的实现： Ad-hoc polymorphismThe third approach in Scala is to provide an implicit conversion or implicitparameters for the trait.scala trait Plus[A] {def plus(a1: A,a2: A): A}defined trait Plusscala def plus[A: Pl

我无法理解如何创建以下代码的实现：

Ad-hoc polymorphism
The third approach in Scala is to provide an implicit conversion or implicit
parameters for the trait.

scala> trait Plus[A] {
def plus(a1: A,a2: A): A
}
defined trait Plus

scala> def plus[A: Plus](a1: A,a2: A): A = implicitly[Plus[A]].plus(a1,a2)
plus: [A](a1: A,a2: A)(implicit evidence$1: Plus[A])A

我如何创建具体的实现,例如添加字符串或整数？

解决方法

像这样？

scala> implicit object StringPlus extends Plus[String] {
     | def plus(a1: String,a2: String) = a1+a2
     | }
defined module StringPlus

scala> plus("asd","zxc")
res1: String = asdzxc

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!