Почему вызов fn(Iterator("foo") компилируется, но вызов fn(fooIterator) завершается с ошибкой "несоответствие типов; найдено: Iterator[java.lang.String] required: scala.Iterator[ com.banshee.Qx.HasLength]"
object Qx {
type HasLength = {def length: Int}
def fn(xs: Iterator[HasLength]) = 3
var tn = fn(Iterator("foo"))
var fooIterator = Iterator("foo")
var tnFails = fn(fooIterator) //doesn't compile
}
Разве это не одно и то же?
Должно быть, это ошибка в представлении уточнений, потому что обе следующие две формулировки работают.
object Qx1 {
// give length() parens, even though the Iterator definition doesn't have them
type HasLength = { def length(): Int }
def fn(xs: Iterator[HasLength]) = 3
var tn = fn(Iterator("foo"))
var fooIterator = Iterator("foo")
var tnFails = fn(fooIterator) //doesn't compile
}
object Qx2 {
type HasLength = { def length: Int }
def fn(xs: Iterator[HasLength]) = 3
var tn = fn(Iterator("foo"))
// annotate the type of fooIterator before the type inferencer can mis-infer
var fooIterator: Iterator[HasLength] = Iterator("foo")
var tnFails = fn(fooIterator) //doesn't compile
}
Редактировать:
Слишком рано утром. Это String с методом length(), у которого есть скобки, что означает, что это правильно, и вы ошибаетесь, думая, что length и length() — это один и тот же метод. (Это хорошая маленькая ловушка, которую я задокументировал ранее.)
Эта формулировка работает:
object Qx {
type HasLength = {def length: Int}
def fn[HL <% HasLength](xs: Iterator[HL]) = 3
val tn = fn(Iterator("foo"))
val fooIterator = Iterator("foo")
val tnFails = fn(fooIterator)
}
