scala中的多态 Ad-hoc polymorphism和type class

栏目: Scala · 发布时间: 6年前

多态的类型(polymorphism)

(1) parametric多态

下面例子来自scalaz教程:

scala> def head[A](xs: List[A]): A = xs(0)

head: [A](xs: List[A])A

scala> head(1 :: 2 :: Nil)

res0: Int = 1

scala> case class Car(make: String)

defined class Car

scala> head(Car("Civic") :: Car("CR-V") :: Nil)

res1: Car = Car(Civic)

可以看出参数多态与类型无关。

2 sub-type 多态

OOP中子类重写父类方法,父类引用指向子类。

3 ad-hoc 多态

Ad-hoc polymorphism 的ad-hoc的意思是非通用的,临时的,与参数多态相反:参数多态与类型无关,是通用的,而ad-hoc多态与类型绑定,非通用。同时在Wikipedia中提到:

sub-type多态和ad-hoc多态都可以定义为一个接口,多个实现。区别在于,前者sub-type多态是在run-time环节决定选择哪一个实现(late binding 迟绑定),

而后者ad-hoc多态是在compile-time。第一种参数多态与类型无关,只有一种实现。

关于 ad-hoc 多态

ad-hoc 非通用不是贬义词,相反,ad-hoc多态能让scala这种静态语言拥有动态语言的鸭子类型。(静态语言golang通过interface,在编译时推断变量的类型也可以实现)

ad-hoc多态在scala中可以通过隐式转换和type class实现。

scala中type class由3部分组成:

1 type class (在scala中一般用trait)

2 class的实例 (instance)

3 提供用户调用的interface

下面代码中,type class是trait Assert部分,class实例放在object中,包括IntEqual和StrEqual,

提供用户调用的interface,则是指通过implicit参数接收class实例的函数。

为了方便理解,下面代码实现了很简单的功能:判断两个值是否相等。

/**

* Created by me on 2018/9/10.

*/

trait Assert[M]{

def doAssert: (M, M) => Boolean

}

object Assert{

implicit val IntEqual =new Assert[Int] {

def doAssert: (Int, Int) => Boolean = (value: Int, expect: Int) => {

println("int assertion")

value.equals(expect)}

}

implicit val StrEqual =new Assert[String] {

def doAssert: (String, String) => Boolean = (value: String, expect: String) => {

println("string assertion")

value.equals(expect)}

}

}

object Main extends App{

def Assertion[M](a: M, b: M)(implicit m: Assert[M]): Boolean = return m.doAssert(a, b)

println(Assertion(1,1))

println(Assertion("1","1"))

}


以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

集体智慧编程

集体智慧编程

Toby Segaran / 莫映、王开福 / 电子工业出版社 / 2015-3 / 79.00元

《集体智慧编程》以机器学习与计算统计为主题背景,专门讲述如何挖掘和分析Web 上的数据和资源,如何分析用户体验、市场营销、个人品味等诸多信息,并得出有用的结论,通过复杂的算法来从Web 网站获取、收集并分析用户的数据和反馈信息,以便创造新的用户价值和商业价值。全书内容翔实,包括协作过滤技术(实现关联产品推荐功能)、集群数据分析(在大规模数据集中发掘相似的数据子集)、搜索引擎核心技术(爬虫、索引、查......一起来看看 《集体智慧编程》 这本书的介绍吧!

RGB转16进制工具
RGB转16进制工具

RGB HEX 互转工具

HTML 编码/解码
HTML 编码/解码

HTML 编码/解码

html转js在线工具
html转js在线工具

html转js在线工具