Scala:返回未知类型的函数

Question

如果我想创建一个添加方法来添加两种不同类型的值，例如:

add[T,S](op1: T, op2: S): ? = ...

我能想到的最值得注意的例子是基本数字类型。如果我添加一个 Byte 和一个 Int，那么它将返回一个 Int。如果添加两个字节，它可能会返回一个 Int，具体取决于字节的 -127 到 128 限制是否被打破。

此外，如果我想创建具有相同特征的类，我希望它也能这样做。

一种可能的解决方案是让类扩展相同的特征或类。但对于 Scala 基本类型的示例，这并不适用，因为 Int、Double、Float、Byte 除了 Any 之外不共享共同的祖先。

我还研究了 Numeric[T] 特征，但这在添加不同的基元类型时似乎没有帮助。

谢谢凯

Answer 1

这是某种联合类型类的一个主要示例。

首先定义一个类似于 Numeric[T] 的东西，但为了可添加性:

trait Addable[T, S] {
  type Result
  def add(x: T, y: S): Result
}

现在，定义您的 add 函数:

def add[T,S](op1: T, op2: S)(implicit op: Addable[T, S]): op.Result =
  op.add(op1, op2)

剩下要做的就是为Addable创建隐式实例:

// Put them in the companion object, so the implicits are available
// without explicit import
object Addable {
  // Make any numeric addable
  implicit def numericAddable[T : Numeric]: Addable[T, T] = {
    new Addable[T, T] {
      type Result = T
      def add(x: T, y: T): T = {
        val op = implicitly[Numeric[T]]
        op.plus(x, y)
      }
    }
  }
}

但是您现在还可以定义自己的类并定义(不对称)附加功能:

case class A(x: Int)
case class B(x: Int)
case class C(x: Int)

implicit object AddABC extends Addable[A,B] {
  type Result = C
  def add(x: A, y: B): C = C(x.x + y.x)
}

这将允许您编写:

add(A(1), B(2))

但是，其中任何一个都会在编译时失败:

add(A(1), A(2))
add(B(1), A(2))
add(B(1), B(2))

不幸的是，这不适用于弱一致性数字类型:

add(1, 1) // compiles
add(1.0, 1.0) // compiles
add(1, 1.0) // fails to compile

从another post来看，除了手动定义案例(当然使用一些辅助方法)之外，没有其他方法可以实现这一点。