如何重新定义 Scala 类型标签的操作

Question

假设我有一个标记类型，例如：

import shapeless.tag.@@
import shapeless.tag

trait VolumeTag
type Volume = Double @@ VolumeTag

def Volume(value: Double): Volume = tag[Volume][Double](value)

现在，我遇到的问题是，例如，当我添加两个 Volume 类型的对象时，我得到一个双精度数。如何重新定义+ 运算符，使两个卷的返回值为一个卷？

我尝试添加一个新特征，例如。 VolumeOperations 为 Volume 类型的对象重新定义 +。但是我无法在不使用.isInstanceOf[Volume] 的情况下实现+。

是否可以在不强制转换的情况下实现这一目标？

Answer 1

你可以定义扩展方法

def Volume(value: Double): Volume = tag[VolumeTag][Double](value)

implicit class VolumeOp(v: Volume) {
  //def +(v1: Volume): Volume = Volume(v + v1)
  def plus(v1: Volume): Volume = Volume(v + v1)
}

但tag 实际上是在投射。