В чем разница между этими двумя вызовами функции, использующей набор структурных типов?

Question

Почему вызов fn (Iterator («foo») компилируется, но вызов fn (fooIterator) завершается с ошибкой «тип несоответствия: найдено: Iterator [java.lang.String] требуется: 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 
} 

Разве они не то же самое

Answer 1

Это должно быть ошибка в представлении уточнения, поскольку следующие два формула оба работают.

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 
} 

Edit:

Слишком рано утром. Это String с методом length(), который имеет parens, что означает, что он прав, и вы ошибаетесь, поскольку длина мышью и длина() - это один и тот же метод. (Это хорошая небольшая ловушка, которую я уже зарегистрировал ранее.)

Answer 2

Этот препарат работает:

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) 
}