接口检查

Effective Go

接口检查

https://golang.org/doc/effective_go.html#blank_implements

正如我们在上面关于接口的讨论中所看到的，类型不需要明确声明它实现了接口。相反，类型只要实现了接口的方法就实现了接口。在实践中，大多数接口转换都是静态的，因此在编译时进行检查。例如，将一个 *os.File 传给一个期望有 io.Reader 的函数，除非 *os.File 实现了 io.Reader 接口，否则不会被编译。

但有些接口检查确实是在运行时进行的。其中一个例子是在 encoding/json 包中，它定义了一个 Marshaler 接口。当JSON编码器接收到一个实现该接口的值时，编码器会调用该值的 marshaling 方法将其转换为JSON，而不是进行标准转换。编码器在运行时用一个类型断言（type assertion）检查这个属性，比如。

m, ok := val.(json.Marshaler)

如果只需要询问一个类型是否实现了一个接口，而不实际使用接口本身，或许作为错误检查的一部分，使用空白标识符来忽略类型假定的值。

if _, ok := val.(json.Marshaler); ok {
    fmt.Printf("value %v of type %T implements json.Marshaler\n", val, val)
}

出现这种情况的一个地方是，当需要在实现类型的包内保证它确实满足接口的时候。如果一个类型–例如，json.RawMessag–需要自定义的JSON表示，它应该实现 json.Marshaler，但没有静态转换会导致编译器自动验证这一点。如果该类型无意中没有满足接口，JSON编码器仍然会工作，但不会使用自定义的实现。为了保证实现的正确性，可以在包中使用空白标识符的全局声明。

var _ json.Marshaler = (*RawMessage)(nil)

在这个声明中，涉及到将*RawMessage转换为Marshaler的赋值，需要*RawMessage实现Marshaler，并且在编译时将检查该属性。如果json.Marshaler接口发生变化，这个包将不再编译，我们会被通知需要更新。

在这个构造中出现空白标识符，说明声明的存在只是为了类型检查，而不是为了创建一个变量。不过不要对每个满足接口的类型都这样做。按照惯例，这种声明只有在代码中已经没有静态转换时才会使用，这是很罕见的事件。