黑猴子的家:Scala 隐式解析机制

即编译器是如何查找到缺失信息的,解析具有以下两种规则:
1、首先会在当前代码作用域下查找隐式实体(隐式方法、隐式类、隐式对象)。

2、如果第一条规则查找隐式实体失败,会继续在隐式参数的类型的作用域里查找。
类型的作用域是指与该类型相关联的全部伴生模块,一个隐式实体的类型T它的查找范围如下:
(1)如果T被定义为T with A with B with C,那么A,B,C都是T的部分,在T的隐式解析过程中,它们的伴生对象都会被搜索。
(2)如果T是参数化类型,那么类型参数和与类型参数相关联的部分都算作T的部分,比如List[String]的隐式搜索会搜索List的伴生对象和String的伴生对象。
(3)如果T是一个单例类型p.T,即T是属于某个p对象内,那么这个p对象也会被搜索。
(4)如果T是个类型注入S#T,那么S和T都会被搜索。

记不住也没有关系,因为编译器会检查的,会报错的,那这个机制有什么用呢?

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值