我可以输入断言一片接口值吗？

Question

我正在尝试将assert从a键入[]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.Method()当symstype是[]Symboland Methodfor时工作Symbol。

用此代码替换第47行，您可以执行以下操作：

symbols := make([]Symbol, len(args))

for i, arg := range args { symbols[i] = arg.(Symbol) }

fixed, rest := parseFormals(symbols)

Answer 2

Go不允许这样做。你需要转换Node到Symbol个别。

之所以不允许这样做[]Node，是因为它们[]Symbol具有不同的表示形式，因此转换将需要为分配内存[]Symbol。