Go struct

简介: 该文章详细讨论了Go语言中的结构体,包括结构体的字面形式、内存对齐和填充、字段标签的使用、结构体值的赋值和可寻址性、组合字面量的取地址特性、通过指针访问结构体字段的隐式解引用,以及结构体值的比较和类型转换。

每个无名结构体类型的字面形式均由struct关键字开头,后面跟着用一对大括号{},其中包裹着的一系列字段(field)声明。 一般来说,每个字段声明由一个字段名和字段类型组成。一个结构体类型的字段数目可以为0。

struct {
    title  string
    author string
    pages  int
}

一个结构体类型的尺寸为它的所有字段的(类型)尺寸之和加上一些填充字节的数目。 常常地,编译器(和运行时)会在一个结构体值的两个相邻字段之间填充(padding)一些字节来保证一些字段的地址总是某个整数的倍数(内存地址对齐, memory address alignment)。

一个零字段结构体的尺寸为零。

每个结构体字段在它的声明中可以被指定一个标签(tag)。从语法上讲,字段标签可以是任意字符串,它们是可选的,默认为空字符串。

struct {
    Title  string `json:"title" myfmt:"s1"`
    Author string `json:"author,omitempty" myfmt:"s2"`
    Pages  int    `json:"pages,omitempty" myfmt:"n1"`
    X, Y   bool   `myfmt:"b1"`
}

每个字段标签的目的取决于具体应用。上面这个例子中的字段标签用来帮助encoding/json标准库包来将上面这个结构体类型的某个值编码成JSON数据或者从一份JSON数据解码到上面这个结构体类型的某个值中。在编码和解码过程中,encoding/json标准库包中的函数将只考虑导出的结构体字段。这是为什么上面这个结构体的字段均为导出的。

对于类型S的一个值v,我们可以用v.x和v.y来表示它的字段。 v.x(或v.y)这种形式称为一个选择器(selector)。其中的v称为此选择器的属主。 今后,我们称一个选择器中的句点.为属性选择操作符。

如果一个组合字面量中最后一项和结尾的}处于同一行,则此项后的逗号,是可选的;否则此逗号不可省略。

var _ = Book {
    author: "老貘",
    pages: 256,
    title: "Go语言101", // 这里行尾的逗号不可省略
}

// 下行}前的逗号可以省略。
var _ = Book{author: "老貘", pages: 256, title: "Go语言101",}

结构体值的赋值

当一个(源)结构体值被赋值给另外一个(目标)结构体值时,其效果和逐个将源结构体值的各个字段赋值给目标结构体值的各个对应字段的效果是一样的。

func f() {
    book1 := Book{pages: 300}
    book2 := Book{"Go语言101", "老貘", 256}

    book2 = book1
    // 上面这行和下面这三行是等价的。
    book2.title = book1.title
    book2.author = book1.author
    book2.pages = book1.pages
}

结构体字段的可寻址性

如果一个结构体值是可寻址的,则它的字段也是可寻址的;反之,一个不可寻址的结构体值的字段也是不可寻址的。 不可寻址的字段的值是不可更改的。所有的组合字面量都是不可寻址的。

package main

import "fmt"

func main() {
    type Book struct {
        Pages int
    }
    var book = Book{} // 变量值book是可寻址的
    p := &book.Pages
    *p = 123
    fmt.Println(book) // {123}

    // 下面这两行编译不通过,因为Book{}是不可寻址的,
    // 继而Book{}.Pages也是不可寻址的。
    /*
    Book{}.Pages = 123
    p = &Book{}.Pages // <=> p = &(Book{}.Pages)
    */
}

注意:选择器中的属性选择操作符.的优先级比取地址操作符&的优先级要高。

组合字面量不可寻址但可被取地址

一般来说,只有可被寻址的值才能被取地址,但是Go中有一个语法糖(语法例外):虽然所有的组合字面量都是不可寻址的,但是它们都可被取地址。

package main

