go学习笔记-从圣经中抄录的接口值的思考

接口值

   接口值，由两个部分组成，一个具体的类型和那个类型的值

下面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 tempconv

import (
	"bytes"
	"io"
)

const debug = true

func main() {
	var buf *bytes.Buffer
	if 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