• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号

Go语言规格说明书 之 变量声明(Variable/Short variable declarations) ...

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

go version go1.11 windows/amd64

 

本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,完整的介绍Go语言的 变量声明(Variable declarations)简短变量声明(Short variable declarations)

 

Go语言有两种 变量声明方式:普通的、简短的。

普通的 方式 需要 使用 var关键字,简短的需要使用 := 组合符号。

普通的 方式 可以在任何作用域使用,而 简短的 方式 仅限于 函数的作用域内,或者,函数内的 if、for、switch 等语句中使用。

下面分别介绍。

 

注意,本文说的是 变量声明,而不是变量定义、初始化,但也会包含一些定义、初始化的内容。

 

普通的变量声明方式

和Python类似,可以在一行声明一个变量,也可以同时声明多个变量(变量列表)。

对于多个变量的声明,其中可以存在 空标识符(_),表示忽略对应位置的 值的表达式列表中的值。

 

官文示例 及 解释

var i int // 这里的类型 int 不能少
var U, V, W float64 // 声明三个变量,初始化为 float64的默认值 0.0。这样来看,每个 声明了的变量 都是有值得,只不过,有些是默认值。可以查看 zero value。
var k = 0 // 没有指定类型,但基于了初始值,那么,k的类型是什么呢?下面会进行测试,结果为 int
var x, y float32 = -1, -2 // 指定了类型,也提供了值列表
var ( // 这个还不太理解,前面某博文说这样的方式是定义 全局变量!
	i       int
	u, v, s = 2.0, 3.0, "bar"
)
var re, im = complexSqrt(-1)
var _, found = entries[name]  // map lookup; only interested in "found" // 空标识符(_)表示忽略函数返回的第一个值,只需要(关注)第二个

 

进一步测试:

func main() {
	var x1 = 0
	fmt.Println(typeof(x1))
	var x2 = 0.0
	fmt.Println(typeof(x2))
}

// 测试函数
func typeof(v interface{}) string {
	return fmt.Sprintf("%T", v)
}

测试结果:

int
float64

 

关于声明的变量的类型:

如果声明语句中存在类型名称,那么,变量就是这个类型;

否则,变量的类型为各自的初始化的值的类型(前面说过,变量的类型、初始化值 不能都不存在),此时,如果值是一位未类型化的常量(an untyped constant),变量的类型就是这个常量转换后的默认类型——如上面的测试中,0的默认类型是int、0.0的默认类型是float64;如果值是一个未类型化的布尔值(an untyped boolean value),那么,变量的类型为bool。

注意,预定义值 nil 不能用于给一个 没有指明类型 的变量赋值(指明了就可以了吧)。

 

官文示例:

var d = math.Sin(0.5)  // d is float64
var i = 42             // i is int
var t, ok = x.(T)      // t is T, ok is bool // 不懂!还需要dig
var n = nil            // illegal // 没有指定类型

 

注意,编译器会将函数体内 声明了却从未使用 的变量设置为非法,编译 自然就不能通过,程序也不能执行了。

 

简短的变量声明方式

前面的变量声明需要关键字 var,而这里是 禁止用它的,也不需要指定变量类型,也不需要使用单独的等号(=),,需要用 := 组合符号——必须的,其后是一个或多个值,或者返回一个或多个值得 表达式。

声明中没有类型,不代表 变量没有类型,其类型根据赋予它们的值类进行推断的(推断规则TBD,我要去找找文档)。

官方示例:

i, j := 0, 10
f := func() int { return 7 }
ch := make(chan int)
r, w := os.Pipe(fd)  // os.Pipe() returns two values
_, y, _ := coord(p)  // coord() returns three values; only interested in y coordinate

 

进阶:

比普通变量声明方式多了一个 重新声明变量(redeclare) 的特性。

重新定义 可以 认为是 重新给 前面声明的变量赋值,因此,新的值得类型要匹配。

还有一个关键要求

重新声明变量 只能出现在 变量列表的声明方式中,而且,在这个变量列表中,至少存在着一个 新的非空变量。

我的测试:

a := 123 // 声明变量a,成功,int型

a := 321 // 失败,只是一个变量,而不是变量列表,删除,再测试

a := "str" // 类型错误,单个变量错误,删除上面所有,再测试

// ----翻篇----
v1, a := "v1", 123 // 声明两个变量 v1、a
v1, a := "v11", 123 // 失败,不存在一个新的非空变量,删除此句,再测试
v2, a := "v2", 123 // 和变量v2一起重新声明a,成功

a, v3 := 999, "v2" // 切换变量a在重新声明语句中的位置

 

再次提示,简短声明语句 仅限于 函数的作用域内,或者,函数内的 if、for、switch 等语句中使用。

 

本文完。

需要结合 作用域、类型初始化值等一起看,会获得更完整的知识。

 


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
Go中的函数一些有趣的功能发布时间:2022-07-10
下一篇:
带你十天轻松搞定 Go 微服务系列(五)发布时间:2022-07-10
热门推荐
热门话题
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap