纳尼?Go中 int、make 等居然不是关键字

共 5905字,需浏览 12分钟

 ·

2021-08-21 04:40

这是一个小白问题,有多少人知道 int 不是关键字?make 也不是关键字?

我们知道每种语言都有关键字和保留字的,而 go 以关键字少著称,只有25个

break        default      func         interface    select
case         defer        go           map          struct
chan         else         goto         package      switch
const        fallthrough  if           range        type
continue     for          import       return       var

也就是说,我们常用的 make, cap, len不是关键字,就连基本数据类型 int, int64, float 也都不是。但是 C 语言中关键字可是非常多的

make 内置函数

package main

import "fmt"

func main(){
    make := func() string {
        return "hijacked"
    }

    int := make()    // Completely OK, variable 'int' will be a string
    fmt.Println(int// Prints "hijacked"
}

这段代码 make 变量是一个闭包,返回一个字符串,而 int 变量类型是字符串。最后函数打印 hijacked. 显然这段代码很神经病,谁要这么写会被打死,但确是可以编译成功的

同时如果想继续用 make 创建 map, 或是用 int 声明变量就会报错。本质上 make, cap, len 都是 go 源码中的函数名,有点泛型的意思

// The make built-in function allocates and initializes an object of type
// slice, map, or chan (only). Like new, the first argument is a type, not a
// value. Unlike new, make's return type is the same as the type of its
// argument, not a pointer to it. The specification of the result depends on
// the type:
// Slice: The size specifies the length. The capacity of the slice is
// equal to its length. A second integer argument may be provided to
// specify a different capacity; it must be no smaller than the
// length. For example, make([]int, 0, 10) allocates an underlying array
// of size 10 and returns a slice of length 0 and capacity 10 that is
// backed by this underlying array.
// Map: An empty map is allocated with enough space to hold the
// specified number of elements. The size may be omitted, in which case
// a small starting size is allocated.
// Channel: The channel's buffer is initialized with the specified
// buffer capacity. If zero, or the size is omitted, the channel is
// unbuffered.
func make(t Type, size ...IntegerType) Type
func len(v Type) int
func cap(v Type) int

上面是 runtime 中对 make, len, cap 的函数定义,大家可以看注释或是看 builtin.go. make 接收三种类型参数:Map, Channel, Slice. 返回值是类型 T, 而不像 new 返回的是指针 *T

也就是说,变量名用 make, 只是在 main 函数这个词法块中普通的局部变量而己,同时遮蔽了 runtime 的 make 函数名

Predeclared identifiers

前面说的是 make, 那么对于 int 呢?其实道理也一样,这些都是 go 预定义的标识符 Predeclared identifiers

Types:
 bool byte complex64 complex128 error float32 float64
 int int8 int16 int32 int64 rune string
 uint uint8 uint16 uint32 uint64 uintptr

Constants:
 true false iota

Zero value:
 nil

Functions:
 append cap close complex copy delete imag len
 make new panic print println real recover

其实这些都 document 在 builtin.go,包括常见的整数类型,true, false, iota, nil 以及常用的函数 make, new, copy 等等,这些在其它语言可能都对应着关键词 keywords 或是保留词

从编译原理的角度看,identifierskeywords 关键词没有本质的区别,都是一个一个 token 而己

官方告诉我们,这些预定义的标识符在 universe block 块中都是隐式定义的,所以我们才能直接用。那么什么是 universe block 呢?

Block = "{" StatementList "}" .
StatementList = { Statement ";" } .

除了上面这种显示的语句块,还有很多隐式的语句块。大家要小心,因为很多时候 variable shadow 就是因为这个隐式的

  1. The universe block encompasses all Go source text. 通用块包括 go 源码文本

  2. Each package has a package block containing all Go source text for that package. 每个包都有一个块,包含该包的所有 Go 源代码

  3. Each file has a file block containing all Go source text in that file. 每个文件都有一个文件块,包含该文件中的所有 Go 源码

  4. Each "if", "for", and "switch" statement is considered to be in its own implicit block. 每个 ifforswitch 语句都被认为是在自己的隐式块中

  5. Each clause in a "switch" or "select" statement acts as an implicit block. switchselect 语句中的每个子句都是一个隐式块

我们就犯过错误,命中了最后一条导致了变量 shadow. 那么问题来了,为什么 go 选择预定义标识符的方式,而不是直接定义成 keywords 呢?Go prefers the universal block over keywords because declarations can be added to the universal block without breaking existing programs


   


喜欢明哥文章的同学
欢迎长按下图订阅!

⬇⬇⬇

浏览 22
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报