struct{a int;b int} 和 struct{b int;a int} 有什么区别？

Question

这两个结构除了不被视为等效之外，还有什么区别？

package main
func main() {}
func f1(s struct{a int;b int}) { f2(s) }
func f2(s struct{b int;a int}) {}

$ go run a.go 
# command-line-arguments
./a.go:3: cannot use s (type struct { a int; b int }) as type struct { b int; a int } in argument to f2

注意：这个确实编译：

package main
func main() {}
func f1(s struct{a int;b int}) { f2(s) }
func f2(s struct{a int;b int}) {}

Answer 1

“结构字段的顺序在底层很重要”如何？

这会影响反射，例如func (v Value) Field(i int) Value：

Field 返回结构体 v 的第 i 个字段

第一个结构中的第一个字段“a”与第二个结构中的第一个字段不同。
这也会影响marshaler methods (encoding package) 的序列化。

Answer 2

类型和值的属性

Type identity

如果两个结构类型具有相同的序列，则它们是相同的 字段，并且如果对应的字段具有相同的名称，并且相同 类型和相同的标签。

对应的字段名称不同：

s struct{a int;b int}

对

s struct{b int;a int}

Answer 3

来自spec：

两个结构类型是相同的如果它们具有相同的字段序列，并且如果相应的字段具有相同的名称、相同的类型和相同的标签。两个匿名字段被认为具有相同的名称。来自不同包的小写字段名称总是不同的。

结构体字段的顺序在底层很重要，因此不能安全地将具有不同字段顺序的两个结构体视为等效。