为什么 Go 的类型推断在使用简写声明的结构体赋值中失败？

Go 的谜团：结构体赋值中缺乏类型推断

在 Go 中，使用简写声明语法赋值是一种常见的做法提高代码的可读性和效率。然而，这种简单性可能会让程序员在遇到某些场景时陷入困境，如以下代码片段所示：

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

此代码片段将 next 的值分配给 i，同时将 i 重新分配给 prev。这种行为很直观并且按预期工作。但是，当涉及结构体字段时，类型推断会失败，如以下代码所示：

type Foo struct {
    Bar int
}

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

在这种情况下，尝试使用简写语法将值分配给结构体字段会导致编译器错误：“non-name on left side of :=”

引人注目的是，此错误仅在处理结构时发生。为了解开这种行为背后的谜团，我们深入研究了 Go 编译器复杂的类型推断机制。

当编译器遇到简写声明时，它会尝试根据右侧的表达式来推断类型 -作业的手边。对于变量，这个过程很简单。但是，当遇到结构体字段时，编译器会检查该字段的类型与右侧表达式的类型是否匹配。

在第一个示例中，右侧是整数文字(11) 与 i 的类型匹配。因此，编译器可以推断 prev 也是一个整数，并且赋值成功。

在第二个示例中，右侧是涉及结构体字段 (f.Bar) 的表达式。由于编译器需要确保左侧的类型（本例中为 f.Bar）与右侧的类型匹配，因此会陷入冲突：右侧是整数，但左侧是一个 int 类型的结构体字段。这种差异导致编译器无法推断 prev 的类型，从而出现错误。

这种情况的令人困惑的方面是，虽然错误消息指示“non-name on left side of :=”作为罪魁祸首，根本问题似乎在于由于结构体字段的参与而导致类型推断失败。

此行为已被报告为未解决的问题Go 问题跟踪器，强调 Go 处理结构时类型推断的局限性。虽然它在技术上可能不属于错误，但它确实代表了编译器的刚性阻碍了直观的编码实践的领域。

以上是为什么 Go 的类型推断在使用简写声明的结构体赋值中失败？的详细内容。更多信息请关注PHP中文网其他相关文章！