接口值
接口值,由两个部分组成,一个具体的类型和那个类型的值
下面4个语句中,变量w得到了3个不同的值。( 开始和最后的值是相同的)
var w io.Writer
w = os.Stdout
w = new(bytes.Buffer)
w = nil
var w io.Writer
var w io.Writer
w = new(bytes.Buffer)
w = nil
实战思考
package tempconvimport ("bytes""io"
)const debug = truefunc main() {var buf *bytes.Bufferif debug {buf = new(bytes.Buffer) // enable collection of output}f(buf) // NOTE: subtly incorrect!if debug {// ...use buf...}
}
// If out is non-nil, output will be written to it.
func f(out io.Writer) {// ...do something...if out != nil {out.Write([]byte("done!\n")) // panic: nil pointer dereference}
}
当变量debug设置为false,out.Write方法调用时程序会发生了panic
原因是 :
当main函数调用函数f时,它给f函数的out参数赋了一个*bytes.Buffer的空指针,所以out的动
态值是nil。然而,它的动态类型是*bytes.Buffer,意思就是out变量是一个包含空指针值的非
空接口( 如图7.5) ,所以防御性检查out!=nil的结果依然是true。而 nil 上调用任何方法都会 发生 panic
解决方案是:
问题在于尽管一个nil的*bytes.Buffer指针有实现这个接口的方法,它也不满足这个接口具体的
行为上的要求。特别是这个调用违反了(*bytes.Buffer).Write方法的接收者非空的隐含先觉条
件,所以将nil指针赋给这个接口是错误的。解决方案就是将main函数中的变量buf的类型改为
io.Writer,因此可以避免一开始就将一个不完全的值赋值给这个接口:
var buf io.Writer
if debug {
buf = new(bytes.Buffer) // enable collection of output
} f
(buf) // OK