1

我想为已经具有隐式 Fractional 或 Integral 类型类的每个类型 T 添加一个新的隐式类型类 Divisible。

我写的代码无法编译：

object Divisible {

    implicit def fractionalDivisible[T](implicit frac: Fractional[T]): Divisible[T] = new Divisible[T] {
        override def div(x: T, y: T): T = frac.div(x, y)
    }

    implicit def fractionalDivisible[T](implicit integral: Integral[T]): Divisible[T]  = new Divisible[T] {
        override def div(x: T, y: T): T = integral.quot(x, y)
    }
}

trait Divisible[T] {
    def div(x: T, y: T): T
}

object Example extends App{

    def foo[T](x: T, y: T)(implicit div: Divisible[T]) = div.div(x, y)

    println(foo(1.0, 2.0))
}

我收到的错误是：

找不到参数 div 的隐式值：core.common.Divisible[Double]

另一方面，如果我将隐式 def 移动到应用程序中，它会编译。

如何帮助编译器在 Divisible 的伴随对象中找到隐式 def？

编辑：这个问题有一个错误。

4

1 回答 1

3

更改您的隐式函数之一的名称，使它们不都被命名：fractionalDivisible

于 2015-05-19T15:24:39.820 回答