基于Actor的类,有或没有接口

Question

我正在玩Scala,并试图找出一些关于如何设计类的最佳实践.(一周左右尝试Scala.)

自从我的Erlang时间以来,我是消息传递和基于演员的软件的忠实粉丝.在大多数Scala示例中,actor类的实现方式如下:

object Foo
object Bar
class MyActor extends Actor {
  def receive = {
    case Foo => ...
    case Bar => ...
    case _ => ...
  }
}

但是我从面向对象(接口和多态)载体中学到的东西告诉我这个概念不是很灵活.

MyActor可以被MyAdvancedActor取代,但是没有合约定义MyActor实现需要实现哪些消息.

当我考虑在Scala中编写Actors时,我倾向于编写一个指定某些方法的特征.MyActor实现需要实现此方法,其中可以将自己的私有消息发送给自己.使用这种方法,我们有一个指定的接口,可以以类型安全的方式替换MyActor实现.

在我阅读scala教程和示例的时候,我没有遇到过这样的课程设计.这不是常识,还是有更好的方法在Scala中执行此操作？或者这些教程只是为了涵盖这样一个主题？

Answer 1

通常的做法是在这种情况下使用代数数据类型:您可以sealed为所有消息创建一个基本类型,如下所示:

sealed trait MyActorMessages
object Foo extends MyActorMessages
object Bar extends MyActorMessages

但是这种合同不是由编译器强制执行的.您可以使用Typed Channels来强制执行此合同:

class MyActor extends Actor with Channels[TNil, (MyActorMessages, MyActorReply) :+: TNil] {
  channel[MyActorMessages] { (req, snd) ?
    req match {
      case Foo  ? ...
      case Bar ? ... // You'll get a warning if you forget about `Bar`
    }
  }
}

编译器将强制您(带警告)处理所有可能的消息类型(在这种情况下是所有子类型MyActorMessages),并且发送者将被强制使用<-!-方法仅发送有效消息(带编译错误).

请注意,发件人还可以使用不安全的方法!发送无效邮件.