开发者学堂课程【Scala 核心编程 - 进阶:视图界定的介绍应用实例1】学习笔记,与课程紧密连接,让用户快速学习知识。
课程地址:https://developer.aliyun.com/learning/course/610/detail/9155
视图界定的介绍应用实例1
内容介绍
一、视图界定基本介绍
二.视图界定应用案例1
视图界定基本介绍
视图界定仍然属于类型约束的一种,叫view bounds。
% 的意思是“view bounds”(视界),它比<:适用的范围更广,除了所有的子类型,还允许隐式转换类型。
可以这么理解:
在进行上界传入的时候,隐式转换也会生效。这个语法现象就比较多样化了,这就是为什么最终scala有些初学者学完了之后看不懂了。
def method [A<%Bl(arglist): R=….等价于:
def method [A](arglist)(implicit viewAB: A => B): R=.…或等价于:
implicit def conver(a:A): B = ...
method方法a是一个泛型,视图界定B。后面有个arglilst,它等价于下面的两种写法。大家可能现在看不懂,那么就案例完了后再回头看。
% 除了方法使用之外,class 声明类型参数时也可使用: class A[T <% Int]
视图界定除了方法之外还可以使用在类的声明和参数中也能用,如果是类里面要用就是这样用的,这是泛型视图界定int。
二.视图界定应用案例1
obiect ViewBoundsDemo{
def main(args:Array[String]):Unit={
//方式1
val compareComm1=newCompareComm(2030) printin(compareComm1.greater)
//同时,也支持前面学习过的上界使用的各种方式.看后面代码
}
}
class CompareComm[T <% Comparable[T]](obj1: Tobj2: T){
def greater =if(obj1.compareTo(obj2)>0)obj1 else obj2
}
还用比较Int和float的大小来讲。这里 compare common试图界定comparable T。
Comparable是一个接口,那么就可以用它的compare方法,最起码唯一变化就在这里,那么当写的东西写成数据鉴定过后发现,直接传的整数可以直接用了,而以前是不行的。
先来建个包:
package com.atguigu.chapter18.viewbounds
object viewBoundsDemo01 {
def main(args: Array[string]): Unit = {
//使用了隐式转换
val compareComm01=newCompareComm(1,20)
printin(compareComme1.greater)
}
}
//说明
//1. T<%Comparable[T]说明 T是Comparable子类型
//2. T<% Comparable[T] 和 T<:Comparable[T]区别就是视图界定支持隐式转换
//3. 视图界定不但支持以前上界的写法,同时支持简洁的写法
class CompareComm[T <% Comparable[T]](obj1:T,obj2:T){
def greater = if(obj1.compareTo(obj2) > 0) obj1 else obj2
}
点击运行:
为什么会成功?
原因是使用了隐式转换。那么隐式转换在哪里发生?视图界定会发生一个隐式转换,就是会在进行传int的时候会直接调用。
不用写他就会去找到一个这样的方法,这是它的一个使用,而且在看这段代码之前写的转换,是有这种写法:val compareComm2 =new CompareCommlntegervalueOf20)IntegervalueOf30) printin(compareComm2.greater)
//以前<
:
上界
val compareComm4 =new CompareCommjava lang Float(201.9f30.1f) printin(compareComm4.greater)
/
/上面的小数比较,在视图界定的情况下,就可以这样写了
//这里会进行隐式转换
val compareComm5=
new CompareComm(201.9f310.1f
)
printin(compareComm5.qreater)
点击运行:
成功。
这就是视图界定案例1的讲解。