func main() {
    type Book struct {
        Pages int
    }
    // Book{100}是不可寻址的,但是它可以被取地址。
    p := &Book{100} // <=> tmp := Book{100}; p := &tmp
    p.Pages = 200
}

在字段选择器中,属主结构体值可以是指针,它将被隐式解引用

比如,在下面的例子中,为了简洁,(*bookN).pages可以被写成bookN.pages。 换句话说,在这种简写形式中,bookN将被隐式解引用。

package main

func main() {
    type Book struct {
        pages int
    }
    book1 := &Book{100} // book1是一个指针
    book2 := new(Book)  // book2是另外一个指针
    // 像使用结构值一样来使用结构体值的指针。
    book2.pages = book1.pages
    // 上一行等价于下一行。换句话说,上一行
    // 两个选择器中的指针属主将被自动解引用。
    (*book2).pages = (*book1).pages
}

关于结构体值的比较

如果一个结构体类型是可比较的,则它肯定不包含不可比较类型的字段(这里不忽略名为空标识符_的字段)。

关于结构体值的类型转换

两个类型分别为S1和S2的结构体值只有在S1和S2的底层类型相同(忽略掉字段标签)的情况下才能相互转换为对方的类型。 特别地,如果S1和S2的底层类型相同(要考虑字段标签)并且只要它们其中有一个为无名类型,则此转换可以是隐式的。

匿名结构体类型允许出现在结构体字段声明中。匿名结构体类型也允许出现在组合字面量中。通常来说,为了代码可读性,最好少使用匿名结构体类型。

相关文章
|
2月前
|
存储 Go
Go: struct 结构体类型和指针【学习笔记记录】
本文是Go语言中struct结构体类型和指针的学习笔记,包括结构体的定义、成员访问、使用匿名字段,以及指针变量的声明使用、指针数组定义使用和函数传参修改值的方法。
|
3月前
|
Go
Go - struct{} 实现 interface{}
Go - struct{} 实现 interface{}
39 9
|
3月前
|
JSON Go 数据格式
Go实现json字符串与各类struct相互转换
文章通过Go语言示例代码详细演示了如何实现JSON字符串与各类struct之间的相互转换,包括结构体对象生成JSON字符串和JSON字符串映射到struct对象的过程。
30 0
|
5月前
|
JSON Go 数据格式
Go 语言基础之指针、复合类型【数组、切片、指针、map、struct】(4)
Go 语言基础之指针、复合类型【数组、切片、指针、map、struct】
|
5月前
|
Java 编译器 Go
Go 语言基础之指针、复合类型【数组、切片、指针、map、struct】(3)
Go 语言基础之指针、复合类型【数组、切片、指针、map、struct】
|
5月前
|
存储 安全 Go
Go 语言基础之指针、复合类型【数组、切片、指针、map、struct】(2)
Go 语言基础之指针、复合类型【数组、切片、指针、map、struct】
|
5月前
|
Java Go 索引
Go 语言基础之指针、复合类型【数组、切片、指针、map、struct】(1)
Go 语言基础之指针、复合类型【数组、切片、指针、map、struct】
|
6月前
|
Go 开发者
Golang深入浅出之-Go语言结构体(struct)入门:定义与使用
【4月更文挑战第22天】Go语言中的结构体是构建复杂数据类型的关键,允许组合多种字段。本文探讨了结构体定义、使用及常见问题。结构体定义如`type Person struct { Name string; Age int; Address Address }`。问题包括未初始化字段的默认值、比较含不可比较字段的结构体以及嵌入结构体字段重名。避免方法包括初始化结构体、自定义比较逻辑和使用明确字段选择器。结构体方法、指针接收者和匿名字段嵌入提供了灵活性。理解这些问题和解决策略能提升Go语言编程的效率和代码质量。
118 1
|
存储 Go
Go空结构体struct {}
struct {}介绍、使用场景、和struct {}{}比较
105 0
|
11月前
|
编译器 Go
go struct 使用
go struct 使用
45 0