爲什麼這個賦值不是類型不匹配？

Question

爲什麼這不是一個類型不匹配？

來自：https://golang.org/ref/spec#Assignability

甲值x可分配給類型T的變量（ 「x是分配給T」）在任何情況下： ... ...剪斷 X的V型和T具有相同的基礎類型，並且V或T中的至少一個不是指定類型。 ... snip ...

這是因爲N []的基礎類型是N []，它不是一個命名類型？

背後的理由是什麼？

package main 

import "fmt" 

type N []N 

func main() { 
    n := make([]N, 1) 
    fmt.Printf("%T\n", n) 
    fmt.Printf("%T\n", n[0]) 
    n[0] = n 
    //fmt.Println(n) 
} 

*Output:* 
[]main.N 
main.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類型不是命名類型。