如何配置VSCode识别Go中冗余的显式泛型类型参数？

问题场景 #

以下Go代码中，调用泛型函数test时显式指定的[string, int]属于冗余类型参数——Go编译器完全可以通过传入的参数"test"和1推断出类型参数，直接调用test("test", 1)即可：

package main

import "fmt"

func test[A, B any](a A, b B) {
    fmt.Printf("a: %v, b: %v", a, b)
}

func main() {
    test[string, int]("test", 1) // 此处[string, int]为冗余类型指定
}

解决方案：通过gopls启用冗余类型参数检测 #

VSCode的Go插件依赖gopls（Go语言服务器）提供代码诊断功能，你可以通过配置gopls的infertypeargs分析器来触发这类冗余类型的提示：

在VSCode的settings.json中添加以下配置：

"gopls": {
    "ui.diagnostic.analyses": {
        "infertypeargs": true
    }
}

配置未生效的排查步骤 #

如果上述配置没有生效，可以按以下步骤排查：

• 检查Go版本：确保使用Go 1.18及以上版本（泛型特性从Go 1.18开始引入，infertypeargs分析依赖该特性支持）
• 更新gopls到最新版本：执行命令go install golang.org/x/tools/gopls@latest更新，旧版本的gopls可能不支持该分析器
• 验证配置正确性：检查settings.json中是否存在拼写错误，比如键名infertypeargs是否正确、配置结构是否嵌套正确
• 重启VSCode和gopls：配置变更后需要重启VSCode，或通过VSCode命令面板执行Go: Restart Language Server来重启gopls
• 检查是否存在冲突配置：确认没有其他配置（如禁用所有诊断分析的设置）覆盖了该配置

替代方案：使用linter检测 #

除了gopls的内置分析器，也可以使用staticcheck这类第三方linter，它同样支持检测冗余的泛型类型参数指定。

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