Scalaz(1)- 基础篇:隐式转换解析策略-Implicit resolution
在正式进入scalaz讨论前我们需要理顺一些基础的scalaz结构组成概念和技巧。scalaz是由即兴多态(ad-hoc polymorphism)类型(typeclass)组成。scalaz typeclass在scala中的应用有赖于scala compiler的一项特别功能:隐式转换(implicit conversion),使程序表述更精简。由于隐式转换是一项compiler功能,在程序编译(compile)的时候是由compiler来进行类型转换代码的产生和替代的。
让我们先了解一下作用域(scope)和绑定(binding)。这两样都是在编译程序时compiler需要解决的问题。所谓作用域解析(scope resolution)就是要确定一个绑定在一个作用域里是可视的,否则程序无法通过编译。
作用域就是一个绑定在一个程序范围内的可视型。作用域可以是某个类的内部或者是某个方法或函数的内部,基本上用{}就可以创造一个新的作用域了。在scala作用域可以是多层的,一个域可以存在于另一个作用域内。外部域的绑定在内部域内是可视的,反之则不然:
1 class Foo(x: Int) { 2 def temp = { 3 val y = x + 1 //x是本地域外的一个绑定 5 }
在以上的例子里x在temp{}内是可视的。一个作用域内的绑定可以屏蔽(shadow)外域定义的绑定:
1 class Foo(x: Int) { 2 def temp = { 3 val x = 0 //本地域绑定。屏蔽了外域的x 4 val y = x + 1 //y=1,x是本地域的一个绑定 6 }
绑定屏蔽是分优先次序如下:
1、本地声明、定义或者透过继承又或者在同一源代码文件内的package定义的绑定最优先
2、明式申明的import如:import obj.Foo 所定义的绑定次优先
3、通配符式的import如:import obj._ 所定义的绑定再次之
4、同一package但处于不同源代码文件内的绑定最次优先
我们用个例子来示范scope binding的优先顺序:
package test; // This object contains the bindings/scope tests object Test { def main(arg : Array[String]) : Unit = { testSamePackage() testWildcardImport() testExplicitImport() testInlineDefinition() // This looks for a binding x within the same package (test) as this scope. def testSamePackage() { println(x) // 在另外文件的test package. prints: Externally bound x object in package test // This defines a new scope with an x binding that we can import with a wildcard. object Wildcard { def x = "Wildcard Import x" // This function will print the value in the binding x after importing from the Wildcard object // using a wildcard import. def testWildcardImport() { import Wildcard._ println(x) // prints: Wildcard Import x // This defines another binding of x that we can import explicitly. object Explicit { def x = "Explicit Import x" def testExplicitImport() { import Explicit.x import Wildcard._ println(x) // .x优先于._ prints: Explicit Import x // This defines an inline binding for x. Note that with all the imports, there are no ambiguous naming conflicts. def testInlineDefinition() { val x = "Inline definition x" //即使写在最前,本地binding x还是最优先 import Explicit.x import Wildcard._ println(x) // prints: Inline definition x }
scala compiler 在编译程序时会根据情况自动进行隐式转换,即代码替代。在两种情况下scala会进行隐形转换:
1、在期待一个类型的地方发现了另外一个类型:
package learn.scalaz object ab { class A class B implicit def bToA(x: B): A = new A object testApp extends App { import ab._ val a: A = new B //需要进行B = A的隐式转换 }
在这里由于A类和B类没有任何继承关系,应该无法通过编译,但scala compiler会首先尝试搜寻B= A的隐式转换实例,当找到bToA函数时compiler会把new B替代成bToA(new B),如此这般才能通过编译。
2、当一个类型并不支持某个方法时:
package learn.scalaz object ab { class A { def printA = println("I am A") class B implicit def bToA(x: B): A = new A object testApp extends App { import ab._ (new B).printA //需要进行B = A的隐式转换 }
scala compiler 在隐式转换中的隐式解析(implicit resolution)会用以下的策略来查找标示为implicit的实例:
1、能用作用域解析的不带前缀的隐式绑定即:如Bar,而Foo.Bar则不符合要求
这个在以上的例子里已经示范证明了。
2、如果以上方式无法解析隐式转换的话compiler会搜寻目标类型的隐式作用域(implicit scope)内任何对象中的隐式转换。一个类型的隐式作用域(implicit scope)包括了涉及这个类型的所有伴生模块(companion module)内定义的隐式转换。例如:
def foo(implicit p: Foo),这个方法的参数必须是Foo类型。如果compiler无法进行作用域解析的话就必须搜寻隐式作用域内的匹配隐式转换。比如Foo的伴生对象(companion object),如下:
object demo { object Container { trait Foo object Foo { implicit def x = new Foo { override def toString = "implicit x" import Container._ def foo(implicit p: Foo) = println(p) // foo: (implicit p: scalaz.learn.ex1.Container.Foo)Unit foo // implicit x
compiler在object Foo内找到了匹配的隐式转换,程序通过了编译。
由于compiler会首先进行作用域解析,失败后才搜寻隐式转换作用域,所以我们可以把一些默认隐式转换放到隐式作用域里。然后其它编程人员可以通过import来覆载(override)使用他们自己的隐式转换。
综合以上所述:一个类型T的隐式作用域就是组成这个类型的所有类的伴生对象(companion object)。也就是说,T的形成有可能涉及到一组类型。在进行隐式转换解析过程中,compiler会搜寻这些类型的伴生对象。类型T的组成部分如下:
1、所有类型T的父类:
object demo { object Container { trait A trait B class T extends A with B object A { implicit def x = new T { override def toString = "implicit x" import Container._ def foo(implicit p: T) = println(p) // foo: (implicit p: scalaz.learn.demo.Container.Foo)Unit foo // implicit x
类型T由A,B组成。compiler从A的伴生对象中解析到隐式转换。
2、如果T是参数化类型,那么所有类型参数的组成类型及包嵌类的组成类型的伴生对象都在隐式转换解析域中。如在解析List[String]中,所有List和String的伴生对象都在解析域中:
object demo { object Container { trait A trait B class T[A] object A { implicit def x = new T[A] { override def toString = "implicit x" import Container._ def foo(implicit p: T[A]) = println(p) // foo: (implicit p: scalaz.learn.demo.Container.T[scalaz.learn.demo.Container. //| A])Unit foo // implicit x
A是T[A]的类型参数。compiler从A的伴生对象中解析到隐式转换。
3、如果T是个单例对象(singleton object),那么T的包嵌对象(container object)就是解析域:
object demo { object Container { object T { def x = "singleton object T" implicit def x = T import Container._ def foo(implicit p: T.type) = println(p.x) // foo: (implicit p: scalaz.learn.demo.Container.T.type)Unit foo // singleton object T
单例对象T定义于包嵌对象Container内。compiler从Container中解析到隐式转换。
这是一篇隐式转换解析原理的讨论,不会对scala有关隐式转换语法和调用做任何解说,希望读者体谅。
C++标准转换运算符dynamic_cast dynamic_cast (expression) dynamic_cast运算符,应该算是四个里面最特殊的一个,因为它涉及到编译器的属性设置,而且牵扯到的面向对象的多态性跟程序运行时的状态也有关系,所以不能完全的使用传统的转换方式来替代。
相关文章
- C++学习5-面向对象编程基础(构造函数、转换构造、静态数据成员、静态成员函数、友元)
- Java实现 蓝桥杯VIP 基础练习 时间转换
- Java实现 蓝桥杯VIP 基础练习 时间转换
- ObjextARX-VS2005-字符串转换
- Leetcode.1017 负二进制转换
- 【基础入门题067】数制转换(七)
- 【基础入门题070】数制转换(十)
- 【基础入门题069】数制转换(九)
- 【基础入门题064】数制转换(四)
- MFC Windows 程序设计[137]之坐标转换玄机(附源码)
- python封装之property装饰器代码示例:将一个get方法,转换为对象的属性
- Atitit.jsou html转换纯文本 java c# php
- object 转换 List<Map<?,?>>
- TF:基于tensorflow框架利用python脚本下将YoloV3训练好的.ckpt模型文件转换为推理时采用的.pb文件
- 第12篇 基础 (十二)字符串与数值之间的转换
- 数学建模学习(102):成分数据分析之中心对数比转换【已修改】
- 进程 进程的定义 进程的状态及转换 进程控制块
- babel配置项目目录支持转换es6语法,引入非项目目录js后,引入Js转换无效
- Objective-C - NSInteger转换NSString
- VS2022和浮点整型转换
- VC++图片类型之间的相互转换(附源码)
- c++ error C2663:n个重载没有“this”指针的合法转换
- 色彩空间的转换简单应用(理想情况车牌数字的提取)matlab仿真和FPGA实现
- 蓝桥杯——十六进制转换十进制
- 方法2—并行数据流转换为一种特殊串行数据流模块的设计
- leetcode 字符串转换整数 (atoi)
- 计算机基础--进制之间的转换