scala – 如何在没有间接费用的情况下丰富价值类？

Scala 2.10引入了值类,您可以通过使您的类扩展AnyVal来指定.价值类别有很多限制,但是他们的巨大优势之一是允许扩展方法,而不会造成新类别的惩罚：除非需要进行拳击.要把值类放在一个数组中,它只不过是一个旧类加上一组把这个类作为第一个参数的方法.从而,

implicit class Foo(val i: Int) extends AnyVal {
  def +*(j: Int) = i + j*j
}

解开一些可以不比编写我自己的j $j更贵的东西(一旦JVM包含方法调用).

不幸的是,SIP-15中描述价值类的限制之一是

3. The underlying type of C may not be a value class.

如果你有一个价值类,你可以让你的手,说,作为一种方式提供类型安全的单位没有拳击的开销(除非你真的需要)：

class Meter(val meters: Double) extends AnyVal {
  def centimeters = meters*100.0                // No longer type-safe
  def +(m: Meter) = new Meter(meters+m.meters)  // Only works with Meter!
}

那么有没有一种可以丰富Meter的方法呢？ SIP-15的限制防范明显

implicit class RichMeter(m: Meter) extends AnyVal { ... }

做法.

class RichMeter(val meters: Double) extends AnyVal {
  def -(m: Meter) = new Meter(meters - m.meters)
}
implicit def EnrichMeters(m: Meter) = new RichMeter(m.meters)