[英]Is this a bug of scala's specialized?
下列代码编译失败,但如果我在方法dot
删除specialized
注释,则该代码将通过。
Scala代码运行程序版本2.12.0-RC2-版权所有2002-2016,LAMP / EPFL和Lightbend,Inc.
abstract class Op[@specialized Left, @specialized Right] {
@specialized
type Result
def r: Numeric[Result]
def times(left: Left, right: Right): Result
}
object Op {
implicit object IntDoubleOp extends Op[Int, Double] {
type Result = Double
val r = implicitly[Numeric[Double]]
def times(left: Int, right: Double): Double = left * right
}
}
object calc {
def dot[@specialized Left, @specialized Right](xs: Array[Left], ys: Array[Right])
(implicit op: Op[Left, Right]): op.Result = {
var total = op.r.zero
var index = xs.length
while(index > 0) {
index -= 1
total = op.r.plus(total, op.times(xs(index), ys(index)))
}
total
}
}
test.scala:31: error: type mismatch;
found : op.Result
required: op.Result
total
^
one error found
这是没有运气的另一种尝试:
//cat Ops.scala
import scala.{ specialized => sp }
trait OpsResult {
type N
}
trait SymOps extends OpsResult {
@sp override type N
def zero: N
def plus(left: N, right: N): N
}
trait AsyOps[@sp L, @sp R] extends OpsResult {
@sp override type N
def times(left: L, right: R): N
}
trait MixOps[@sp L, @sp R] extends AsyOps[L, R] with SymOps
object MixOps {
trait DoubleOps extends SymOps {
override type N = Double
def zero: Double = 0.0
override def plus(left: Double, right: Double): Double = left + right
}
trait IntDoubleOps extends AsyOps[Int, Double] {
override type N = Double
override def times(left: Int, right: Double): Double = left * right
}
implicit object MixIntDouble extends IntDoubleOps with DoubleOps
}
object Test {
def dot[@sp L, @sp R](xs: Array[L], ys: Array[R])
(implicit op: MixOps[L, R]): op.N = {
op.zero
}
}
$ scalac Ops.scala
Ops.scala:36: error: type mismatch;
found : op.N
required: op.N
op.zero
^
one error found
这是一个错误(也在2.11.x上重现)。 我已经联系了LightBend的人员,这对于专门化和依赖于路径的类型的代码生成绝对是一个怪癖。 我将其范围缩小到一个很小的复制:
trait M[@specialized T] {
type Res
def res: Res
}
object Test {
def m[@specialized T](op: M[T]): op.Res = op.res
}
op
的符号将不同步,并且不会如您在代码中看到的那样进行编译。 @AdriaanMoors 已打开一个有关此问题的错误 。
Adriaan还向我指出了Aleksandar Prokopec的这篇博客文章 ,指出了@specilization
代码生成中的一些怪癖。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.