为何go.mod中的toolchain指令在此场景下未生效？

问题背景 #

我在研究go.mod新增的toolchain指令，理解它用于指定模块应使用的工具链版本，且优先级高于go指令（go指令定义依赖该模块的用户所需的最低工具链版本）。

我用Go循环变量的新特性做测试：切换go指令在1.21和1.22之间时，程序行为确实变化。但把go指令设为1.21、toolchain指令设为go1.22.0后，程序仍表现出Go1.21的行为，toolchain指令似乎完全未生效。

我的go.mod内容：

module HelloWorld

go 1.21

toolchain go1.22.0

GOTOOLCHAIN变量设为auto，本地使用的Go版本为go1.22.0 windows/amd64。

原因解析 #

toolchain指令的作用是选择构建/运行模块的工具链版本，但它不会覆盖go指令的兼容性语义：

• Go工具链会根据go.mod里的go指令版本，启用对应版本的语言行为兼容性模式。即使你用了1.22的工具链，只要go指令是1.21，工具链会模拟1.21的语言行为，这是Go的兼容性保证机制。
• 循环变量的新行为是Go1.22的特性，默认只在go指令指定为1.22及以上时才启用。

解决方法 #

如果想让程序表现出Go1.22的循环行为，有两种方式：

1. 修改go.mod里的go指令为1.22：

   module HelloWorld
   
   go 1.22
   
   toolchain go1.22.0
   

   此时即使不指定toolchain，用1.22工具链也会触发新行为。
2. 保留go 1.21，临时通过环境变量启用实验性特性：

   set GOEXPERIMENT=loopvar  # Windows
   # 或
   export GOEXPERIMENT=loopvar  # Linux/macOS
   

   再运行程序即可触发1.22的循环行为（注意：这是实验性设置，不建议生产环境使用）。

验证toolchain是否生效 #

可以运行以下命令确认当前使用的工具链版本：

go version -m ./

输出中会显示toolchain go1.22.0，说明toolchain指令已经生效，只是语言行为被go指令的兼容性规则限制了。

内容的提问来源于stack exchange，提问作者LeaBit