golang的空标识符理解

我们有时候看到这样的golang代码：

import _ "net/http/pprof"

或

for _, c := range "11234" {
    log.Println(c)
}

或

var _ io.Reader = (* XXX)(nil)   //全局变量

或

var _ = Suite(&HelloWorldTest{})

代码中_很独特的样子：说是变量吧，但它在同一作用域可以多次被定义；说是类型吧，写法上又不像。
那它到底是何方神圣呢？
其实官方文档有定义和介绍，它叫Black Identifier，中文翻译为空标识符。空标识符不是普通变量，而是语言提供的一种特殊处理，它能避免某个变量起名，同时也可以在赋值时舍弃某个值。
空标识符一般用于4种场合，正对应上面例子的4段代码。
1. 引入某包只执行包中的init函数，但本包没有直接引用该包任何变量或函数，使用import _避免编译错误；
2. 函数有多返回值，忽略其中某些返回值。类似c++11 std::ignore在std::tie中的运用；
3. 编译期检查，比如某类型有没有实现某接口的检查；
4. 想在main之前执行某段代码，当然用init也可以。