Tôi có thể gõ khẳng định một lát các giá trị giao diện không?

Question

Tôi đang cố gắng nhập khẳng định từ một số []Node, đến []Symbol. Trong mã của tôi, Symbol triển khai giao diện Node.

Dưới đây là một số mã xung quanh:

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 } 

Đây là lỗi tôi nhận được:

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

tôi chắc chắn rằng có một lý do chính đáng cho việc này. Cách tốt nhất để tiến hành là gì?

Answer 1

Nói rằng x.(T) biến x phải thuộc loại giao diện, vì chỉ dành cho các biến loại kiểu giao diện kiểu động không cố định. Và trong khi Node là một giao diện, []Node thì không. Một lát là một loại không phân biệt, giao diện. Vì vậy, nó chỉ không có ý nghĩa để giả định một lát của các giá trị giao diện là một giao diện quá.

Loại Node có định nghĩa rõ ràng trong mã của bạn và do đó là giao diện. Bạn đã chỉ định danh sách các phương thức cho nó. Loại []Node không giống như vậy. Nó định nghĩa phương thức nào?

Tôi hiểu bạn đến từ đâu với điều này. Nó có thể là một phím tắt hữu ích, nhưng chỉ không có ý nghĩa. Nó giống như mong đợi syms.Method() hoạt động khi loại của syms là []Symbol và Method là dành cho Symbol.

Thay thế dòng 47 với mã này làm những gì bạn muốn:

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

Answer 2

Đi không cho phép điều này. Bạn cần chuyển đổi Node thành Symbol riêng lẻ.

Lý do tại sao nó không được phép là []Node và []Symbol có các biểu diễn khác nhau, do đó chuyển đổi sẽ cần phải cấp phát bộ nhớ cho []Symbol.