如何禁止scala中某些类的模式匹配

Question

与hibernate代理匹配的Scala模式不适用于继承对象列表。 要解决这个问题，我在案例类中包装了hibernate对象，请参阅http://oletraveler.com/2011/04/20/20/

我想要完成的是如果有人试图匹配继承的hibernate实体，则抛出编译时错误（可优先）或运行时错误。

例如：

@Entity
@Inheritance(strategy = InheritanceType.JOINED)
class PaymentSource

@Entity
class CreditCard

@Entity User {
  var paymentSources: java.util.ArrayList
}

user.paymentSources.map(_ match {
  case cc: CreditCard => println("oops") // <- this should error
})

我尝试在CreditCard上覆盖unapply，但是这不起作用，因为只有在解构对象时调用unnapply，而不仅仅是在实例上进行匹配。

有没有？

Answer 1

我真的没有看到任何纯粹在代码中实现这一点的方法：

case x : SomeType =>

是一种基本模式; 代码无法编译的唯一方法是SomeType不可见。 但是，据推测，这并没有多大用处！

可能是编译器插件与用户注释相结合可能会这样做 - 但这不是我的专业领域，但我想它可能看起来像：

@unmatchable class CreditCard( ... )

但是接下来的问题是你无法真正强制你的“客户”会使用这个插件（除非，我想，你确保你的代码在没有它的情况下不能编译 - 不是我知道如何实现它）