在Go中，声明标识符的作用范围是源文件的范围，其中标识符表示指定的常量、类型、变量，函数、标签或包等。

一 作用域

Go使用块的词法来管理作用域：

  1. 预声明的标识符的范围是全局的（哪都可以用）。
  2. 顶层（在任何函数之外）声明的常量，类型，变量或函数（但不是方法）的标识符的范围是包级别。
  3. 导入包的作用域是包含导入包声明的文件范围
  4. 方法接收者，函数参数或结果变量的标识符的作用域是函数体。
  5. 在函数内声明的常量或变量标识符的范围从ConstSpec或VarSpec（短变量声明的ShortVarDecl）结尾处开始，并在最内层包含块的末尾结束。
  6. 在函数内声明的类型标识符的范围从TypeSpec中的标识符开始，并在最内层包含块的末尾结束。

ConstSpec,VarSpec,TypeSpec等是指声明中的Spec：
常量声明的格式如下：

ConstDecl      = "const" ( ConstSpec | "(" { ConstSpec ";" } ")" ) .
ConstSpec      = IdentifierList [ [ Type ] "=" ExpressionList ] .

IdentifierList = identifier { "," identifier } .
ExpressionList = Expression { "," Expression } .

变量声明如下：

VarDecl     = "var" ( VarSpec | "(" { VarSpec ";" } ")" ) .
VarSpec     = IdentifierList ( Type [ "=" ExpressionList ] | "=" ExpressionList ) .

类型声明如下：

TypeDecl = "type" ( TypeSpec | "(" { TypeSpec ";" } ")" ) .
TypeSpec = AliasDecl | TypeDef .

短变量声明如下：

ShortVarDecl = IdentifierList ":=" ExpressionList .

二 标签作用域

标签由带标签的语句声明，用于break，continue和goto语句。与其他标识符相比，标签不是块作用域，也不与非标签的标识符冲突。标签的范围是声明它的函数体，并排除任何嵌套函数体。

三 预声明标识符

以下标识符隐式声明为全局的：

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

常量:
    true false iota

零值:
    nil

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

四 可导出标识符

可导出标识符满足以下两点：

  1. 标识符名称的第一个字符是Unicode大写字母，并且
  2. 标识符在包块中声明，或者是字段名或方法名。

除此之外所有其他标识符都不会导出。

五 标识符的唯一性

给定一组标识符，如果其中一个标识符与集合中其他任何一个都不同，则称其为唯一标识符。如果两个标识符拼写不同，或者出现在不同的包中且均未导出，则它们是不同的，否则就是一样的。

参考：
https://golang.org/ref/spec#Declarations_and_scope

文章目录