在Scala中定義一個以通配符數組爲參數的函數

Question

我有一個看似非常簡單的Scala問題，這讓我瘋狂。這：

class A 
class B extends A 
class C { def foo(a: Array[_ <: A]) { a(0) = a(1) }} 

不編譯。它說：

scala> class C { def foo(a: Array[_ <: A]) { a(0) = a(1) }} 
<console>:8: error: type mismatch; 
found : (some other)_$1(in method foo) 
required: _$1(in method foo) 
     class C { def foo(a: Array[_ <: A]) { a(0) = a(1) }} 

我想我明白了;是否因爲不能保證「A」的所有元素都是同一類型？無論如何做這項工作，或者我只是做些什麼janky？

Answer 1

也許你的意思是

class C { def foo[T <: A](a: Array[T]) { a(0) = a(1) } } 

？

這將讓foo對A或其後代的數組進行操作，並且它將保持該類型（因此，如果僅將它鍵入爲B，則它將保持這種狀態）。