在不同作用域中拥有多个同名变量是否有合理的用例？

Go 语言允许在不同作用域内拥有同名变量，这被称为变量隐藏。尽管这可能会导致意外错误，但它在某些情况下具有实际用途。例如，它允许闭包引用封闭变量，即使这些变量与匿名函数中使用的变量同名。此外，它使添加新全局变量或常量到现有包中变得更加容易，而无需担心名称冲突。最后，变量隐藏允许轻松复制和粘贴代码段，即使它们包含与现有代码中使用的变量同名的变量。

以下（人为设计的）代码定义了变量 i 的两次出现或“实例”：

import "fmt"

func main() {
    goto_done := false
    i := 3
fred:
    fmt.printf("i #1 = %d\n", i)
    if !goto_done {
        i := 4
        fmt.printf("i #2 = %d\n", i)
        goto_done = true
        goto fred
    }
}

从输出中可以看出，这两个值都作为单独的值保留，因为定义第二个值不会覆盖第一个值：

i #1 = 3
i #2 = 4
i #1 = 3

此功能是否有任何建设性的用例，或者它只是该语言的一个怪癖？

正确答案

以下是一些用例：

1。关闭

go 有 closures，这意味着您可以创建引用封闭变量的匿名函数。闭包有很多很好的用途，但这意味着匿名函数继承其封闭变量名称。

err := trysomething()

workchan := make(chan work)

// start a worker
go func() {
    // we're using the existing workchan from the enclosing scope
    for job := range workchan {
        //  vv this is name shadowing! (we're shadowing the existing err)
        err := do(job)
        if err != nil {
            logerror(err) 
        }
    }
}()

err = tryanotherthing()
if err != nil {
    return err
}

如果我们无法隐藏该名称，那么工作线程和主线程将竞争使用相同的 err 变量（导致未定义的行为）。因此，您可以感谢影子，因为您不必输入 err2、errr 等。

2。在封闭范围中添加新名称

假设您有一个现有的包，并且想要添加一个名为 gopher 的新全局常量或变量。您不想搜索整个包源中的每个范围来查看名称 gopher 是否已在任何地方使用。

在 Go 1.18 版本中，添加了两个新的 predeclared identifiers：any 和 comparable。由于允许名称隐藏，因此可以将此类通用标识符添加到 go 中，而不会破坏以前正确的 go 程序（另请参阅 Go 1 compatability declaration）

3。粘贴代码

shadowing 允许您复制并粘贴这样的“自包含”代码，并且无论您将其放在何处，它都可以（几乎）工作。

// Print Fibonacci numbers
for i, j := 0, 1; j < 100; i, j = j, i+j {
    fmt.Println(j)
}

i 和 j 是非常常见的变量名称，因此如果不允许隐藏，如果您尝试将其粘贴到代码中的某个位置，则很可能会发生冲突，从而导致错误。

当然，避免阴影通常是好的，因为它可能会导致意外的错误并降低代码的可读性（尤其是在 ide 中没有范围感知突出显示的情况下）。在更长、更现实的场景中，您可能希望重命名您可能粘贴的任何隐藏名称。值得庆幸的是，由于隐藏在语言中有效，因此实际上应该更容易重命名它们：

由于 i 和 j 是有效且不同的变量，因此一个好的 ide 应该允许您像重命名任何其他变量一样快速重命名这些变量及其所有用法。

今天关于《在不同作用域中拥有多个同名变量是否有合理的用例？》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！