一. Implicit关键字

  1. 隐士转换

    (1)隐士转换函数:用implicit修饰的,只有一个参数的函数。他会被自动执行,来把一个值转换成另一个

      class RichFile(val f:File){
    def read = Source.fromFile(f).mkString
    }
    implicit def file2richFile(f:File) = new RichFile(f) //隐士转换函数
    val result: String = new File("/home/lj/chrome.sh").read
    println(result)

(2)隐士转换函数可以卸载伴生对象中,需要的时候import进来

(3)当一个隐士函数没有被scala调用,可以显示的调用函数,有可能出现错误提示

【注】:

    (a) 隐士转换优先转换参数,后去尝试转换调用方法的对象
(b) 隐士转换不能同时使用多个转换。eg:convert1(convert2(a))
(c) 二义性错误:如果2个隐士转换函数都能用到参数转换,则编译器报错
  1. 函数的隐士参数

    (1)函数参数列表中的某个参数,用implicit生命,则这个函数成为包含隐士参数的函数。

    (2)调用隐士参数的函数,可以显式传入参数,也可以省略不传,scala从上下文查找隐士对象,自动传进函数中

      class Delimeters(val left:String,val right:String){}
    def quote(value:String)(implicit delimeters: Delimeters)=println(delimeters.left+value+delimeters.right)
    quote("spark")(new Delimeters("<",">")) //显示调用
    implicit val deli = new Delimeters("<<",">>")
    quote("hadoop") // 自动推断
  2. 隐士转换function作为函数的隐士参数

    有时一个函数的参数类型为泛型T,不能确定参数有哪些方法可被调用。因此,函数的参数类表中,使用隐士转换函数作为参数,从而确定参数列表有哪些方法能被调用

      //Predef中含有大量的T->Ordered[T]的隐士转换函数
    def getBigger[T](a:T,b:T)(implicit ord : T=>Ordered[T])={ //ord是一个隐士转换函数,用implicit修饰后,成为隐士参数。scala要根据前文查找是否有这样一个函数
    if(a>b) a else b
    }
    println(getBigger(2,3))
  3. 上下文界定

    上下文界定是对隐士参数的简化语法,这个隐士参数的类型要是M[T],简化掉函数参数中的隐士参数。那函数内部如何使用原来的隐士参数呢,2种方法:定义内部函数,把省略的隐士参数在内部函数中还原出来;第二个是用implicity还原这个变量

    object Test extends App{
    // 隐士参数
    def max[T](a:T,b:T)(implicit cp:Ordering[T])={
    if (cp.compare(a,b)>0) a else b
    }
    println(max(1,3)) // 上下文界定精简隐士参数,表示的语义还是要有Ordering[T]类型的隐士参数
    def max2[T:Ordering](a:T,b:T)={
    // 1.内部函数使用隐士参数
    def innermax(implicit op:Ordering[T]) = {
    if (op.compare(a,b)>0) a else b
    }
    innermax
    }
    println(max2(3,6)) // 2. implicify还原隐士参数
    def max3[T:Ordering](a:T,b:T)={
    val op = implicitly[Ordering[T]]
    if (op.compare(a,b)>0) a else b
    }
    println(max3(23,1))
    }
  4. 类型证明参数

    (1)格式:implicit 类型证明参数名:泛型1 <:<,<%<,<=< 泛型2

    (2)作用:当函数右两个泛型时,类型证明参数可以证明一个泛型是另一个泛型的(子类型,视图类型,相等类型)

      //firstlast方法,会在调用时确定2个类型。C:函数的参数类型。A是iterable里的类型(List中的元素类型)。
    def firstLast[A,C](it:C)(implicit demonstrate: C<:<Iterable[A]) = { // 如果没有类型证明参数demonstrate,定义函数时,无法确定C是什么类型。也就无法调用参数的方法
    (it.head,it.last)
    }
    println(firstLast(List(1,2,5))) // scala推断出泛型[Int,List[Int]]
    println(firstLast[Int,List[Int]](List(1,2,5))) // 手动指定泛型[Int,List[Int]]

二. @implicitNotFound注解

  1. @implicitNotFound

    @implicitNotFound注解在无法找到隐士参数,隐士转换,或推出的泛型不匹配时给出提示信息

      @implicitNotFound(msg = "Cannot prove that ${From} <:< ${To}.")
    sealed abstract class <:<[-From, +To] extends (From => To) with Serializable
  2. Manifest和typetag

  // Manifest和typetag存储被擦出泛型信息
class Foo{class Bar}
def m(f: Foo)(b: f.Bar)(implicit ev: TypeTag[f.Bar]) = ev // TypeTag解决Manifest的依赖路径问题
val f1 = new Foo;val b1 = new f1.Bar
val f2 = new Foo;val b2 = new f2.Bar
val ev1 = m(f1)(b1)
val ev2 = m(f2)(b2)
println(ev1==ev2) // false。 使用manifest的结果是true

