Lar*_*ann 7 scala type-erasure reification
如果我定义以下通用事件处理程序
trait Handles[E <: Event] {
def handle(event: E)
}
Run Code Online (Sandbox Code Playgroud)
事件类型是这样的
trait Event {
}
class InventoryItemDeactivated(val id: UUID) extends Event;
class InventoryItemCreated(val id: UUID, val name: String) extends Event;
Run Code Online (Sandbox Code Playgroud)
那么我如何创建一个为每个事件实现事件处理程序的类?我试过了:
class InventoryListView extends Handles[InventoryItemCreated] with Handles[InventoryItemDeactivated] {
def handle(event: InventoryItemCreated) = {
}
def handle(event: InventoryItemDeactivated) = {
}
}
Run Code Online (Sandbox Code Playgroud)
但斯卡拉抱怨说,一个特质不能被遗传两次.
我发现这个答案暗示了一个解决方案,但它接缝需要多个类(每个处理程序一个).这是否真的是唯一的方法,或者是否有其他一些Scala构造我可以用来使单个类实现多个通用事件处理程序(即使用案例类,清单或其他一些奇特的构造)?
mis*_*tor 11
我不知道在一个类中做到这一点的方法(除了通过制作EventADT和定义句柄来接受类型的参数Event.但这会带走你似乎正在寻找的类型安全).
我建议使用类型模式.
trait Handles[-A, -E <: Event] {
def handle(a: A, event: E)
}
trait Event {
...
}
class InventoryItemDeactivation(val id: UUID) extends Event
class InventoryItemCreation(val id: UUID, val name: String) extends Event
class InventoryListView {
...
}
implicit object InventoryListViewHandlesItemCreation extends
Handles[InventoryListView, InventoryItemCreation] = {
def handle(v: InventoryListView, e: InventoryItemCreation) = {
...
}
}
implicit object InventoryListViewHandlesItemDeactivation extends
Handles[InventoryListView, InventoryItemDeactivation] = {
def handle(v: InventoryListView, e: InventoryItemDeactivation) = {
...
}
}
def someMethod[A, E <: Event](a: A, e: E)
(implicit ev: InventoryListView Handles InventoryItemCreation) = {
ev.handle(a, e)
...
}
Run Code Online (Sandbox Code Playgroud)