本文最初发表在我的个人博客,查看原文,获得更好的阅读体验
在Go中,声明标识符的作用范围是源文件的范围,其中标识符表示指定的常量、类型、变量,函数、标签或包等。
一 作用域
Go使用块的词法来管理作用域:
- 预声明的标识符的范围是全局的(哪都可以用)。
- 顶层(在任何函数之外)声明的常量,类型,变量或函数(但不是方法)的标识符的范围是包级别。
- 导入包的作用域是包含导入包声明的文件范围
- 方法接收者,函数参数或结果变量的标识符的作用域是函数体。
- 在函数内声明的常量或变量标识符的范围从ConstSpec或VarSpec(短变量声明的ShortVarDecl)结尾处开始,并在最内层包含块的末尾结束。
- 在函数内声明的类型标识符的范围从TypeSpec中的标识符开始,并在最内层包含块的末尾结束。
ConstSpec,VarSpec,TypeSpec等是指声明中的Spec:
常量声明的格式如下:ConstDecl = "const" ( ConstSpec | "(" { ConstSpec ";" } ")" ) . ConstSpec = IdentifierList [ [ Type ] "=" ExpressionList ] . I