go中类型的相等(==)及可比较规则

本文主要参考了The Go Programming Language Specification中的Comparison_operators。加入了自己的少量了解和示例。

假如两个变量是可比较的（使用==或者!=），那它们必可以相互赋值。这意味着可比较的两个变量必需是同一类型，或者者他们的底层类型相同。

1. 布尔

可比较

2. 整型

可比较

3. 浮点数

可比较

4. 复数

可比较。

5. 字串

可比较

6. 指针值

可比较。

两个指针指向同一个变量，则这两个指针相等，或者者两个指针同为nil，它们也相等。指针值可以与nil比较。

    var num1, num2 int    num1 = 8    num2 = 8    pt1 := &num1    pt2 := &num1    pt3 := &num2        //定义一个空指针    var pt4 *int    //只有指向同一个变量，两个指针才相等    //输出：true false    fmt.Printf("%v %v\n", pt1 == pt2, pt1 == pt3)        //指针可以与nil直接比较    //输出：true false    fmt.Printf("%v %v\n", pt4 == nil, pt1 == nil)//true false

7. 通道值

可比较。

假如两个通道是由同一个make创立的，或者者两个通道值都为nil，那么它们是相等的。

    ch1 := make(chan int)    ch2 := make(chan int)    var ch3 chan int    ch3 = ch1    var ch4 chan int    var ch5 chan int    var ch6 chan string        //同一个make创立的通道才相等    //输出：false true    fmt.Printf("%v %v\n", ch1 == ch2, ch3 == ch1)        //通道值可与nil比较    //输出：true true    fmt.Printf("%v %v\n", ch4 == ch5, ch5 == ch1)        //两个不同类型的通道，即便都是空值，也不能比较    //invalid operation: ch5 == ch6 (mismatched types chan int and chan string)    fmt.Printf("%v\n", ch5 == ch6)

8. 接口值

可比较。

接口值是一个两个字长度的数据结构，如下图所示。第一个字包含一个指向内部表的指针。这个内部表叫作iTable，包含了已存储的值的类型信息（动态类型）以及与这个值相关联的一组方法。第二个字是一个指向所存储值（动态值）的指针。

假如两个接口值的动态值和动态类型都相等，或者者两个接口值都为nil，那么它们是相等的。接口值可以与nil进行比较。

type Speaker interface {    Speak()}type Person struct {    name string}func (p Person) Speak() {    fmt.Println(p.name)}type Student struct {    name string}func (s Student) Speak() {    fmt.Println(s.name)}func main() {    p1 := Person{"ball"}    p2 := Person{"ball"}    p3 := Person{"luna"}    s1 := Student{"ball"}    fmt.Printf("%v %v %v %v\n",        Speaker(p1) == p2,        Speaker(p1) == Speaker(p3),        Speaker(p1) == Speaker(s1),        Speaker(s1) == nil,    )}

9. 接口与非接口

假如非接口的类型X的值x与接口类型T的值t满足：

1. X本身是可比类型
2. X实现了T
   则两者的值可以进行比较。假如t的动态类型是X，t动态值与x相同，则t和x相等。

type Speaker interface {    Speak()}type Person struct {    name string}func (p Person) Speak() {    fmt.Println(p.name)}type Student struct {    name string}func (s Student) Speak() {    fmt.Println(s.name)}func main() {    p1 := Person{"ball"}    p2 := Person{"ball"}    p3 := Person{"luna"}    s1 := Student{"ball"}    //输出：true false false    fmt.Printf("%v %v %v\n",        Speaker(p1) == p2,        Speaker(p1) == p3,        Speaker(p1) == s1,    )}

10 .map

不可比。只能与nil比较

11. slice

不可比。只能与nil比较

12. func

不可比。只能与nil比较

13. struct

假如struct中所有的字段都是可比较的，那么两个struct是可比较的。假如struct对应的非空白字段相等，则它们相等。struct不能与nil比较。

    type person struct {        name string        age  int    }    p1 := person{        name: "luna",    }    p2 := person{"ele", 0}    p3 := person{"luna", 0}        //输出：false true    fmt.Printf("%v %v\n", p1 == p2, p1 == p3)    var p4 person    var p5 person        //输出：true    fmt.Printf("%v\n", p4 == p5)

14. 数组

假如数组中的元素类型是可比的，则数组也是可比较的。假如数组中对应的元素都相等，那么两个数组是相等的。数组不能与nil比较

    a1 := [3]int{1, 2, 3}    a2 := [3]int{1, 2, 3}    a3 := [3]int{2, 1, 3}        //元素顺序必需一样    //输出：true false    fmt.Printf("%v %v\n", a1 == a2, a2 == a3)        //invalid operation: a3 == nil (mismatched types [3]int and nil)    fmt.Printf("%v\n", a3 == nil)