养生网站设计,一个专门做试题的网站,南海建设网站,维恩图在线制作网站变量的作用域是指程序代码中能够有效使用这个变量的范围。不要将作用域和生命期混在一起。作用域是代码中的一块区域#xff0c;是一个编译期的属性#xff1b;生命期是程序执行期间变量存活的时间段。在此时间段内#xff0c;变量能够被程序的其他部分所引用#xff0c;是… 变量的作用域是指程序代码中能够有效使用这个变量的范围。不要将作用域和生命期混在一起。作用域是代码中的一块区域是一个编译期的属性生命期是程序执行期间变量存活的时间段。在此时间段内变量能够被程序的其他部分所引用是执行期的概念。 语法块是包括在花括号内的一系列语句。比如函数体或者循环体。语法块内部声明的变量是无法被语法块外部代码訪问的。我们能够扩展局部语法块的概念在某些场景下。是不须要花括号的这样的形式称之为词法块。词法块分为几种全局词法块包括全部源码。包 词法块。包括整个package;文件词法块。包括整个文件for、if、switch语句的词法块switch或select中的case分支的词法块。当然也包括之前提到的语法块。 声明语句的词法块决定了变量的作用域。Go语言的内置类型、内置函数、内置常量都是全局词法块因此它们都是全局作用域的。比如int、len、true等。能够在整个程序直接使用对于导入的包。比如temconv导入的fmt包是文件词法块因此仅仅能在当前文件里訪问fmt包。这里fmt是全文件范围的作用域tempconv.CToF函数中的变量c则是局部词法块(语法块)的因此它的作用域是函数的内部。 控制语句后面的标签(label)。比如break、continue或goto后的标签。它们的作用域是在控制语句所在的函数内部。 一个程序可能会有多个同样的变量名仅仅要它们的声明在不同的词法块就好。比如。你能够在函数内声明一个局部变量x,同一时候再声明一个包级的变量x这是在函数内部局部变量x就会替代后者这里称之为shadow意味着在函数作用域内局部变量将包变量隐藏了。 当编译器遇到一个变量名的引用时会去搜索该变量的声明语句首先从最内部的词法块開始然后直到全局词法块。假设编译期找不到变量名的声明语句。那么就会报错undeclared name。假设变量名在内部的词法块和外部的词法块同一时候声明那么依据编译期的搜索规则内部的词法块会先找到。在这样的情况下。内部的声明会隐藏外部的声明(shadow)此时。外部声明的变量是无法訪问的func f() {}var g gfunc main() {f : ffmt.Println(f) // f; 本地变量f隐藏了包级函数ffmt.Println(g) // g; 包级变量gfmt.Println(h) // compile error: undefined: h
}在函数内部。词法块能够嵌套随意层数因此本地变量能够隐藏外部变量。大多数的语法块(花括号)是通过控制语句if、for等创建的以下的程序有三个不同的x变量。每一个变量都是声明在不同的词法块中(这段代码主要是为了说明作用域的规则这样的编码风格并不提倡)func main() {x : hello!for i : 0; i len(x); i {x : x[i]if x ! ! {x : x A - afmt.Printf(%c, x) // HELLO (one letter per iteration)}}
}表达式x[i]和x A - a 分别引用了不同的x变量后面会解释。 就像之前提到的那样不是全部的词法块都有显式的花括号。上面的for循环创建了两个词法块带花括号的循环主体显式词法块还有不带花括号的隐式词法块。比如for循环的条件语句中声明一个变量i。这里i的作用域包括for的条件语句和for的主体。 以下的样例也创建了三个变量x每一个都在不同的词法块中声明一个在函数主体中一个在for的隐式词法块中另一个在显式词法块循环主体中这当中仅仅有1和3是显式词法块func main() {x : hellofor _, x : range x {x : x A - afmt.Printf(%c, x) // HELLO (每次循环一个字符)}
}就像for循环一样。if语句和switch语句一样会创建隐式词法块。以下的代码在if-else链中说明了x和y的作用域if x : f(); x 0 {fmt.Println(x)
} else if y : g(x); x y {fmt.Println(x, y)
} else {fmt.Println(x, y)
}
fmt.Println(x, y) // compile error: x and y are not visible here 第二个if语句嵌套在第一个里面。所以第一个if语句里声明的变量对第二个if语句是可见的。在switch中也有相似的规则除了条件词法块外。每一个case也有自己的词法块。 对于包级变量来说声明的顺序和作用域是无关的全部一个包级变量声明时能够引用它自身也能够引用在它之后声明的包级变量。然而假设一个变量或者常量在声明时引用了它自己。编译器会报错。 看以下的程序if f, err : os.Open(fname); err ! nil { // compile error: unused: freturn err
}
f.ReadByte() // compile error: undefined f
f.Close() // compile error: undefined ff的作用域仅仅是if语句因此在if之外的词法块是不可訪问的报编译错误。 这里能够更改代码提前声明f变量f, err : os.Open(fname)
if err ! nil {return err
}
f.ReadByte()
f.Close()假设不想在外部词法块声明变量能够这么写if f, err : os.Open(fname); err ! nil {return err
} else {// f and err are visible here toof.ReadByte()f.Close()
}可是第三种不是Go推荐的写法。另外一种比較合适将正常逻辑和错误处理分离。 短声明变量的作用域是要特别注意的考虑以下的程序開始时会获取当前的工作文件夹保存在一个包级变量中。这个本来能够通过在main函数中调用os.Getwd来完毕可是用init函数将这块儿逻辑从主逻辑中分离是一个更好的选择特别是由于获取文件夹的操作可能会是失败的这个时候须要处理返回的错误。函数log.Fatalf会打印一条信息。然后调用os.Exit(1)终结程序var cwd stringfunc init() {cwd, err : os.Getwd() // compile error: unused: cwdif err ! nil {log.Fatalf(os.Getwd failed: %v, err)}
}这里cwd和err在init的词法块中都没有声明过因此 : 语句会将它们两声明为本地变量。init内部的cwd声明会隐藏外部的,因此这个程序没有达到更新包级变量cwd的目的。 当前版本号Go编译器会检測到本地变量cwd从未使用因此会报错可是这样的检查并非非常严格。比如。假设在log.Fatalf中打印cwd的值(这时本地变量cwd会被使用)。那么这样的错误就会被隐藏var cwd stringfunc init() {cwd, err : os.Getwd() // 注意这里的包级cwd被本地隐藏了可是编译器没有报错!if err ! nil {log.Fatalf(os.Getwd failed: %v, err)}log.Printf(Working directory %s, cwd)
}这里全局变量cwd没有得到正确的初始化同一时候log函数使用了cwd本地变量。隐藏了这个bug。 有一些办法能够处理这样的潜在的错误最直接的就是避免使用:通过var来声明err变量var cwd stringfunc init() {var err errorcwd, err os.Getwd()if err ! nil {log.Fatalf(os.Getwd failed: %v, err)}
} 在这一章里我们简单学习了包。文件。声明。语句等。在接下来的两章我们会学习数据结构。 PS. 这一章真心非常难写足足用了3个小时。作为质量对照大家能够參见这篇文章Scope。 文章全部权Golang隐修会 联系人孙飞。CTO188.com 转载于:https://www.cnblogs.com/llguanli/p/8378254.html
