type name underlying-type
struct是值类型,所以它的零值是所有成员的零值。由于值类型在作为函数参数时的局限性,所以经常配合指针一起使用。
声明
type Employee struct { ID int Name string Address string }
一行一个成员,中间没有逗号或分号,大写的成员可以在包外访问。
如果类型相同,也可以考虑定义在一行,例如
type Employee struct { ID int Name, Address string }
结构体中不能定义同名结构体的成员,但可以定义同名结构体的指针类型的成员,例如
type Employee struct { ID int Name, Address string Leader *Employee }
初始化
可以在声明时直接初始化,也可以声明后再一个个赋值。先看一个最直接的方式。
var empl Employee empl.ID = 1 empl.Name = "foo" empl.Address = "nanshan"
还可以更快地初始化
empl2 := Employee{2, "foo", "nanshan"}
所以,声明成员的顺序非常重要。上面初始化的值必须与struct的成员一一对应,不多不少,类型上可赋值。
由于struct成员可能会调整,所以上面的代码就显得有些脆弱,下面改进一下,按照成员名称来初始化。
empl3 := &Employee{ ID: 3, Name: "foo", Address: "beijing", }
这时候顺序不重要了,也不要求我完整性了,未直接赋值的成员继续保留零值。
与指针相关的操作
由于struct是值类型,如果作为参数传递的话,函数体内接收到的是一个拷贝,所以作为函数的参数时一般用结构体指针来传递。
emplPtr := &empl emplPtr.Name = "bar" // 等同于 (*emplPtr).Name = "bar"
*
下面的函数初始化一个struct,并返回了它的指针
func EmployeeById(id int) *Employee { return &Employee{ ID: id, Name: "foo", Address: "beijing", } }
struct的可比较性
如果struct的每个成员都是可比较的,那么这个结构体就是可比较的。
比较算法为:如果每个成员的值都相等,则两个结构体变量相等,否则不相等。
如果结构体类型是可比较的,就意味着它可以作为map的key类型。
结构体嵌套和匿名成员
这是一个神奇的机制,当在结构体里面声明一个匿名结构体时,使用这个匿名结构体的成员时,就可以省略匿名结构体的名字,就好像当前的结构体拥有这个匿名结构体的成员一样。
EmployeeManagerEmployee
type EmployeeManager struct { Employee // 匿名成员 ManagerLevel int }
初始化匿名成员:
var manager = EmployeeManager{ Employee: Employee{ ID: 2, Name: "fooManager", Address: "beijing", }, ManagerLevel: 4, }
看上去中规中矩,没有什么神奇的。再来看看如何使用这个结构体
fmt.Println(manager.ManagerLevel) fmt.Println(manager.Name) //这一行 fmt.Println(manager.Employee.Name) //等同于这一行
这么折腾,不仅是一种简化,更重要的是,我看出来了继承的味道,但从技术上看又不存在继承,而是组合,它即享受了继承的好处,又避免了继承的麻烦。
使用匿名结构体时,除了可以直接使用它的属性以外,还可以直接使用它的方法。
您可能感兴趣的文章: