IT业界： 转发 微博 Qzone 微信 Go Vet 命令：超出预期的强大

Go vet 命令在编写代码时非常有用。它可以帮助您检测应用程序中任何可疑、异常或无用的代码。该命令实际上由几个子分析器组成，甚至可以与您的自定义分析器一起工作。让我们首先回顾一下内置的分析器。

内置分析器

可以通过命令 go tool vet help 获取 内置分析器[1] 列表。让我们分析一些不太明显的例子，以便更好地理解。

Atomic

这个分析器将防止原子函数的任何不正确使用

func main() {

 

   var a int32 = 0

 

   var wg sync.WaitGroup

 

   for i := 0; i < 500; i++ {

 

      wg.Add(1)

 

      go func() {

 

         a = atomic.AddInt32(&a, 1) // 改为 atomic.AddInt32(&a, 1) 即可

 

         wg.Done()

 

      }()

 

   }

 

   wg.Wait()

 

}

 

main.go:15:4: direct assignment to atomic value

 

由于原子内存原语函数 addInt 是并发安全的，所以变量 a 会安全增加。但是，我们将结果分配给相同的变量，这不是一个并发安全的写操作。atomic 分析仪将发现发现这个个粗心的错误。

copylocks

正如文档中所描述的，永远不应该复制锁。实际上，它在内部管理锁的当前状态。一旦使用了锁，此锁的副本就会复制其内部状态，使锁的副本与原始状态相同，而不是初始化的新状态。

func main() {

 

   var lock sync.Mutex

 

   l := lock //直接使用 lock 即可

 

   l.Lock()

 

   l.Unlock()

 

}

 

// from vet: main.go:9:7: assignment copies lock value to l: sync.Mutex

 

使用锁的结构体应该使用指针引用，以保持内部状态一致：

type Foo struct {

 

   lock sync.Mutex

 

}

 

func (f Foo) Lock() { // 改为：func (f *Foo) Lock()

 

   f.lock.Lock()

 

}

 

func main() {

 

   f := Foo{lock: sync.Mutex{}}

 

   f.Lock()

 

}

 

// from vet: main.go:9:9: Lock passes lock by value: command-line-arguments.Foo contains sync.Mutex

 

loopclosure

当您启动一个新的 goroutine 时，主 goroutine 将继续执行。在执行时，将进行评估 goroutine 及其变量的代码将，当一个变量仍然被主 goroutine 更新时使用，这可能会导致一些常见的错误：

func main() {

 

   var wg sync.WaitGroup

 

   for _, v := range []int{0,1,2,3} { // 需引入临时变量解决,或 通过传值参数解决

 

      wg.Add(1)

 

      go func() {

 

         print(v)

 

         wg.Done()

 

      }()

 

   }

 

   wg.Wait()

 

}

 

// output:

 

// 3333

 

// from vet: main.go:10:12: loop variable v captured by func literal

 

lostcancel

从主上下文（main）创建一个可取消的上下文（cancellable context）将返回新上下文以及一个能够取消该上下文的函数。此函数可在任何时候用于取消与此上下文关联的所有操作，但应始终调用此函数，以避免泄漏任何上下文。

func Foo(ctx context.Context) {}

 

func main() {

 

   ctx, _ := context.WithCancel(context.Background())

 

   Foo(ctx)

 

}

 

// from vet: main.go:8:7: the cancel function returned by context.WithCancel should be called, not discarded, to avoid a context leak

 

// 需改为：

 

    // ctx, cancleFunc := context.WithCancel(context.Background())

 

    // Foo(ctx)

 

    // cancleFunc()

 

如果需要了解关于 context 的更多细节、各种 context 的差异以及 cancel function 的功能，我建议您阅读我关于上下文和通过传播进行取消[2]的文章。

stdmethods

stdmethods 分析器将确保你已经从标准库的接口来实现的方法是与标准库兼容：

type Foo struct {}

 

func (f Foo) MarshalJSON() (string, error) {

 

   return `{a: 0}`, nil

 

}

 

// 需改为：

 

// func (f Foo) MarshalJSON() ([]byte, error) {

 

//    return []byte(`{a: 0}`), nil

 

// }

 

func main() {

 

   f := Foo{}

 

   j, _ := json.Marshal(f)

 

   println(string(j))

 

}

 

// {}

 

// from vet: main.go:7:14: method MarshalJSON() (string, error) should have signature MarshalJSON() ([]byte, error)

 

structtag

标签是结构中的字符串，应该遵循反射包中的约定[3]。随意使用将使标签无效，并可能很难调试没有审查命令:一个多余的空格都会使 tag 失效，如果没有 vet 命令其将难以调试

type Foo struct {

 

   A int `json: "foo"`// 去除 `json: "foo" 中间多余空格即可

 

}

 

func main() {

 

   f := Foo{}

 

   j, _ := json.Marshal(f)

 

   println(string(j))

 

}

 

// {"A":0}

 

// from vet: main.go:6:2: struct field tag `json: "foo"` not compatible with reflect.StructTag.Get: bad syntax for struct tag value

 

vet 命令还有更多可用的分析器[4],但这还不是这个命令的强大所在。它还允许我们自定义分析器。

自定义分析器

虽然内置分析器很有用，很强大，但是 Go 允许我们创建我们自己的分析器。

我将使用我构建的自定义分析器来检测上下文包在函数参数中的使用情况，您可以在“构建自己的分析器[5]”一文中找到相关信息。

你的分析器一旦构建完成，就可通过 vet 命令直接使用。

go install github.com/blanchonvincent/ctxarg

 

go vet -vettool=$(which ctxarg)

 

您甚至可以构建自己的分析工具。

自定义分析命令

由于分析器与命令完全解耦，您可以使用您需要的分析程序创建您自己的命令。让我们来看一个自定义命令的例子，它只使用我们需要的一些分析器:

基于分析器列表的自定义命令

package main

 

import (

 

    "golang.org/x/tools/go/analysis/multichecker"

 

    "golang.org/x/tools/go/analysis/passes/atomic"

 

    "golang.org/x/tools/go/analysis/passes/loopclosure"

 

    "github.com/blanchonvincent/ctxarg/analysis/passes/ctxarg"

 

)

 

func main() {

 

    multichecker.Main(

 

        atomic.Analyzer,

 

        loopclosure.Analyzer,

 

        ctxarg.Analyzer,

 

    )

 

}

 

构建并运行该命令将为我们提供一个基于所选分析程序的工具:

./custom-vet help

 

custom-vet is a tool for static analysis of Go programs.

 

Registered analyzers:

 

    atomic       check for common mistakes using the sync/atomic package

 

    ctxarg       check for parameters order while receiving context as parameter

 

    loopclosure  check references to loop variables from within nested functions

 

您还可以创建您的自定义分析程序集，并将它们与您喜欢的内置分析程序合并，得到一个适合您自己的工作流和公司编码标准的自定义命令。

Go语言是谷歌推出的一种全新的编程语言，可以在不损失应用程序性能的情况下降低代码的复杂性。谷歌首席软件工程师罗布派克(Rob Pike)说:我们之所以开发Go，是因为过去10多年间软件开发的难度令人沮丧。