基本构成要素
Go 的语言符号 又称 词法元素，共包括 5 类内容——标识符（identifier）、关键字（keyword）、字面量（literal）、分隔符（delimiter） 和 操作符（operator），它们可以组成各种表达式 和 语句，而后者都无需以分号结尾。
标识符
标识符可以表示 程序实体，前者即为后者的名称。在一般情况下，同一个代码块中不允许出现同名的程序实体。使用不同代码包中的程序实体需要用到限定标识符，比如：os.O_RDONLY。
另外，Go 中还存在着一些特殊的标识符，叫作预定义标识符，它们在 Go 源码中声明的。这类标识符包括以下几种。
- 所有基本数据类型的名称
- 接口类型 error
- 常量 true、false 和 iota。
所有的 内建函数 的名称，即 append、cap、close、complex、copy、delete、imag、len、make、new、panic、print、println、real 和 recover。
这里强调一下 空标识符，它由一个下划线 _ 表示，一般用在变量声明 或 代码包 导入语句中。若在代码中存在一个变量 x，但是却不存在任何对它的使用，则编译器会报错。如果在变量 x 的声明代码后添加这样一行代码：
_ = x
就可以绕过编译器检查，使它不产生任何编译错误。这是因为这段代码确实用到了变量 x，只不过它没有在变量 x 上进行任何操作，也没有将它赋值给任何其他变量。空标识符就像一个垃圾桶。在相关初始化工作完成后，操作对象就会被弃之不用。
关键字
关键字 是被编程语言保留的字符序列，编程人员不能把它们用作标识符。因此，关键字也称为 保留字。
Go 的关键字可以分为 3 类，包括用于 程序声明的关键字、用于程序实体声明 和 定义 的关键字，以及用于程序流程控制的关键字，如下图所示：
| 类 别 | 关 键 字 |
|---|---|
| 程序声明 | import 和 package |
| 程序实体 声明 和 定义 | chan，const，func，interface，map，struct，type 和 var |
| 程序流程控制 | go，select，break，case，continue，default，defer，else，fallthrough，for，goto，if，range，return 和 switch |
Go 关键字共有 25 个，其中与并发编程有关的关键字有 go、chan 和 select。
这里特别说明一下关键字 type 的用途——类型声明。我们可以使用它声明一个 自定义类型：
type myString string
这里把名为 myString 的类型声明为 string 类型的一个别名类型。反过来说，string 类型是 myString 类型的 潜在类型。再看另一个例子，基本类型 rune 是 int32 类型的一个别名类型。int32 类型就是 rune 类型的潜在类型。虽然类型及其潜在类型是不同的 两个 类型，但是它们的值可以进行类型转换，例如：string(myString("ABC"))。这样的类型转换不会产生新值，几乎没什么代价。
自定义的类型一般都会基于 Go 中一个或多个预定义类型，就像上面的 myString 和 string 那样。如果为自定义类型关联若干方法（函数的变体），那么还可以让它成为某个或某些接口类型的实现类型。另外，还有一个比较特殊的类型，叫 空接口。它的类型字面量是 interface{}。在 Go 语言中，任何类型都是 空接口 类型的实现类型。
字面量
简单来说，字面量就是 值 的一种 标记法。但是，在 Go 中，字面量的含义要更加广泛一些。我们常常用到的字面量有以下 3 类。
1、用于表示基础数据类型 值 的各种字面量。这是最常用的一类字面量，例如，表示浮点数类型值的 12E-3。
2、用于构造各种自定义的复合数据类型的 类型 字面量。例如，下面的字面量定义了一个名称为 Name 的结构体类型：
type Name struct {
Forename string
Surname string
}
3、用于表示复合数据类型的 值 的复合字面量，它可以用来构造 struct（结构体）、array（数组）、slice（切边） 和 map（字典） 类型的值。复合字面量 一般由字面类型 以及 被花括号包裹的复合元素的列表组成。字面类型 指的就是 复合数据类型 的名称。
例如，下面的复合字面量构造出了一个 Name 类型的值：
Name{Forename: "Robert", Surname: "Hao"}
其中 Name 表示这个值的类型，紧随其后的就是由键值对表示的复合元素列表。
操作符
操作符，也称 运算符。它是用于执行特定算术 或 逻辑操作的符号，操作的对象称为 操作数。Go 有如下操作符：
| 符 号 | 说 明 | 示 例 |
|---|---|---|
| || | 逻辑或操作，二元操作符，逻辑操作符 | true || false // 结果为 true |
| && | 逻辑与操作，二元操作符，逻辑操作符 | true && false // 结果为 false |
| == | 相等判断操作，二元操作符，比较操作符 | "abc" == "abc" // 结果为 true |
| ！= | 不等判断操作，二元操作符，比较操作符 | "abc" != "Abc" // 结果为 true |
| < | 小于判断操作，二元操作符，比较操作符 | 1 < 2 // 结果为 true |
| <= | 小于或等于判断操作，二元操作符，比较操作符 | 1 <= 2 // 结果为 true |
| > | 大于判断操作，二元操作符，比较操作符 | 3 > 2 // 结果为 true |
| >= | 大于或等于操作判断，二元操作符，比较操作符 | 3 >= 2 // 结果为 true |
| + | 求和操作，一元操作符，二元操作符，算术操作符。若为一元操作符，不会对原值产生任何影响 | +1 // 结果为 1 1 + 2 // 结果为 3 |
| - | 求差操作，一元操作符，二元操作符，算术操作符。若为一元操作符，则表示求反操作。 | -1 // 结果为 -1（1的相反数） 1 - 3 // 结果为 -2 |
| | | 按位或操作，二元操作符，算术操作符 | 5 | 11 // 结果为 15 |
| ^ | 按位异或操作，一元操作符，二元操作符，算术操作符。若为一元操作符，则表示按位补码操作。 | 5 ^ 11 // 结果为 14 ^5 // 结果为 -6 |
| * | 求乘操作，一元操作符，二元操作符，算术操作符，地址操作符。若为地址操作符，则表示取值操作 | *p // 若 p 为指向整数类型值 2 的指针类型值，则结果为 2 2 * 5 // 结果为 10 |
| / | 求商操作，二元操作符，算术操作符 | 10 / 5 // 结果为 2 |
| % | 求余数操作，二元操作符，算术操作符 | 12 % 5 // 结果为 2 |
| << | 按位左移操作，二元操作符，算术操作符 | 4 << 2 // 结果为 16 |
| >> | 按位右移操作，二元操作符，算术操作符 | 4 >> 2 // 结果为 1 |
| & | 按位与操作，一元操作符，二元操作符，算术操作符，地址操作符，则表示取址操作 | &v // 结果为标识符 v 所代表的值在内存中的地址 5 & 11 // 结果为 1 |
| &^ | 按位清除操作，二元操作符，算术操作符 | 5 &^ 11 // 结果为 4 |
| ! | 逻辑非操作，一元操作符，逻辑操作符 | !b // 若 b 的值为 false，则表达式的结果为 true |
| <- | 接收操作，一元操作符，接收操作符 | <- ch // 若 ch 代表了元素类型为 byte 的通道类型值，则此表达式就表示从 ch 中接收一个 byte 类型值的操作 |
Go 的操作符一共有 21 个，并分为 5 类：算术操作符、比较操作符、逻辑操作符、地址操作符 和 接收操作符。
当一个表达式中存在多个操作符时，就涉及操作顺序的问题。在 Go 中，一元操作符拥有最高的优先级，而二元操作符的优先级如下表所示：
| 优 先 级 （数字越大，优先级越高） | 操 作 符 |
|---|---|
| 5 | *、/、%、<<、>>、&、&^ |
| 4 | +、-、|、^ |
| 3 | ==、!=、<、<=、>、>= |
| 2 | && |
| 1 | || |
如果在一个表达式中出现了处于相同优先级的多个操作符，且这些操作符之间存在操作数，那么就会按照从左到右的顺序进行操作。当然，我们可以使用圆括号显示地改变原有的操作顺序，例如表达式 a << (4 * b) & c 等同于 (a << (4 * b)) & c，即子表达式 4 * b 会先被求值。
最后需要注意的是，++ 和 -- 是语句，而不是表达式，因而他们不存在于任何操作优先级层次之内。例如 表达式 *p-- 等同于 (*p)--。
表达式
表达式 是把 操作符 和 函数 作用于操作数的计算方法。在 Go 中，表达式 是构成具有词法意义的代码的最基本元素。Go 的表达式有很多种，具体如下表所示：
| 种 类 | 用 途 | 示例 |
|---|---|---|
| 选择表达式 | 选择一个值中的字段或方法 | context.Speaker // context 是变量名 |
| 索引表达式 | 选取数组、切片、字符串 或 字典值 中的某个元素 | array1[1] // array1 表示一个数组值，其长度必须大于 1 |
| 切片表达式 | 选取数组、数组指针、切片 或 字符串值中的某个范围的元素 | slice[0:2] // slice1 表示一个切片值，其容量必须大于 或 等于 2 |
| 类型断言 | 判断一个接口值的实际类型是否为某个类型，或一个非接口值的类型是否实现了某个接口类型 | v1.(I1) // v1 表示一个接口值，I1 表示一个接口类型 |
| 调用表达式 | 调用一个函数 或 一个值的方法 | v1.M1() // v1 表示一个值，M1 表示与该值关联的一个方法 |
关于 类型断言，有 2 点需要注意一下：
1、如果 v1 是一个非接口值，那么必须在做类型断言之前把它转换成 接口值。
因为 Go 中的任何类型都是 空接口类型 的实现类型，所以一般会这样做：interface{}(v1).(I1)。
2、如果类型断言的结果为否，就意味着该类型断言是失败的。失败的类型断言会引发一个运行时恐慌（或称运行时异常），解决方法是：
var i1, ok = interface{}(v1).(I1)
这里声明并赋值了 2 个变量，其中 ok 是布尔类型的变量，它的值体现了类型断言的成败。如果成功，i1 就会是经过类型转换后的 I1 类型的值，否则它将会是 I1 类型的零值（或称默认值）。如此一来，当类型断言失败时，运行时恐慌就不会发生。
关键字 var 用于变量的声明。在它 和 等号（=） 之间可以有多个由逗号（,）隔开的变量名。这种在一条语句中同时为多个变量赋值的方式叫 平行赋值。另外，如果在声明变量的同时进行赋值，那么等号左边的变量类型可以省略。如果不使用上述几个技巧的话，上面那条语句可以写成：
var i1 I1
var ok bool
i1, ok = interface{}(v1).(I1)
另一方面，上面那条语句还可以简写成：
i1, ok := interface{}(v1).(I1)
这种简写方式只能出现在函数中。有了符号 :=，关键字 var 也可以省略了，这叫 短变量声明。
摘自：《Go并发编程实战（第2版）》