开放类

类上的 open 修饰符表示该类计划进行扩展。示例

// File Writer.scala
package p

open class Writer[T]:

  /** Sends to stdout, can be overridden */
  def send(x: T) = println(x)

  /** Sends all arguments using `send` */
  def sendAll(xs: T*) = xs.foreach(send)
end Writer

// File EncryptedWriter.scala
package p

class EncryptedWriter[T: Encryptable] extends Writer[T]:
  override def send(x: T) = super.send(encrypt(x))

开放类通常带有描述类的方法之间的内部调用模式以及可以覆盖的钩子的文档。我们称之为类的扩展契约。它不同于类及其用户之间的外部契约。

非开放类仍然可以扩展，但前提是满足两个备选条件之一

• 扩展类与被扩展类在同一个源文件中。在这种情况下，扩展通常是一个内部实现问题。

• 扩展类启用了语言特性 adhocExtensions。这通常通过扩展源文件中的导入子句启用

  import scala.language.adhocExtensions
  

  或者，可以通过编译器选项 -language:adhocExtensions 启用此特性。如果未启用此特性，编译器将发出“特性”警告。例如，如果类 Writer 上的 open 修饰符被删除，编译 EncryptedWriter 将产生警告

  -- Feature Warning: EncryptedWriter.scala:6:14 ----
    |class EncryptedWriter[T: Encryptable] extends Writer[T]
    |                                              ^
    |Unless class Writer is declared 'open', its extension
    | in a separate file should be enabled
    |by adding the import clause 'import scala.language.adhocExtensions'
    |or by setting the compiler option -language:adhocExtensions.