会员登录 - 用户注册 - 设为首页 - 加入收藏 - 网站地图 Go 探讨了13年,怎么解决再赋值的坑?!

Go 探讨了13年,怎么解决再赋值的坑?

时间:2025-11-05 01:49:19 来源:益强数据堂 作者:数据库 阅读:208次

大家好,探讨我是年解煎鱼。

最近在看 Go 的决再一些历史提案时,发现有个别很神奇的赋值提案,已经提出来了许多年,探讨但在如今依然没有关闭,年解并且不断地有人在讨论,决再但又解决不了。赋值

有种 “很气又干不掉我的探讨样子”,今天就由煎鱼带大家一起来看看是年解什么。

背景

今天本文介绍的决再 Go 提案《proposal: spec: various changes to :=[1]》是经典中的经典,初学者学习时常犯的赋值问题。

该提案自 2009 年提出,探讨最近一次的年解激烈讨论是 2021 年:

代码原型如下:

func f() (err os.Error) {

v, err := g()

if err != nil {

return

}

if v {

v, err := h()

if err != nil {

return

}

}

}

这段代码的问题在于函数片段中的 := 会导致产生一个新的 err 变量,该新变量会使得返回参数(err os.Error,决再也声明了 err)被覆盖。

也就是 Go 里的 := 重新赋值的逻辑,b2b供应网会导致参数被覆盖,从而引起隐藏问题,极其容易踩坑。

新提案

如开头所说,这是一个经过了 13 年,在 2022 年依然没有结局的提案。

煎鱼总结了提案和其他讨论的思路,社区一共提出了如下几种解决方案或思路。如下:

加语法糖。干掉语法。定规范。加语法糖

这个想法删除了重新声明 := 语法,并添加了新的 : 和 :: 语法,用于新变量声明。

如下代码:

package bar

func foo() {

var x, err = f()

...

// 这里 “:err” 表示上面声明的 err。

var y, z, :err = g()

...

{

// 实际上,:err 表示代码区块里的已经声明的 err。

var w, :err = h()

...

// ::err 表示包级别声明的 err。

var u, v, ::err = j()

...

// 这个“err”是一个新的声明。

var m, n, err = k()

...

}

}

上述代码中给出了三种案例,分别是:

var :err = x:表示最近一个作用域声明的 err,WordPress模板原意是指上面一个声明的 err,因此你会发现在代码区块和外,代表着不同的结果。var ::err = x:表示包级别声明的 err。var err = x:表示一个新的声明。干掉语法

在另外一个提案《proposal: Go 2: let := support any l-value that = supports[2]》中 Go 语言之父 @ Rob Pike 直接表示想干掉 := 这个重新赋值的方式,而不是再修修补补,加一堆会更复杂。

如下图:

我认为我们应该以消除重新声明为目标,如果我们能够建立一个更平稳的错误处理模型,那么重新声明就变得不那么引人注目了。不过这不会很快发生。

删除功能而不是增加功能。

(大呼:less is more)

单行多次声明

首先修改重新赋值的语义,:= 左边的所有标识符总是被声明为新的变量,在同一个块内重新声明是不允许的。

如下代码:

a, err := foo()

b, err := foo() // 编译错误,因为 var err 已在此块中声明

第一行声明正常,免费源码下载第二行由于在同一个代码区块重新声明了,因此会出现编译错误,因为已经声明过了。

接着增加语法特性,允许在一行中混合使用 = 和 :=。如下代码:

// a 和 err 被声明和初始化(相当于:a, err := foo()

a:=, err:= foo()

// b 被声明和初始化,而 err 只被赋予了一个新值

b:=, err= foo()

if true {

// c 在 if 块中声明并初始化,并为 err 分配一个新值

c:=, err= foo()

}

if true {

// d 和 err 在 if 块中声明,err 被隐藏

d:=, err:= foo()

}

允许单行进行多次声明,本质上是明确了声明的范围,会提高代码可读性的复杂度。

总结

今天这篇文章给大家介绍了一个 13 年前(2009 年)就被发现的神坑。当初最早学习 Go 时,也碰到很多教程、文档,同学会遇到这个重新赋值声明的神坑。

实际上上述的 3 个方案,看起来是从不同的角度补全了这个重新声明的语法糖,但也加大了复杂度。

也许直接干掉,也可能是个不错的选择?

参考资料

[1]proposal: spec: various changes to :=: https://github.com/golang/go/issues/377

[2]proposal: Go 2: let := support any l-value that = supports: https://github.com/golang/go/issues/30318

(责任编辑:应用开发)

推荐内容
  • 用折纸手工解压小电脑(发挥创意,轻松解压身心,享受DIY乐趣)
  • 域名所有者是什么意思?有关域名所有者问题解答
  • 一文带你搞懂 Python 数据类型之数字类型
  • MySQL 中写操作时保驾护航的三兄弟!
  • 解决电脑恢复手机时老提示错误的方法(教你如何应对电脑恢复手机时的错误提示问题)
  • 老域名适合用来做新网站域名吗?