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)		//等同于这一行

这么折腾,不仅是一种简化,更重要的是,我看出来了继承的味道,但从技术上看又不存在继承,而是组合,它即享受了继承的好处,又避免了继承的麻烦。

使用匿名结构体时,除了可以直接使用它的属性以外,还可以直接使用它的方法。

您可能感兴趣的文章: