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)