1.出乎意料的比较结果
首先看一段代码:
func main() {
s := "redigo: nil returned"
err1 := errors.New(s)
err2 := errors.New(s)
if err1 == err2 {
fmt.Println("err is equal")
} else {
fmt.Println("err is not equal")
}
}
复制
对两个相同字符串生成的 error 进行比较,结果如何呢?很多人可能和我一样,认为两个 error 变量是相等的,但实际上却不相等。输出结果:
err is not equal
复制
为什么呢?这就需要我们知道接口变量相等比较到底比较了那些东西。
一个变量的两大基本属性就是"类型+值",接口变量也不例外。所以我们在比较接口变量是否相等时,如果"类型+值"二者都相等,那么才相等。
2.类型不等值相等
首先看一个接口变量所表示的值相等但类型不等的例子。
func main() {
var ifc1 interface{} = int(1)
var ifc2 interface{} = int64(1)
if ifc1 == ifc2 {
fmt.Println("err is equal")
} else {
fmt.Println("err is not equal")
}
fmt.Printf("%T %T %v %v\n", ifc1, ifc2, ifc1, ifc2)
}
复制
定义了两个空接口类型变量 ifc1 和 ifc2,二者代表的真实值均是 1,但是类型却不相等,所以二等并不相等。
运行输出:
err is not equal
int int64 1 1
复制
3.类型相等值不等
再看一个接口变量所表示的类型相等但值不等的例子。
func main() {
var ifc1 interface{} = int(1)
var ifc2 interface{} = int(2)
if ifc1 == ifc2 {
fmt.Println("err is equal")
} else {
fmt.Println("err is not equal")
}
fmt.Printf("%T %T %v %v\n", ifc1, ifc2, ifc1, ifc2)
}
复制
因为两个空接口类型变量 ifc1 和 ifc2 代表的值不等,尽管二者所代表的类型均是 int,但是二者仍是不等的。
err is not equal
int int 1 2
复制
4.回首掏
再回到最开始两个 error 变量相比较,既然不相等,那么说明其代表的值或类型至少有一个不相等。
眼睛看到的,并不一定是真相,尽管我们传的字符串是同一个。最终赋给 error 接口变量的值是 errors.New() 函数返回的东西,我们在 Golang 标准库
errors/errors.go
中可以找到 errors.New() 的定义。
// New returns an error that formats as the given text.
// Each call to New returns a distinct error value even if the text is identical.
func New(text string) error {
return &errorString{text}
}
// errorString is a trivial implementation of error.
type errorString struct {
s string
}
func (e *errorString) Error() string {
return e.s
}
复制
可以看到 errors.New() 每次返回的是结构体 errorString 变量的地址,每一次返回的都是新值,所以接口变量 err1 和 err2 存储的值并不相等,所以二者并不相等。
5.小结
当我们判断两个接口变量知否相等时,要注意接口变量所表示的具体类型和值均相等时才会相等,不要被表象迷惑,写出错误的代码。