Go语言规格说明书 之 结构体类型(Struct types)
go version go1.11 windows/amd64
本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 结构体类型(Struct types)。
结构体 在Go语言中很重要,用于组织数据,类似OOP中的类,但是,Go语言的 结构体 中只有数据定义,没有 OOP中的 类方法、实例方法 等概念。
Go语言的结构体 和 C语言的结构体 有些类似,不过俺忘记了C语言结构体的具体用法了,下面介绍Go语言的结构体。
结构体 是 命名元素 的 一个 序列,这些 命名元素 被称为 域(Fields),每一个 域 都有一个 名称 和 类型。
注意,域 的名称可以 显示 或 隐式 指定,显示指定 为 使用 标识符列表(IdentifierList),隐式指定 为 嵌入式域(EmbeddedField)。
注意,在结构体中,非空的域名称 必须是 唯一的(Unique)。
疑问,前面说了 每一个域都有一个名称和类型,这里怎么暗示说有 空域 呢?什么是空域?域名称 为 下划线(_)的域即使空域!可以存在多个?应该是的。有什么用处呢?填充 结构体,使其size达到某种长度,还有呢?
下面是官文示例和自己的批注(蓝色部分不十分确定):
// An empty struct. struct {} // 空结构体 // A struct with 6 fields. // 6个域 包括 空域 struct { x, y int // 定义了两个域 x、y,类型都是int,这就是 IdentifierList 了 u float32 _ float32 // padding // 空域,下划线 A *[]int // 定义一个 名称为 A 的 整形数组的指针 F func() // 定义一个 名称为 F 的 函数类型 域——无参数、无返回类型 }
什么是 嵌入式域呢?就是 只给出了 类型但没有提供域名称 的域(这也可以!)。嵌入式域 必须(2种情况) 使用类型名T指定,或者 使用指向非接口类型的指针的类型名 *T 指定——此时T本身不能是指针类型(这里翻译的有些问题)。
嵌入式域 也是有 域名称的,它的域名称就是 其 未限定的类型名称(unqualified type name)。
下面是官文示例和自己的批注(蓝色部分不十分确定):
// A struct with four embedded fields of types T1, *T2, P.T3 and *P.T4 struct { T1 // field name is T1 *T2 // field name is T2 // T2不能是接口类型 P.T3 // field name is T3 // 这个是?不属于上面的两种情况吧?属于情况1? *P.T4 // field name is T4 // 属于情况2? x, y int // field names are x and y }
官文中嵌入式域的错误示例——三个域的域名称都是 T,冲突了:
struct { T // conflicts with embedded field *T and *P.T *T // conflicts with embedded field T and *P.T *P.T // conflicts with embedded field T and *T }
测试及结果(本想定义一个int、*int的,但这两者冲突了):
代码: type S1 struct { int float32 } func main() { var sv1 = S1{12, 21.0} fmt.Println(sv1) fmt.Println(sv1.int, sv1.float32) } 运行结果: {12 21} 12 21
注意,在测试中,struct关键字前面 多了 type S1,这表示 类型定义——将其后定义的结构体绑定到标识符S1,之后就可以使用S1来定义常量、变量或其它地方使用了。若只是struct,俺目前不晓得怎么使用,或可能出现在 一次性使用 的场合,未可知也。
前面提到了 三种域 了:命名的域、空域、嵌入式域,下面介绍第四种域,还没看明白,希望写完本文可以搞清楚。
第四种域:一个 结构体 x 的 嵌入式域 的 域 或 方法 f 被称为 升级域(Promoted),如果 x.f 是指向 那个 域 或 方法 f(翻译不准确,请看原文)。
大概能懂,但需要简单的示例就更明白了!
俺的理解:嵌入式域 是一个 类型嘛,这个类型 可能也是 结构体或什么的,也会有自己的 域 和 方法,当它作为 嵌入式域 出现在 另一个结构体中时,它的 域 和 方法就可以 被 另一个结构体直接 调用了。
此时需要注意,嵌入式域 的 域或方法 的 名称 在 外层 结构体中 需保持 唯一性(Unique)。
升级域 表现的 就像 结构体的 普通域一样,除了它们不能在 结构体的 组合字面量(请看官文 composite literals) 中作为域名出现外。
就是说,这些升级域 可以这样 使用,但是,它们不是结构体真正的域,,如果是这样的话,还需要 遵守 非空域名 的唯一性原则吗?
官文更进一步解释了 升级域,下为翻译:
给定一个 结构体类型 S、一个 自定义类型(defined type) T,被升级到 结构体S的方法 包含下面两种情况:
1.S包含 嵌入式域 T,S 和 *S 的 方法集 都会 包含 接收者(receiver)为T的升级方法,另外,*S 的方法集 还包含 接收者 为 *T 的升级方法;
2.S包含 嵌入式域 *T,S 和 *S 的 方法集 都会 包含 接收者 为 T 或 *T 的升级方法;
俺的理解:嵌入式域的所有方法都会被升级,根据 嵌入的方式 不同——类型 或 类型的指针,结构体 或 结构体指针 拥有的 来自 升级方法的 方法集是不同的。
好了,结构体的四种域都介绍完了,如果有更多示例就好了,可本文暂时没有,以后更难说了,下面是最后一部分:域的标签(tag)。
域在声明的时候,可以跟一个字符串字面量,这个叫做 标签(tag),它会成为对应的域的属性。
标签为 空字符串 和 没有标签 一样。
用法有两个:反射接口(reflection interface)、结构体类型识别(type identify)——两个方法请读者查看官文并摸索,其它情况时均忽略。
在俺看来,tag就是域的注释,解释域是干什么的。在上面的两种用法中,可以获取标签的信息,而在其它地方就忽略了,或者获取不到。
官文示例:
struct { x, y float64 "" // an empty tag string is like an absent tag // 空标签 name string "any string is permitted as a tag" _ [4]byte "ceci n'est pas un champ de structure" // 法语,Google翻译:这不是结构领域 } // A struct corresponding to a TimeStamp protocol buffer. // The tag strings define the protocol buffer field numbers; // they follow the convention outlined by the reflect package.
// 使用 reflect 包输出的 结构体的信息。。要使用反射,那就 从 学习 reflect 包开始吧! struct { microsec uint64 `protobuf:"1"` // 注意,是 反引号 serverIP6 uint64 `protobuf:"2"` // 注意,是 反引号 }
好了,结构体类型 就这么多了,本文就比官文多一个示例,其它的都是翻译和自己的理解。
其实,结构体 还需要 和 方法定义或声明 的介绍一起 会更有用,在之前看过的代码中,存在很多 定义结构体后,再定义其方法——单独的方法 或者 接口 中的方法的操作。在俺看来,这就是把 面向对象程序设计 中的 数据和操作 拆开了啊(鸭子类型)!这样更好吗?还需要更多地体会它的好!