“<：”是什么意思在Scala？

type Currency <: AbstractCurrency

这意味着定义了抽象类型成员(在一些上下文中，例如trait或类)，以便该上下文的具体实现必须定义该类型。但是，这种类型(货币)必须实际上是AbstractCurrency的子类型。这样，抽象上下文可以与Currency操作，知道它可以理解AbstractCurrency的每个操作。

trait AbstractCurrency {
  def disappearInGreece(): Unit
}

abstract class Economy {
  type Currency <: AbstractCurrency

  def curr: Currency

  // can call disappear... because `Currency`
  // is an `AbstractCurrency`
  def shake(): Unit = curr.disappearInGreece()
}

试图定义货币没有约束：

trait RadioactiveBeef

class NiceTry(val curr: RadioactiveBeef) extends Economy {
  type Currency = RadioactiveBeef
}

失败。有约束可以：

trait Euro extends AbstractCurrency

class Angela(val curr: Euro) extends Economy {
  type Currency = Euro
}