Actor
通过尽可能避免锁和共享状态,actor使得我们能够容易地设计出正确、没有死锁或争用状况的程序。
Scala类库提供了一个actor模型的简单实现。AKKA是更高级的actor类库。
19.1 发送消息
actor是一个处理异步消息的对象。消息可以是任何对象。一个好的做法是使用样例类作为消息,这样就可以使用模式匹配来处理消息。
消息的发送是异步的:“发完就忘”。消息被送往目标actor,当前线程继续运行。
19.2 接收消息
发送到actor的消息被存在“邮箱”中。receive方法从邮箱获取下一条消息并将它传递给它的参数,该参数是一个偏函数。
邮箱中没有消息可以处理,receive方法会阻塞。
19.3 向其他actor发送消息
不同actor之间不应该共享状态。总是使用消息来发送消息
避免同步消息
隐式转换和隐式参数
20.1 隐式转换
隐式转换函数(implicit conversion function)指的是那种以implicit关键字声明的带有单个参数的函数。比如:
implicit def int2Fraction(n: Int) = Fraction(n, 1);
val result = 3 * Fraction(4, 5) //3会隐式转换成Fraction(3, 1)
隐式转换函数可以起任意名,由于你不显示地调用它。不过建议以 source2target这样约定俗成的命名方式
*利用隐式转换丰富现有类库的功能,比如:RichInt,需要同时实现RichInt和一个隐式转化函数!
20.2 引入隐式转换
Scala会考虑如下的隐式转换函数:
- 位于源或目标类型的伴生对象中的隐式函数
- 位于当前作用域可以以单个标识符指代的隐式函数(object中?)
*隐式转换根据实际调用情况发生。将引入局部化以尽量避免不想要的转换发生。
20.3 隐式参数
函数或方法可以带有一个标记为implicit的参数列表。这种情况下,编译器会查找缺省值,提供给该函数或方法。
例如:quote(what: String)(implicit delims: Delimiters) = delims.left + what + delims.right
如果调用时略去隐式参数列表:quote("Bonjour le monde"),这种情况下,编译器会找一个类型为Delimiters的隐式值。这必须是一个被声明为implicit的值。编译器会在如下两个地方查找这样的一个对象:
- 当前作用域所有可以用单个标识符指代的满足类型要求的val和def
- 与所有要求类型相关联的伴生对象。
20.4 利用隐式参数进行隐式转换
当隐式的参数是函数类型时,我们还可以利用隐式参数进行饮食转换。比如
def smaller[T](a: T, b: T)(implicit order: T => Ordered[T]) if(order(a) < b) a else b
20.5 implicitNotFound注解
该注解告诉编译器在不能构造出带有该注解的类型的参数时给出错误提示。例如:
@implicitNotFound(msg="Cannot prove that ${From} <:< ${To}")