IntMake居然不是关键字？

本文转载自微信公众号「董泽润的技术笔记」，作者董泽润。转载本文请联系董泽润的技术笔记公众号。

在做网站、网站建设中从网站色彩、结构布局、栏目设置、关键词群组等细微处着手，突出企业的产品/服务/品牌，帮助企业锁定精准用户，提高在线咨询和转化，使成都网站营销成为有效果、有回报的无锡营销推广。创新互联建站专业成都网站建设十多年了，客户满意度97.8%，欢迎成都创新互联客户联系。

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

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

 
 
 
    
  
  
  
  1. break        default      func         interface    select 
    2. 
  
  
  
  2. case         defer        go           map          struct 
    3. 
  
  
  
  3. chan         else         goto         package      switch 
    4. 
  
  
  
  4. const        fallthrough  if           range        type 
    5. 
  
  
  
  5. continue     for          import       return       var 
    6.

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

make 内置函数

 
 
 
    
  
  
  
  1. package main 
    2. 
  
  
  
  2.  
    3. 
  
  
  
  3. import "fmt" 
    4. 
  
  
  
  4.  
    5. 
  
  
  
  5. func main(){ 
    6. 
  
  
  
  6.     make := func() string { 
    7. 
  
  
  
  7.         return "hijacked" 
    8. 
  
  
  
  8.     } 
    9. 
  
  
  
  9.  
    10. 
  
  
  
  10.     int := make()    // Completely OK, variable 'int' will be a string 
    11. 
  
  
  
  11.     fmt.Println(int) // Prints "hijacked" 
    12. 
  
  
  
  12. } 
    13.

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

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

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

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

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

Predeclared identifiers

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

 
 
 
    
  
  
  
  1. Types: 
    2. 
  
  
  
  2.  bool byte complex64 complex128 error float32 float64 
    3. 
  
  
  
  3.  int int8 int16 int32 int64 rune string 
    4. 
  
  
  
  4.  uint uint8 uint16 uint32 uint64 uintptr 
    5. 
  
  
  
  5.  
    6. 
  
  
  
  6. Constants: 
    7. 
  
  
  
  7.  true false iota 
    8. 
  
  
  
  8.  
    9. 
  
  
  
  9. Zero value: 
    10. 
  
  
  
  10.  nil 
    11. 
  
  
  
  11.  
    12. 
  
  
  
  12. Functions: 
    13. 
  
  
  
  13.  append cap close complex copy delete imag len 
    14. 
  
  
  
  14.  make new panic print println real recover 
    15.

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

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

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

 
 
 
    
  
  
  
  1. Block = "{" StatementList "}" . 
    2. 
  
  
  
  2. StatementList = { Statement ";" } . 
    3.

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

  • The universe block encompasses all Go source text. 通用块包括 go 源码文本
  • Each package has a package block containing all Go source text for that package. 每个包都有一个块，包含该包的所有 Go 源代码
  • Each file has a file block containing all Go source text in that file. 每个文件都有一个文件块，包含该文件中的所有 Go 源码
  • Each "if", "for", and "switch" statement is considered to be in its own implicit block. 每个 if、for 和 switch 语句都被认为是在自己的隐式块中
  • Each clause in a "switch" or "select" statement acts as an implicit block. switch 或 select 语句中的每个子句都是一个隐式块

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

网页标题：IntMake居然不是关键字？
文章来源：http://www.shufengxianlan.com/qtweb/news18/12918.html

网站建设、网络推广公司-创新互联，是专注品牌与效果的网站制作，网络营销seo公司；服务项目有等

广告

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源： 创新互联

猜你还喜欢下面的内容

App设计知识

行业网站建设

红锐电子　　 　网站推广公司　　 　崇州网站建设　　 　成都微信开发　　 　广告媒介投放　　 　定制级高端网站建设　　 　绵阳网站制作　　 　网站建设公司　　 　香港云服务器租用　　 　温江电信机房　　 　网站制作公司　　 　营销型网站建设　　 　川银永信　　 　广安网站建设　　 　路面机械及配件　　 　高端网站策划　　 　成都制作网站　　 　标志设计　　 　UI设计　　 　成都做网站