Go编程语言规范详解：企业开发参考指南

需积分: 34 21 浏览量更新于2024-07-18 收藏 1.5MB PDF 举报

身份认证购VIP最低享 7 折!

领优惠券(最高得80元）

Go编程语言规范深入解析 Go语言，作为一种通用型编程语言，以其简洁明了的设计和高效性能吸引着开发者。该规范详细介绍了Go语言的核心特性，旨在为软件开发企业提供指导，确保代码的质量和一致性。以下是从章节"13-2-6 Go编程语言规范-Go编程语言"中提炼的知识点： 1. 语法基础: - 记法: Go语言采用C-like语法，注重清晰和简洁，强调代码可读性。 - 源码表示: Go的源代码文件以UTF-8编码，使用标准的换行符。 2. 关键字与标识符: - 关键字: Go有预定义的关键字，如`if`, `for`, `func`, `interface{}`, `select`等，用于特定编程结构。 - 标识符: 包含字母、数字（大小写敏感），且遵循一定的规则，如不能以数字开头，保留字不能用作标识符。 3. 数据类型: - 基本类型: 包括布尔型(`bool`), 整数类型(`int`, `int8`, `int16`, `int32`, `int64`), 浮点数(`float32`, `float64`), 字符串(`string`), 和复数(`complex128`, `complex64`)。 - 复合类型: 如数组(`[]T`), 切片(`[]T`), 结构体(`struct`), 指针(`*T`), 函数类型(`func(T) R`), 接口(`interface{}`), 映射(`map[K]V`), 和信道(`chan T`). 4. 表达式与操作符: - 操作符优先级: 包括算术、比较、逻辑、地址、接收和类型转换等，遵循明确的优先级规则。 - 类型断言: 用于检查并强制转换值到特定类型。 5. 控制结构: - 条件语句: `if`和`switch`用于基于条件执行不同的代码路径。 - 循环: `for`, `while`可用于重复执行代码块，`for-range`用于遍历集合。 - 异常处理: `panic`用于触发运行时错误，`recover`用于捕获并处理这些错误。 6. 包与组织: - 包: Go程序的基本模块，用于组织代码和提供模块化。 - 源文件组织: 每个包包含一个或多个源文件，通过`import`语句引入其他包的代码。 7. 程序执行流程: - 零值初始化: 变量在声明时不初始化时，将获得其默认的零值。 - 程序流程控制: 通过`defer`, `return`, `break`, `continue`, `fallthrough`, `go`等语句实现程序的复杂控制。 8. 内存管理: - 内存分配: Go提供了垃圾回收机制，开发者无需手动管理内存。 - 切片与映射操作: 如创建切片，更新其长度和容量，以及映射元素的增删。 9. 错误处理: - 错误传递: Go中的错误通过`error`类型进行传递，函数可以返回`error`值以表示潜在问题。 10. 安全包`: `unsafe`包允许开发者在某些情况下绕过Go的安全检查，但需谨慎使用，因为它可能导致不安全的行为。这份Go编程语言规范提供了开发人员编写高质量Go代码的基础指南，涵盖了语言的核心特性和最佳实践。理解和遵循这些规范有助于避免常见错误，提升代码的健壮性和可维护性。

资源详情

资源推荐

13-2-6

Go编程语言规范 - Go 编程语言

zh.golanger.com/ref/spec?lang=en

14/81

产生切片与分配数组后再对其进行切片相同，因此这两个例子的结果为相同的切片：

make([]int, 50, 100)

new([100]int)[0:50]

Likearrays,slicesarealwaysonedimensionalbutmaybecomposedtoconstructhigherdimensionalobjects.Witharraysofarrays,the

innerarraysare,byconstruction,alwaysthesamelength;howeverwithslicesofslices(orarraysofslices),thelengthsmayvary

dynamically.Moreover,theinnerslicesmustbeallocatedindividually(withmake).

类似于数组，切片总是一维的，但可组合构造更高维的对象。元素为数组的数组，根据其构造，其内部数组的长度始终相同；然而元素

为切片的切片（或元素为数组的切片），其长度会动态地改变。此外，其内部的切片必须单独地（通过make）分配。

Structtypes

结构类型

Astructisasequenceofnamedelements,calledfields,eachofwhichhasanameandatype.Fieldnamesmaybespecifiedexplicitly

(IdentifierList)orimplicitly(AnonymousField).Withinastruct,nonblankfieldnamesmustbeunique.

StructType = "struct" "{" { FieldDecl ";" } "}" .

FieldDecl = (IdentifierList Type | AnonymousField) [ Tag ] .

AnonymousField = [ "*" ] TypeName .

Tag = string_lit .

// An empty struct.

struct {}

// A struct with 6 fields.

struct {

x, y int

u float32

_ float32 // padding

A *[]int

F func()

}

结构是已命名的元素序列，被称为字段，其中每一个元素都有一个名字和类型。字段名可显示地指定（标识符列表）或隐式地指定（匿

名字段）。在结构中，非空白字段名必须是唯一的。

结构类型 = "struct" "{" { 字段声明 ";" } "}" .

字段声明 = (标识符列表类型 | 匿名字段) [ 标注 ] .

匿名字段 = [ "*" ] 类型名 .

标注 = 字符串字面 .

// 空结构.

struct {}

// 带6个字段的结构

struct {

x, y int

u float32

_ float32 // 填充

A *[]int

F func()

}

Afielddeclaredwithatypebutnoexplicitfieldnameisananonymousfield,alsocalledanembeddedfieldoranembeddingofthetype

inthestruct.AnembeddedtypemustbespecifiedasatypenameTorasapointertoanoninterfacetypename*T,andTitselfmaynot

beapointertype.Theunqualifiedtypenameactsasthefieldname.

// A struct with four anonymous fields of type T1, *T2, P.T3 and *P.T4

struct {

T1 // field name is T1

*T2 // field name is T2

P.T3 // field name is T3

*P.T4 // field name is T4

x, y int // field names are x and y

}

通过有类型而无显式字段名声明的字段为

匿名字段

，亦称为

嵌入式

字段或该结构中此种类型的嵌入。这种字段类型必须作为一个类型名

T或一个非接口类型名的指针*T来实现，且T本身不能为指针类型。未限定类型名的行为类似于字段名。

13-2-6

Go编程语言规范 - Go 编程语言

zh.golanger.com/ref/spec?lang=en

15/81

// 带类型为T1，*T2，P.T3和*P.T4的4个匿名字段的结构

struct {

T1 // 字段名为T1

*T2 // 字段名为T2

P.T3 // 字段名为T3

*P.T4 // 字段名为T4

x, y int // 字段名为x和y

}

Thefollowingdeclarationisillegalbecausefieldnamesmustbeuniqueinastructtype:

struct {

T // conflicts with anonymous field *T and *P.T

*T // conflicts with anonymous field T and *P.T

*P.T // conflicts with anonymous field T and *T

}

以下为非法声明，因为字段名在结构类型中必须是唯一的：

struct {

T // 与匿名字段*T及*P.T相冲突

*T // 与匿名字段T及*P.T相冲突

*P.T // 与匿名字段T及*T相冲突

}

Afieldormethodfofananonymousfieldinastructxiscalledpromotedifx.fisalegalselectorthatdenotesthatfieldormethodf.

在结构x中，若x.f为表示字段或方法f的合法选择者，则匿名字段的字段或方法f即为

已提升

的。

Promotedfieldsactlikeordinaryfieldsofastructexceptthattheycannotbeusedasfieldnamesincompositeliteralsofthestruct.

已提升字段除了不能用作该结构复合字面中的字段名外，其行为如同结构的一般字段。

GivenastructtypeSandatypenamedT,promotedmethodsareincludedinthemethodsetofthestructasfollows:

IfScontainsananonymousfieldT,themethodsetsofSand*SbothincludepromotedmethodswithreceiverT.Themethodsetof

*Salsoincludespromotedmethodswithreceiver*T.

IfScontainsananonymousfield*T,themethodsetsofSand*SbothincludepromotedmethodswithreceiverTor*T.

给定结构类型S与名为T的类型，包含在结构方法集中的已提升方法如下：

若S包含一个匿名字段T，则S与*S的方法集均包含带接收者T的已提升方法。*S的方法集也包含带接收者*T的已提升方法。

若S包含匿名字段*T，则S与*S的方法集均包含带接收者T或*T的已提升方法。

Afielddeclarationmaybefollowedbyanoptionalstringliteraltag,whichbecomesanattributeforallthefieldsinthecorrespondingfield

declaration.Thetagsaremadevisiblethroughareflectioninterfacebutareotherwiseignored.

// A struct corresponding to the TimeStamp protocol buffer.

// The tag strings define the protocol buffer field numbers.

struct {

microsec uint64 "field 1"

serverIP6 uint64 "field 2"

process string "field 3"

}

字段声明可后跟一个可选的字符串字面

标注

，成为所有相应字段声明中字段的属性。标注可通过反射接口获得，否则就会被忽略。

// 一个对应于时间戳协议缓存的结构.

// 标注字符串定义了协议缓存的字段号.

struct {

microsec uint64 "field 1"

serverIP6 uint64 "field 2"

process string "field 3"

}

Pointertypes

指针类型

Apointertypedenotesthesetofallpointerstovariablesofagiventype,calledthebasetypeofthepointer.Thevalueofanuninitialized

pointerisnil.

13-2-6
Go编程语言规范 - Go 编程语言
zh.golanger.com/ref/spec?lang=en
16/81
PointerType = "*" BaseType .
BaseType = Type .
指针类型表示一个所有给定类型变量的指针的集，称为指针的
基础类型
。未初始化的指针的值为nil。
指针类型 = "*" 基础类型 .
基础类型 = 类型 .
*Point
*[4]int
Functiontypes
函数类型
Afunctiontypedenotesthesetofallfunctionswiththesameparameterandresulttypes.Thevalueofanuninitializedvariableof
functiontypeisnil.
FunctionType   = "func" Signature .
Signature      = Parameters [ Result ] .
Result         = Parameters | Type .
Parameters     = "(" [ ParameterList [ "," ] ] ")" .
ParameterList  = ParameterDecl { "," ParameterDecl } .
ParameterDecl  = [ IdentifierList ] [ "..." ] Type .
函数类型表示所有带相同形参和返回类型的集。未初始化的函数类型变量的的值为nil。
函数类型 = "func" 签名 .
签名     = 形参 [ 结果 ] .
结果     = 形参 | 类型 .
形参     = "(" [ 形参列表 [ "," ] ] ")" .
形参列表 = 形参声明 { "," 形参声明 } .
形参声明 = [ 标识符列表 ] [ "..." ] 类型 .
Withinalistofparametersorresults,thenames(IdentifierList)musteitherallbepresentorallbeabsent.Ifpresent,eachnamestandsfor
oneitem(parameterorresult)ofthespecifiedtypeandallnonblanknamesinthesignaturemustbeunique.Ifabsent,eachtypestands
foroneitemofthattype.Parameterandresultlistsarealwaysparenthesizedexceptthatifthereisexactlyoneunnamedresultitmaybe
writtenasanunparenthesizedtype.
在形参或结果的列表中，其名称（标识符列表）必须都存在或都不存在。若存在，则每个名称代表一个指定类型的项（形参或结果），
所有在签名中的非空白名称必须是唯一的。若不存在，则每个类型代表一个此类型的项。若恰好有一个未命名的值，它可能写作一个不
加括号的类型，除此之外，形参和结果的列表总是在括号中。
Thefinalparameterinafunctionsignaturemayhaveatypeprefixedwith....Afunctionwithsuchaparameteriscalledvariadicand
maybeinvokedwithzeroormoreargumentsforthatparameter.
函数签名中的最后一个形参可能有一个带...前缀的类型。带这样形参的函数被称为
变参函数
它可接受零个或多个实参的函数。
func()
func(x int) int
func(a, _ int, z float32) bool
func(a, b int, z float32) (bool)
func(prefix string, values ...int)
func(a, b int, z float64, opt ...interface{}) (success bool)
func(int, int, float64) (float64, *[]int)
func(n int) func(p *T)
Interfacetypes
接口类型
Aninterfacetypespecifiesamethodsetcalleditsinterface.Avariableofinterfacetypecanstoreavalueofanytypewithamethodset
thatisanysupersetoftheinterface.Suchatypeissaidtoimplementtheinterface.Thevalueofanuninitializedvariableofinterfacetype
isnil.
InterfaceType      = "interface" "{" { MethodSpec ";" } "}" .
MethodSpec         = MethodName Signature | InterfaceTypeName .
MethodName         = identifier .
InterfaceTypeName  = TypeName .

13-2-6

Go编程语言规范 - Go 编程语言

zh.golanger.com/ref/spec?lang=en

17/81

接口类型指定一个称为

接口

的方法集。接口类型变量可存储任何带方法集类型的值，该方法集为此接口的超集。这种类型表示

实现此

接口

。未初始化的接口类型变量的值为nil。

接口类型 = "interface" "{" { 方法实现 ";" } "}" .

方法实现 = 方法名签名 | 接口类型名 .

方法名 = 标识符 .

接口类型名 = 类型名 .

Aswithallmethodsets,inaninterfacetype,eachmethodmusthaveauniquename.

// A simple File interface

interface {

Read(b Buffer) bool

Write(b Buffer) bool

Close()

}

对于所有的方法集，在一个接口类型中，每个方法必须有唯一的名字。

// 一个简单的File接口

interface {

Read(b Buffer) bool

Write(b Buffer) bool

Close()

}

Morethanonetypemayimplementaninterface.Forinstance,iftwotypesS1andS2havethemethodset

不止一个类型可实现同一接口。例如，若两个类型S1和S2拥有方法集

func (p T) Read(b Buffer) bool { return … }

func (p T) Write(b Buffer) bool { return … }

func (p T) Close() { … }

(whereTstandsforeitherS1orS2)thentheFileinterfaceisimplementedbybothS1andS2,regardlessofwhatothermethodsS1andS2

mayhaveorshare.

（其中T代表S1或S2）那么File接口都将被S1和S2所实现，不论如何，方法S1和S2都会拥有或共享它。

Atypeimplementsanyinterfacecomprisinganysubsetofitsmethodsandmaythereforeimplementseveraldistinctinterfaces.For

instance,alltypesimplementtheemptyinterface:

类型可实现任何接口，包括任何其方法的子集，因此可能实现几个不同的接口。例如，所有类型都实现了

空接口

：

interface{}

Similarly,considerthisinterfacespecification,whichappearswithinatypedeclarationtodefineaninterfacecalledLock:

同样，考虑此接口的实现，它出现在类型声明中以定义一个名为Lock的接口：

type Lock interface {

Lock()

Unlock()

}

IfS1andS2alsoimplement

若S1和S2也实现

func (p T) Lock() { … }

func (p T) Unlock() { … }

theyimplementtheLockinterfaceaswellastheFileinterface.

它们不仅会实现Lock还会实现File接口

AninterfacemayuseaninterfacetypenameTinplaceofamethodspecification.Theeffect,calledembeddinganinterface,is

剩余80页未读，继续阅读

cailz

粉丝: 7
资源: 154

Go编程语言规范详解：企业开发参考指南

go开发规范.pdf

各种编程语言编码规范大全

go编码规范正文

google go编程规范

245 go语言编程手册

go语言实战 csdn

Go语言和Python语言区别

go语言和java的区别

go语言设计与实现pdf

Google 的 Go 语言编码风格中文版

golang开发规范pdf

go语言实现vlmcsd

go 语言开发工程师简历

使用【很多种的编程语言】写【hello world！】的代码

golang语言的学习路线

怎么学习golang

PHP转go需要做什么

帮忙整理一套go面试题以及答案

golang架构师教程

华为云平台用什么语言进行插件编写

最新资源