Go语言的标识符、关键字、字面量、类型

一直在 Segment Fault 上面实行本身的拿来主义，但其实我是一直很乐意分享的人，并且特别喜欢写，之前一直都是在本身的博客里面写，可是没啥人看，也造成不了交流，因此，申请在 Segment Fault 上面开个专栏，之后还忘你们多多指教，这篇文章只是想试试 Segment Fault的编辑器，内容是前几天写的。

Go语言的语言符号又称记法元素，共包括5类，标签符（identifier）、关键字（keyword）、操做符（operator）、分隔符（delimiter）、字面量（literal），它们是组成Go语言代码和程序的最基本单位。

Go语言的全部源代码都必须由 Unicode 编码规范的 UTF-8 编码格式进行编码。

1、标识符

在Go语言代码中，每个标识符能够表明一个变动或者一个类型（即标识符能够被看做是变量或者类型的代号或者名称），标识符是由若干字母、下划线（_）和数字组成的字符序列，第一个字符必须为字母。同时，使用一个标识符在使用前都必须先声明。在一个代码块中，不容许重复声明同一个标识。

代码包声明（package PKG_NAME）并不算是一个声明，由于代码包名称并不出如今任何一个做用域中，代码包声明语句的目的只是为了鉴别若干源码文件是否属于同一个代码包，或者指定导入代码包时的默认代码包引用名称。

一个限定标识符表明了对另外一个代码包中的某个标识符的访问，这须要两个条件：

1. 另外一个代码包必须事情由Go语言的导入声明 import 导入；
2. 某个标识符在代码包中是可导出的。

标识符可导出的前提条件有下面这两个：

1. 标识符名称中的第一个字符必须是大写；
2. 标识必须是被声明在一个代码包中的变量或者类型的名称，或者是属于某个结构体类型的字段名称或者方法名称。

在Go语言中还存在一类特殊的标识符，叫做预约义标识符，这类标识符随Go语言的源码一同出现，主要包括如下几种：

1. 全部基本数据类型的名称
2. 接口类型 error
3. 常量 true、false 以及 iota
4. 全部内奸函数的名称，即 append、cap、close、complex、copy、delete、imag、len、make、new、panic、print、println、real和 recover

由一个下划线表示的标识 _ 为空标识符，它通常被用在一须要引入一个新绑定声明中，如：

import _ "runtime/cgo"

2、关键字

关键字是指被编程语言保留页不让编程人员做为标识符使用的字符序列。所以，关键字也称为保留字。

Go 语言中全部的关键只有25个：

1. 程序声明：import、package
2. 程序实体声明和定义：chan、const、func、interface、map、struct、type、var
3. 程序流程控制：go、select、break、case、continue、default、defer、else、fallthrough、for、goto、if、range、return、switch

3、字面量

简单来讲，字面量就是表示值的一种标记法，可是在Go语言中，字面量的含义要更广一些：

1. 用于表示基础数据类型值的各类字面量。

2. 用户构造各类自定义的复合数据类型的类型字面量，以下面这个字面量表示了一个名称为 Person 的自定义结构体类型：

   type Person struct {
        Name string
        Age uint8
        Address string
   }

3. 用于表示复合数据类型的值的复合字面量，更确切地讲，它会被用来构造类型 Struct（结构体）、Array（数组）、Slice（切片）和Map（字典）的值。以下面的字面量能够表示上面的那个 Person 结构体类型的值：

   Person(Name: "Eric Pan", Age: 28, Address: "Beijing China"}

4、类型

一个类型肯定了一类值的集合，以及能够在这些值上施加的操做。类型能够由类型名称或者类型字面量指定，类型分为基本类型和复合类型，基本类型的名称能够表明其自身，好比：

var name string

string 即为一个基本类型，Go 语言中的基本类型有：bool、byte、int/uint、int8/uint八、int16/uint1六、int32/uint3二、int64/uint6四、float3二、float6四、complex6四、complex128，共18个，基本类型的名称都必须预约义标识符。除了 bool 与 string 外，其它的都称为数值类型。

除了基本类型外，Go语言还有八个复合类型：Array（数组）、Struct（结构体）、Function（函数）、Interface（接口）、Slice（切片）、Map（字典）、Channel（通道）以及Pointer（指针）。

复合类型通常由若干（包括0）个其余已被定义的类型组合而成，如定义一本书的结构体：

type Book struct {
     Name string
     ISBN string
     Press string
     TotalPages uint16
}

Go语言中的类型又能够分为静态类型和动态类型，一个变量的静态类型是指在变量声明中示出的那个类型，绝大多数类型的变量都只拥有静态类型，惟独接口类型的变量例外，它除了拥有静态类型以外，还拥有动态类型，这个动态类型表明了在运行时与该变量绑定在一块儿的值的实际类型。

每个类型都会有一个潜在类型，若是这个类型是一个预约义的类型（也就是基本类型），或者是一个由类型字面量构造的复合类型，那么它的潜在类型就是它自身，好比 string 类型的潜在类型就是 string，在上面提到的 Book 的潜在类型就是 Book，可是若是一个类型并不属于上述状况，那么这个类型的潜在类型就是在类型声明中的那个类型的潜在类型，好比咱们按如下方式声明一个 MyString 类型：

type MyString string

MyString 类型的潜在类型就是 string 类型的潜在类型，实际上，咱们能够将 MyString 看做是 string 类型的一个别名，在Go 语言中的基本数据类型 rune 类型就是如此，它能够看做是 uint32 类型的一个别名类型，其潜在类型就是 uint32 ，可是一类要注意， MyString 与 string 却并非一个相同的类型。

潜在类型在声明过程当中是具备可传递性的，以下面咱们再声明一个 iString 类型：

type iString MyString

iString 类型的潜在类型一样就是 string 类型。