博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
scala的视图界定
阅读量:6607 次
发布时间:2019-06-24

本文共 1399 字,大约阅读时间需要 4 分钟。

hot3.png

在帧子的代码中,如果main函数中不是用字符串而是用数字则程序不能正常编译:

class Pair[T <: Comparable[T]](val first:T,val second:T) //类型T必须要是Comparable接口的子类(即T是Comparable的下界){  def bigger = if(first.compareTo(second) > 0) first else second}class Pair_Lower_Bound[T](val first:T,val second:T){  def replaceFirst[R >: T](newFirst:R) = new Pair_Lower_Bound(newFirst,second) //类型R是T类型的父类(也即R是T的上界)}object Type_Variables_BoundsTest {  def main(args: Array[String]): Unit = {    val pair = new Pair(2,3) //此处代码不能正常编译    println(pair.bigger)  }}

此时就需要用到视图界定了,将代码改为:

class VBPair[T <% Comparable[T]](val first:T,val second:T) //T类型可以隐式转换成Comparable[T]类型{  def bigger = if(first.compareTo(second) > 0) first else second}

则val pair =new VBPair(2,3)就能成功了。这是因为Int可以隐式转换成RichInt,具体分析通过源码可以看到:

predef.scala中:

@inline implicit def intWrapper(x: Int)         = new runtime.RichInt(x)

而RichInt.scala中:

final class RichInt(val self: Int) extends AnyVal with ScalaNumberProxy[Int] with RangedProxy[Int]

而ScalaNumberProxy.scala中:

trait ScalaNumberProxy[T] extends Any with ScalaNumericAnyConversions with Typed[T] with OrderedProxy[T]
trait OrderedProxy[T] extends Any with Ordered[T] with Typed[T]

而package.scala中:

type Ordered[T] = scala.math.Ordered[T]

而Ordered.scala中:

trait Ordered[A] extends Any with java.lang.Comparable[A]

所以说,当用2和3调用的时候, 首先int转换成RichInt,而RichInt最终继承至Comparable[Int],当然是满足视图界定要求的。

转载于:https://my.oschina.net/u/2963604/blog/2247672

你可能感兴趣的文章
PPP PAP 认证 CHAP 认证
查看>>
shell备份msyql数据库
查看>>
ovirt官方安装文档 附录G
查看>>
9.4/9.5 sed
查看>>
如何挂载另一个lvm硬盘
查看>>
Python制作简单表格
查看>>
磁盘故障小案例
查看>>
SecureCRT 用put -r上传文件 系统找不到指定文件
查看>>
洞悉物联网发展1000问之哪些应用会是5G+物联网的爆发点?
查看>>
Jenkins控制台乱码
查看>>
数组及指针效率
查看>>
大数据基础之开发第一个Java程序
查看>>
怎么解决app下载链接被微信屏蔽拦截导致打开显示已停止访问该网页问题?
查看>>
Win7,win8 Cisco *** Reason 442: Failed to Enable Virtual Adapter
查看>>
python IP地址十六进制二进制间相互转换
查看>>
Redis内存使用优化与存储
查看>>
centos上安装 Python3x
查看>>
Python中字符串格式化的细节
查看>>
OneProxy中间件生产使用经验视频分享
查看>>
PowerShell运维人员常用命令收集整理
查看>>