Scalaの "Array [（その他の）_0（値$ anonfun）]"にパラメータをキャストするにはどうすればよいですか？

Question

は、私はこのようないくつかのコードがあります：

case class FunctionCommand[A](function: Function1[Array[A], Unit]) 

class MyClass(commands: List[FunctionCommand[_]]) { 
    def foo(parametersForEachFunction: Seq[Array[_]]) { 
    assert(commands.size == parametersForEachFunction.size) 
    for ((command, parameter) <- commands zip parametersForEachFunction) { 
     command.function(parameter) 
    } 
    } 
} 

をそして、それはコンパイルされません：

MyClass.scala:7: type mismatch; 
found : Array[(some other)_0(in value $anonfun)] where type (some other)_0(in value $anonfun) 
required: Array[_0(in value $anonfun)] where type _0(in value $anonfun) 
     command.function(parameter) 
         ^

私はArray[(some other)_0(in value $anonfun)]があるのだろうか。コンパイルできるようにcommand.function(parameter.asInstanceOf[????])のようなものを書くことはできますか？

回避策があります。私はにcommand.function(parameter)を置き換える：

def forceInvoke[A](command: FunctionCommand[A], parameter: Any) { 
    command.function(parameter.asInstanceOf[A]) 
} 
forceInvoke(command, parameter) 

そして、それはコンパイルされます。

しかし、parameterを実行時に正式に正しい型にキャストする方法があるかどうかはまだ分かります。

Answer 1

それはこのようにそれを書くことは十分だ：

for ((command: FunctionCommand[_], parameter) <- commands zip parametersForEachFunction) { 
    command.function(parameter) 
} 

Answer 2

parametersForEachFucntionのパラメータが正しいタイプであることを証明することはできませんが、FunctionCommand#functionには正しくパラメータ化された配列が必要です。実行時にタイプ消去のためにこれを行うことはできません。

パラメータ化を放棄し、次の作品、（これはあなたの他の質問に前に持っていただけで何効果的ではあるが）：

case class FunctionCommand(function: Function1[Array[_], Unit]) 

class MyClass(commands: List[FunctionCommand]) { 
    def foo(parametersForEachFunction: Seq[Array[_]]) { 
    assert(commands.size == parametersForEachFunction.size) 
    for ((command, parameter) <- commands zip parametersForEachFunction) { 
     command.function(parameter) 
    } 
    } 
} 

val fc = FunctionCommand(xs => xs foreach println) 
val mc = new MyClass(List(fc)) 

scala> mc.foo(List(Array(1,2,3))) 
1 
2 
3