インターフェイス値のスライスを入力することはできますか？

Question

アサートを[]Nodeから[]Symbolに入力しようとしています。私のコードでは、SymbolはNodeインターフェイスを実装しています。ここで

は、いくつかの周辺のコードです：

43 func applyLambda(args []Node, env Env) Node { 
44  if len(args) > 2 { 
45   panic("invalid argument count") 
46  } 
47  fixed, rest := parseFormals(args.([]Symbol)) 
48  return Func{ 
49   Body: args[1], 
50   FixedVarNames: fixed, 
51   RestVarName: rest, 
52  } 
53 } 

は、ここで私は取得エラーです：

./builtins.go:47: invalid type assertion: args.([]Symbol) (non-interface type []Node on left) 

私はこのために正当な理由があると確信しています。進むべき最善の方法は何ですか？

Answer 1

x.(T)の変数xは、インターフェイスタイプの変数の場合にのみ、固定されていないため、インターフェイスタイプである必要があります。 Nodeはインターフェイスですが、[]Nodeはインターフェイスではありません。スライスは、別個の非インターフェイスタイプです。したがって、インタフェース値のスライスもインタフェースであると仮定するのは理にかなっていません。

タイプNodeは、コードに明確な定義があり、したがってインターフェイスです。あなたはそれのためのメソッドのリストを指定しました。タイプ[]Nodeはそうではありません。それはどのような方法で定義されますか？

私はあなたの所在地を理解しています。それは便利なショートカットかもしれませんが、ちょうど意味がありません。 symsのタイプが[]Symbolで、MethodがSymbolの場合は、syms.Method()が動作すると思うようなものです。このコードの行47の交換

はあなたが欲しいものを行います。

symbols := make([]Symbol, len(args)) 
for i, arg := range args { symbols[i] = arg.(Symbol) } 
fixed, rest := parseFormals(symbols) 

Answer 2

これは許可されません。 NodeをSymbolに個別に変換する必要があります。

[]Nodeと[]Symbolの表現が異なるため、変換には[]Symbolのメモリを割り当てる必要があるためです。