不可能使内部对象的方法对外部私有

Question

在下面的示例中，我无法隐藏update以防止公开曝光：

trait Order {
  sealed trait EntryOption {
    private[Order] def update(e: EntryOption): Unit
  }

  private case object EmptyEntry extends EntryOption {
    def update(e: EntryOption) = ()
  }

  trait Entry extends EntryOption

  def test(a: Entry, b: EntryOption): Unit = a.update(b)
}

它无法编译“错误：对象创建不可能，因为方法$line12$$read$Order$^类型为 (e: Order.this.EntryOption)Unit 的特征 EntryOption 中的日期未定义”——无论它应该是什么（编译器错误？）。我尝试了以下操作，但没有成功：

• 还在 EmptyEntry private[Order] 中进行 update
• 使其 protected – 这会破坏方法 test

目标是使 EntryOption 的 update 无法从外部 Order 访问。

编辑

如果我暂时将trait Order更改为object Order，它会编译，这表明存在潜在的编译器错误？

Answer 1

一个愚蠢的解决方法：

trait Order {
  sealed trait EntryOption {
    private[Order] def update(e: EntryOption): Unit
  }

  private sealed trait ScalaChokes extends EntryOption {
    private[Order] final def update(e: EntryOption) = ()
  }

  private case object EmptyEntry extends ScalaChokes

  trait Entry extends EntryOption
}

我应该提交错误吗？