我认为用一个简单的例子更容易解释。 (欢迎帮助重新表述标题;-)
我想实现一个 squared
方法,并使用隐式 def
,自动将其添加到任何支持 *
- 的类中运算符。
使用 Int 非常简单:
class EnhancedInt(x: Int) { def squared = x * x }
implicit def IntToEnchancedInt(x: Int) = new EnhancedInt(x)
但是使用 Any 或 AnyVal 我收到以下错误:
scala> class EnhanceAny(x: AnyVal) { def squared = x * x }
<console>:7: error: value * is not a member of AnyVal
class EnhanceAny(x: AnyVal) { def squared = x * x }
我想知道如何将其应用于任何数字类,或者更好的是,应用于任何支持 *
运算符的类。
最佳答案
如果不为要处理的每种类型编写样板转换,就不可能拥有适用于任何类型的 *
方法的解决方案。本质上要做到这一点,你需要一个递归结构类型,而 Scala 不支持这些,因为 JVM 类型删除。请参阅此 post 了解更多详细信息。
使用类型类和 Numeric 类型类,您可以非常接近您想要的内容(受到 this 和 this 问题的答案的启发)。这适用于大多数原语:
//define the type class
trait Multipliable[X] { def *(x: X): X}
//define an implicit from A <% Numeric[A] -> Multipliable[Numeric[A]]
implicit def Numeric2Mult[A](a: A)(implicit num: Numeric[A]): Multipliable[A] = new Multipliable[A]{def *(b: A) = num.times(a, b)}
//now define your Enhanced class using the type class
class EnhancedMultipliable[T <% Multipliable[T]](x: T){ def squared = x * x}
//lastly define the conversion to the enhanced class
implicit def Mult2EnhancedMult[T <% Multipliable[T]](x: T) = new EnhancedMultipliable[T](x)
3.squared
//Int = 9
3.1415F.squared
//Float = 9.869022
123456789L.squared
//Long = 15241578750190521
关于generics - Scala:是否可以指示实现某种方法的泛型类,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8866030/