关于一个类型持有一个方法当中的细节,其中有一条:
对于一个命名过的具体类型T,它一些方法的接收者是类型T本身而另一些则是T的指针。在T类型的参数上调用一个*T的方法是合法的,只要这个参数时一个变量
这仅仅是一个语法糖,编译器隐式地获取了它的地址。但事实上T类型的值并不拥有*T指针的方法,例如:
type IntSet struct { /* ... */ } func (*IntSet) String() string var _ = IntSet{}.String() // compile error: String requires *IntSet receiver /* 但是我们可以再一个IntSet值上调用这个方法: */ var s IntSet var _ = s.String() // OK: s is a variable and &s has a String method /* 然而,由于只有*IntSet类型有String方法,所以也只有*IntSet类型实现了fmt.Stringer接口 */ var _ fmt.Stringer = &s var _ fmt.Stringer = s // compile error: IntSet lacks String method
就像信封封装和隐藏信件一样,接口类型封装和隐藏具体类型和它的值。即使具体类型有其他的方法也只有接口类型暴露出来的方法会被调用到:
os.Stdout.Write([]byte("hello")) // OK: *os.File has Write method os.Stdout.Close() // OK: *os.File has Close method var w io.Writer w = os.Stdout w.Write([]byte("hello")) // OK: io.Writer has Write method w.Close() // compile error: io.Writer lacks Close method
相对于少一些方法的接口,更多方法的接口类型会告诉我们更多关于它持有的信息,并且对实现它的类的要求更加严格。至于被称为空接口类型的 interface{},空接口类型对实现它的类型没有要求,所以可以将任意一个值赋给空接口类型。
接口值
概念上讲一个接口的值,接口值,由两部分组成:一个具体类型和那个类型的值。它们被称为接口的动态类型和动态值。
对于像Go语言这种静态类型的语言,类型是编译器的概念:因此一个类型不是一个值。
在我们的概念模型中,一些提供每个类型信息的值被称为类型描述符,比如类型的名称和方法。 在一个接口值中,类型部分代表与之相关类型的描述符。
// 下面4个语句中,变量w得到了3个不同的值。(开始和最后的值是相同的。 // 在Go语言中,变量总是被一个定义明确的值初始化,即使接口类型也不例外。 // 对于一个接口的零值就是它的类型和值的部分都是nil。 // 一个接口值基于它的动态类型被描述为空或非空,所以这是一个空的接口值。 // 可以通过 w == nil 或者 w != nil 来判断接口值是否为空。 // 调用一个空接口值上的任意方法都会产生 panic。 var w io.Writer // 定义了变量w w.Write([]byte("hello")) // panic: nil pointer dereference // 这个赋值过程调用了一个具体类型到接口类型的隐式转换,这和显式使用io.Writer(os.Stdout)是等价的。 // 这类转换不管是显式的还是隐式的,都会刻画出操作到的类型和值。 // 这个接口值的动态类型被设为 *os.Stdout 指针的类型描述符,它的动态值持有 os.Stdout 的拷贝。 w = os.Stdout // 将一个*os.File类型的值赋给变量w // 调用一个包含*os.File类型指针的接口值的Write方法,使得*(os.File).Write 方法被调用。 w.Write([]byte("hello")) // "hello" w = new(bytes.Buffer) //给接口值赋了一个 *bytes.Buffer 类型的值 // 现在动态类型是 *bytes.Buffer 并且动态值是一个指向新分配的缓冲区的指针 // 这次的类型描述符是 *bytes.Buffer,所以调用了(*bytes.Buffer).Write方法,并且接收者是该缓冲区的地址。 // 这个调用把字符串"hello"添加到缓冲区中。 w.Write([]byte("hello")) // writes "hello" to the bytes.Buffers w = nil //将 nil 赋给了接口值 // 这个重置将它所有的部分都设为nil值,把变量w恢复到和它之前定义是相同的状态。
接口值的比较
接口值可以使用 == 和 != 来进行比较。两个接口值相等仅当他们都是 nil 值或者它们的动态类型相同并且动态值也根据这个动态类型的 == 操作相等。
因为接口值是可比较的,所以它们可以用在 map 的键或者作为 switch 语句的操作数。
然而,如果两个接口值的动态类型相同,但这个动态类型是不可比较的(比如切片),将它们进行比较就会失败并且panic:
var x interface{} = []int{1,2,3} fmt.Println(x == x) // panic: comparing uncomparable type []int
考虑到这点,接口类型是非常与众不同的。其他类型要么是安全的可比较类型(如基本类型和指针),要么是完全不可比较的类型(如切片,映射类型,和函数),但是在比较接口值或者包含了接口值的聚合类型时,就必须要意识到潜在的panic。同样地风险也存在于使用接口作为map的键或者switch的操作数。只能比较你非常确定它们的动态值是可比较类型的接口值。
当我们处理错误或者调试的过程中,得知接口值的动态类型是非常有帮助的。所以我们使用fmt包的%T动作:
var w io.Writer fmt.Printf("%T\n",w) // "<nil>" w = os.Stdout fmt.Printf("%T\n",w) // "*os.File" w = new(bytes.Buffer) fmt.Printf("%T\n",w) // "*bytes.Buffer"原文链接:https://www.f2er.com/go/187265.html