4

我一直在 Scala 中做一些练习。我想我可能会尝试派生一种方法来创建不兼容的值类型，这些值类型不会被意外地分配给彼此，使用新添加的AnyVal特性。

我能想到的最好的是这样的：

object Measurements {
  trait ValueType[T] extends Any {
    def value: T
  }

  trait Measurement[A <: ValueType[Double]] extends Any {
    def modify(fn: (Double, A) => Double, value: A): A
    def +(mod: A) = modify((x: Double, y: A) => x + y.value, mod)
    def -(mod: A) = modify((x: Double, y: A) => x - y.value, mod)
    def *(mod: A) = modify((x: Double, y: A) => x * y.value, mod)
    def /(mod: A) = modify((x: Double, y: A) => x / y.value, mod)
  }

  case class Frequency(value: Double) extends AnyVal 
      with ValueType[Double] 
      with Measurement[Frequency] 
  {
    def modify(fn: (Double, Frequency) => Double, mod: Frequency) 
      = Frequency(fn(value, mod))
  }

  case class Amplitude(value: Double) extends AnyVal 
      with ValueType[Double] 
      with Measurement[Amplitude] 
  {
    def modify(fn: (Double, Amplitude) => Double, mod: Amplitude) 
      = Amplitude(fn(value, mod))
  }

  case class Wavelength(value: Double) extends AnyVal 
      with ValueType[Double] 
      with Measurement[Wavelength] 
  {
    def modify(fn: (Double, Wavelength) => Double, mod: Wavelength) 
      = Wavelength(fn(value, mod))
  }
}
import Measurements._
Frequency(150) + Frequency(10) // ==> Frequency(160)
Amplitude(23.2) * Amplitude(2) // ==> Amplitude(46.4)
Amplitude(50) + Frequency(50)  // ==> Compile-time Type Error

不幸的是，它要求我modify为每个实例唯一地定义函数，因为不可能A(value)用泛型类型定义类似的东西A。似乎没有办法定义构造函数约束。否则，我可能能够在特征上定义一些常见的东西，例如：

def modify(fn: (Double, A) => Double, mod: A) = A(fn(value, mod))

我试过调用apply(Double)on A，但它不能从泛型变量访问。我还试图看看我是否可以建立某种工厂以至少简化事情，但无法想出比我现在所做的更优雅的事情。我一直在使用 C# 时遇到同样的问题。

是否有某种方法可以分解出依赖于不同（但相关）类的通用构造函数类型的代码？

4

1 回答 1

4

我认为如果不求助于运行时反射（或者可能是宏），这是不可能的。基本上有三个问题，其中你已经指出了两个：

  • 特征不可能声明强制构造函数签名。

  • 不能调用诸如applyon之类的方法，A因为它是类型变量而不是类或对象。

  • 由于值类（当前）只能扩展通用特征，但不能扩展抽象类，因此无法使用TypeTags该类来获取属于实例化类型的类，该类型是在扩展A时实例化的。Measurement

我能想到的最好的方法是以下方法。Measurement请注意，它使用反射，并且如果 的具体实例未声明适当的构造函数，则可能会在运行时引发异常。

// ... as above ...

trait Measurement[A <: ValueType[Double]] extends Any { self: A =>
  def modify(fn: (Double, A) => Double, mod: A): A =
    this.getClass
        .getConstructor(this.getClass)
        .newInstance(fn(value, mod): java.lang.Double)

  // ... as above ...
}

case class Frequency(value: Double)
    extends AnyVal 
       with ValueType[Double] 
       with Measurement[Frequency]

// ... etc ...

Frequency(150) + Frequency(10) // ==> Frequency(160)
Amplitude(23.2) * Amplitude(2) // ==> Amplitude(46.4)
Amplitude(50) + Frequency(50)  // ==> Compile-time Type Error

self-type 注释self: A确保声明的value字段ValueType可以从 trait 内部访问Measurement。

于 2013-04-25T15:05:28.953 回答