为什么这个分配不是类型不匹配？

Question

为什么这不是类型不匹配？来自：https : //golang.org/ref/spec#Assignability在以下任何一种情况下，值 x 可分配给 T 类型的变量（“x 可分配给 T”）： ...剪掉 ... x 的类型 V 和 T 具有相同的基础类型，并且至少有 V 或 T 之一不是命名类型。...剪...那是因为 N[] 的基础类型是 N[] 而不是命名类型吗？其背后的原理是什么？package mainimport "fmt"type N []Nfunc main() {    n := make([]N, 1)    fmt.Printf("%T\n", n)    fmt.Printf("%T\n", n[0])    n[0] = n    //fmt.Println(n)}*Output:*[]main.Nmain.N

Answer 1

你问是否n[0] = n有效。您已正确识别语言规范中的规则：

在以下任何一种情况下，值x都可分配给类型为T（“x可分配给T”）的变量：

• ...

• x的类型V并T具有相同的基础类型，并且至少有一个V或T不是命名类型。

以下是它的适用方式：

• n[0]具有类型N和基础类型[]N（来自语言规范：“N在其类型声明中引用的类型”）。

• n具有类型[]N（具有相同的基础类型）。

因此n[0]和n具有相同的底层类型 ( []N)，并且 的类型n不是命名类型。