为什么“comma ok”模式仅适用于从 Go 函数返回多个值时的赋值上下文？

Go 函数返回值：破译“逗号 Ok”模式

在 Go 中，一个函数可以返回多个值，这很有用在某些情况下。但是，并非所有多值返回都有效。以下代码片段演示了一个有效的情况：

func FindUserInfo(id string) (Info, bool) {
    it, present := all[id]
    return it, present
}

相反，此代码无效：

func FindUserInfo(id string) (Info, bool) {
    return all[id]
}

为什么第一个示例有效而第二个示例无效？理解这一点需要深入研究一种称为“comma ok”模式的技术。

“Comma Ok”习语：解锁丢失的键和零值

“comma ok”习语用于区分映射中缺失的条目与零值。该模式在访问地图键时尤其普遍。考虑以下内容：

var seconds int
var ok bool
seconds, ok = timeZone[tz]

如果 tz 键存在于 timeZone 映射中，则秒将被分配相应的值，并且 ok 将被设置为 true。否则，秒将被设置为 0，ok 将被设置为 false。

实现细节：深入 Go 的源代码

为了寻求澄清，我们转向 Go 的源代码源代码。 unpack 方法负责处理多值赋值和返回。它根据以下条件确定特定表达式是否符合“逗号正常”情况：

• 索引地图
• 从通道检索值
• 执行类型断言

在多值赋值的情况下，allowCommaOk 参数必须设置为 true 以启用“comma ok”模式。然而，在 Go 编译器中，此参数始终设置为 false。

多值返回的后果

此行为意味着“comma ok”模式可以只能在赋值上下文中使用。要从函数中检索多个值，需要赋值左侧的变量。

深入示例

为了说明这一点，我们检查检查器.initVars() 方法：

var x operand
if commaOk {
    var a [2]Type
    for i := range a {
        get(&x, i)
        a[i] = check.initVar(lhs[i], &x, returnPos.IsValid())
    }
    check.recordCommaOkTypes(rhs[0], a)
    return
}

在此代码中，仅当赋值左侧的变量数量与函数返回值的数量匹配时，才激活逗号标志。因此，有必要为每个需要检索的值声明变量。

结论

Go 中的“comma ok”模式是一个有价值的区分工具。缺失的映射条目和零值之间。然而，它的适用性仅限于赋值上下文，需要使用变量来存储返回值。了解这些约束可以确保 Go 代码中正确、高效地实现多值返回。

以上是为什么“comma ok”模式仅适用于从 Go 函数返回多个值时的赋值上下文？的详细内容。更多信息请关注PHP中文网其他相关文章！