命令源码文件
GOPATH指向的一个或者多个工作区,每个工作区都会有以代码包为基本组织形式的源码文件。
Go语言中源码文件可以分为三类:命令源码文件、库源码文件、测试源码文件。
命令源码文件:
命令源码文件是程序的运行入口,是每个可独立运行的程序必须拥有的。我们可以通过构建或安装生成与其对应的可执行文件,后者一般会与该命令源码文件的直接父目录同名。
命令源码文件可以方便地使用go run命令启动。
如果一个源码文件声明属于main包,并且包含一个无参数声明且无结果声明的main函数,那么就是命令源码文件。就像这样:
Go
package main
import "fmt"
func main() {
fmt.Println("hello world")
}
如果你把这段代码存成 demo1.go 文件,那么运行go run demo1.go命令后就会在屏幕(标
准输出)中看到Hello, world!
当需要模块化编程时,我们往往会将代码拆分到多个文件,甚至拆分到不同的代码包中。但无论怎样,对于一个独立的程序来说,命令源码文件永远只会也只能有一个。如果有与命令源码文件同包的源码文件,那么它们也应该声明属于main包。
库源码文件
当你在编写"Hello, world"的时候,一个源码文件就足够了。这个源码文件就是命令源码文件,可以参考上面的示例。除了命令源码文件,你还能用 Go 语言编写库源码文件。
库源码文件不能被直接运行,它仅用于存放程序实体。只要遵从 Go 语言规范,这些程序实体就可以被其他代码使用。这些"其他代码"可以与被使用的程序实体在同一个源码文件内,也可以在其他源码文件,甚至其他代码包中。
上面命令源码文件的讲解过程最后给出两个图片,就是一个非常简单的将一个命令源码文件拆分为一个命令源码文件和一个库源码文件,并且两者存在与不同的源码文件但属于同一个代码包main包。
当然也可以将上述库源码文件拆分到不同的代码包中:
此处有两点需要声明:
- 代码包package lib 这里的包名lib最好和目录名一致,上面目录名也为lib。如果两者不一致可以使用不可以,当然可以,但此时导包时会有一点额外操作,需要给导入的包重命名,并根据重命名的包引用其中的代码。
- 包中的函数Hello()此时首字母声明为了大写,表示可以被其他包引用。
建议将包名和目录名声明为一致。
类型推断
Go语言中声明变量的三种方式:
Go
// 方式一
var name string
name = "zhangsan"
// 方式二
var name = "zhangsan"
// 方式三
name := "zhangsan"
- 方式一:定义变量的同时直接定义变量的类型,随后使用=对变量赋值。
- 方式二:利用Go语言的类型推断,代码在声明变量name的同时还为它赋了值,而这时声明中并没有显式指定name的类型。只能用于对变量或常量的初始化。
- 类型推断是一种编程语言在编译期自动解释表达式类型的能力。表达式类型就是对表达式进行求值后得到的结果的类型。
- 方式三:使用Go语言中的短变量声明,实际是方式二的类型推断+语法糖(语法糖的知识后面会慢慢遇到)。
Go语言的类型推断有哪些好处
示例代码如下:
Go
package main
import (
"flag"
"fmt"
)
func main() {
var name = getTheFlag()
flag.Parse()
fmt.Printf("Hello, %v!\n", *name)
}
func getTheFlag() *string {
return flag.String("name", "everyone", "The greeting object.")
}
我们可以用getTheFlag函数包裹(或者说包装)那个对flag.String函数的调用,并把其结果直接作为getTheFlag函数的结果,结果的类型是*string。这样一来,var name =右边的表达式可以变为针对getTheFlag函数的调用表达式了。
这实际上是对声明并赋值name变量的那行代码的重构。我们通常把"不改变某个程序与外界的任何交互方式和规则,而只改变其内部实现"的代码修改方式,叫做对该程序的重构。
重构的对象可以是一行代码、一个函数、一个功能模块,甚至一个软件系统。你会发现,你可以随意改变getTheFlag函数的内部实现及其返回结果的类型,而不用修改main函数中的任何代码。
这个命令源码文件依然可以通过编译,并且构建和运行也都不会有问题。也许你能感觉得到,这是一个关于程序灵活性的质变。我们不显式地指定变量name的类型,使得它可以被赋予任何类型的值。也就是说,变量name的类型可以在其初始化时由其他程序动态地确定。
在你改变getTheFlag函数的结果类型之后,Go 语言的编译器会在你再次构建该程序的时候,自动地更新变量name的类型。如果你使用过Python或Ruby这种动态类型的编程语言的话一定会觉得这情景似曾相识。没错,通过这种类型推断你可以体验到动态类型编程语言所带来的一部分优势,即程序灵活性的明显提升。但在那些编程语言中,这种提升可以说是用程序的可维护性和运行效率换来的。
Go 语言是静态类型的,所以一旦在初始化变量时确定了它的类型,之后就不可能再改变。这就避免了在后面维护程序时的一些问题。另外,这种类型的确定是在编译期完成的,因此不会对程序的运行效率产生任何影响。
Go 语言的类型推断可以明显提升程序的灵活性,使得代码重构变得更加容易,同时又不会给代码的维护带来额外负担(实际上,它恰恰可以避免散弹式的代码修改),更不会损失程序的运行效率。
变量重声明
Go语言中对变量的重声明涉及到短变量的声明。可以对同一个代码块中的代码进行重声明。其含义是对已经声明过的变量再次声明。变量重声明的前提条件如下:
由于变量的类型在其初始化时就已经确定了,所以对它再次声明时赋予的类型必须与其原本的类型相同,否则会产生编译错误。
变量的重声明只可能发生在某一个代码块中。如果与当前的变量重名的是外层代码块中的变量,那么就是另外一种含义了,我在下一篇文章中会讲到。
变量的重声明只有在使用短变量声明时才会发生,否则也无法通过编译。如果要在此处声明全新的变量,那么就应该使用包含关键字var的声明语句,但是这时就不能与同一个代码块
中的任何变量有重名了。
- 被"声明并赋值"的变量必须是多个,并且其中至少有一个是新的变量。这时我们才可以说
对其中的旧变量进行了重声明。
Go
package tool
import(
"xxx"
)
func getFielName(){
err := errno
err, name := getSubFileName()
}
func getSubFileName(){
// xxx
}
上面伪代码简单演示了对于变量err的重声明。