scala高级内容(二) - Implicit的更多相关文章

  1. scala高级内容(一) Case Class

    一. 操作符 自定义操作符 操作付默认左结合调用.除了以:结尾的操作符是右结合调用 object OperaterTest extends App{ val a: myInt = new myInt( ...

  2. Scala进阶之路-Scala高级语法之隐式(implicit)详解

    Scala进阶之路-Scala高级语法之隐式(implicit)详解 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. 我们调用别人的框架,发现少了一些方法,需要添加,但是让别人为你一 ...

  3. 一个完整的Installshield安装程序实例—艾泽拉斯之海洋女神出品(四) --高级设置二

    原文:一个完整的Installshield安装程序实例-艾泽拉斯之海洋女神出品(四) --高级设置二 上一篇:一个完整的安装程序实例—艾泽拉斯之海洋女神出品(三) --高级设置一4. 根据用户选择的组 ...

  4. Lucene的查询及高级内容

    Lucene查询 基本查询: @Test public void baseQuery() throws Exception { //1. 创建查询的核心对象 FSDirectory d = FSDir ...

  5. ASP.NET MVC深入浅出(被替换) 第一节: 结合EF的本地缓存属性来介绍【EF增删改操作】的几种形式 第三节: EF调用普通SQL语句的两类封装(ExecuteSqlCommand和SqlQuery ) 第四节: EF调用存储过程的通用写法和DBFirst模式子类调用的特有写法 第六节: EF高级属性(二) 之延迟加载、立即加载、显示加载(含导航属性) 第十节: EF的三种追踪

    ASP.NET MVC深入浅出(被替换)   一. 谈情怀-ASP.NET体系 从事.Net开发以来,最先接触的Web开发框架是Asp.Net WebForm,该框架高度封装,为了隐藏Http的无状态 ...

  6. 02.Scala高级特性:第6节 高阶函数;第7节 隐式转换和隐式参数

    Scala高级特性 1.    课程目标 1.1.   目标一:深入理解高阶函数 1.2.   目标二:深入理解隐式转换 2.    高阶函数 2.1.   概念 Scala混合了面向对象和函数式的特 ...

  7. Stm32高级定时器(二)

    Stm32高级定时器(二) 1 主从模式:主?从? 谈论主从,可知至少有两个以上的触发或者驱动信号,stm32内部有多个定时器,可以相互之间驱动或者控制. 主模式:定时器使能只受驱动时钟控制或者输出控 ...

  8. Solidity高级理论(二):Gas

    solidity高级理论(二):Gas 关键字:Gas.结构体.节省小技巧 Gas是什么 在Solidity中,用户想要执行DApp都需要支付一定量的Gas,Gas可以用以太币购买,所以,用户每次使用 ...

  9. Scala学习(二)——高级特性

    apply() 方法 apply方法是Scala提供的一个语法糖 类名+括号,调用对象的apply方法 对象名+括号,调用类的apply方法 对apply方法的简单测试:(其中,带 new -- cl ...

随机推荐

  1. Android EditText内容监听

    监听 EditText的内容变化,作出对应的处理. MainActivity.class package com.example.edittextdemo; import android.app.Ac ...

  2. jce

    jdk8:jce 下载地址:http://www.oracle.com/technetwork/java/javase/downloads/jce8-download-2133166.html jdk ...

  3. phpwind将服务器数据同步到本地之后网站不显示或者排版错误

    在将phpwind的数据同步到本地服务器之后 如果访问本地服务器的首页不能显示的话 首先要查看global.php文件中的D_P变量,官方默认 的此变量应该指向和R_P变量是同一个文件夹即网站的根目录 ...

  4. CentOS 中PHP开启 GD功能

    yum install php-gd 然后重启服务器: service httpd restart

  5. about JNI

    1.Java对C/C++事件处理的封装JIT(Just in Time.Java语言的原动态编译技术) 大多数的游戏引擎都是使用可移植的C语言开发的,然后通过简单的封装以适应特殊的平台. 2.Andr ...

  6. matlab:对一个向量进行排序,返回每一个数据的rank 序号 。。。

    %% Rank the entropy_loss     % for iiii = 1:size(Group_age, 1)  %     count_1 = 0 ;%     tmp = Group ...

  7. stl迭代器原理

    具体实现肯定不如书上讲的清楚了,这里只是根据侯捷书上的讲解,自己建立一条思路以及形成一些相关的概念 迭代器也可被称作智能指针,用于遍历容器内的元素,stl每个容器都实现了自己的iterator,ite ...

  8. VS 2012 C#快捷键

    ctrl + J 重现智能提示 ctrl + L    删除一行ctrl + K ctrl + C 注释选中行ctrl +K ctrl +U    取消注释 ctrl +K ctrl +F    格式 ...

  9. objective-c 一个链式加法计算器实现

    一个链式加法计算器实现思路 1.使用时的效果 Calculate * manger=[Calculate new]; int result=manger.add(123).add(123).sub(1 ...

  10. sql server 常用的系统存储过程

      系统存储过程 说明 sp_databases 列出服务上的所有数据库 sp_helpdb 报告有关指定数据库或所有数据库的信息 sp_renamedb 更改数据库的名称 sp_tables 返回当 ...