为什么 Go 的类型推断对于短变量声明中的结构体字段会失败？

结构体赋值中的 Go 类型推断歧义

考虑以下 Go 代码片段：

i := 10
next := 11
prev, i := i, next

在此片段中， i 的类型在赋值期间成功推断为 int。但是，当类似的代码片段涉及结构体字段时，类型推断会失败，如下所示：

type Foo struct {
    Bar int
}

f := Foo{10}
next := 11
prev, f.Bar := f.Bar, next

在后一个代码片段中，f.Bar 的类型推断失败，并显示错误消息“non-name” f.Bar on left side of :=".

为了解释这种行为，我们转向 Go 中的相关问题tracker:

Github Issue 6842

Issue 6842（“规范：使用短声明符号分配给字段”）将此行为记录为一个未解决的问题。问题源于赋值语法的歧义。具体来说，编译器无法确定 f.Bar 是表达式 f.Bar, next 中的变量名还是字段名。

虽然问题报告将其标记为开放，但后来的评论表明它可能已被其他更改解决或取代。然而，最新的官方说法仍然是这是一个已知问题。

以上是为什么 Go 的类型推断对于短变量声明中的结构体字段会失败？的详细内容。更多信息请关注PHP中文网其他相关文章！