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

发布时间：2020-12-16 09:06:16 所属栏目：安全来源：网络整理

导读：我正在玩 Scala,并试图找出一些关于如何设计类的最佳实践. (一周左右尝试Scala.) 自从我的Erlang时间以来,我是消息传递和基于演员的软件的忠实粉丝.在大多数Scala示例中,actor类的实现方式如下： object Fooobject Barclass MyActor extends Actor { def rec

我正在玩 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中执行此操作？或者这些教程只是为了涵盖这样一个主题？

解决方法

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

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的所有子类型),并且发送者将被强制使用< - ！ - 方法(带编译错误)仅发送有效消息. 请注意,发件人也可以使用不安全的方法！发送无效消息.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!