为什么Scala编译器认为存在多态类型错误？

Question

我的代码很简单：

class MyClass { 
    var foo: IndexedSeq[MyClass] = IndexedSeq() 
    def bar(newValues: MyClass*) = foo = newValues.toArray 
} 

类包含一个变量和方法。变量foo是MyClass对象的IndexSeq。它还包含一个方法bar，它将MyClass对象的参数设置为Seq。由于Seq[T]不能被分配到IndexSeq[T]，因为后者是前者的一个子类，我不得不打电话给toArray。

有了这个代码，编译器会抱怨如下

polymorphic expression cannot be instantiated to expected type; 
found : [B >: MyClass]Array[B] 
required: IndexedSeq[MyClass] 
    def bar(newValues: MyClass*) = foo = newValues.toArray 
               ^

于是我找到了一个解决方案，这是调用toIndexSeq而不是toArray，而编译器不会再抱怨了。

即使问题没有解决，我仍然想知道为什么会出现这样的错误。

Answer 1

如果你看看spec for Array，你会注意到它不会延伸Seq或IndexedSeq。实际上，Array非常简单，只扩展了Serializable和Cloneable，因为它基于Java Array实现。由于Array的ArrayOps中提供了隐式转换，因此您可能习惯将其视为Seq。

问题是没有从Array[B >: MyClass]（这是toArray返回的内容）到IndexedSeq[MyClass]的隐式转换。如果您明确提供的toArray或使用类型归属泛型参数，这个问题就解决了，因为有一个隐式转换从Array[MyClass]到Seq[MyClass]：

def bar(newValues: MyClass*) = foo = newValues.toArray[MyClass] 
def bar(newValues: MyClass*) = foo = (newValues.toArray : Array[MyClass]) 

这更简单的例子可能有助于阐明：

class Foo 
Seq(new Foo).toArray : Seq[Foo] //fails 
Seq(new Foo).toArray[Foo] : Seq[Foo] //works! 
(Seq(new Foo).toList.toArray : Array[Foo]) : Seq[Foo] //also works!