这可能是最全的golang的"=="比较规则了吧

舒小贱 · · 1851 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

背景交代

大家经常用"=="来比较两个变量是否相等。但是golang中的"=="有很多细节的地方,跟php是不一样的。很多时候不能直接用"=="来比较,编译器会直接报错。

golang中基本类型的比较规则和复合类型的不一致,先介绍下golang的变量类型:

  • 1,基本类型
    • 整型,包括int,uint,int8,uint8,int16,uint16,int32,uint32,int64,uint64,byte,rune,uintptr等
    • 浮点型,包括float32,float64
    • 复数类型,包括complex64,complex128
    • 字符串类型,string
    • 布尔型,bool
  • 2,复合类型
    • 数组
    • struct结构体
  • 3,引用类型
    • slice
    • map
    • channel
    • pointer or 引用类型
  • 4,接口类型
    io.Reader, io.Writer,error等

一,基本类型的变量比较

golang中的基本类型

比较的两个变量类型必须相等。而且,golang没有隐式类型转换,比较的两个变量必须类型完全一样,类型别名也不行。如果要比较,先做类型转换再比较。

  • 类型完全不一样的,不能比较
  • 类型再定义关系,不能比较,可以强转比较
  • 类型别名关系,可以比较
    fmt.Println("2" == 2) //invalid operation: "2" == 2 (mismatched types string and int)

    type A int
    var a int = 1
    var b A = 1
    fmt.Println(a == b) //invalid operation: a == b (mismatched types int and A)
    fmt.Println(a == int(b)) //true

    type C = int
    var c C = 1
    fmt.Println(a == c) //true

二,复合类型的变量比较

复合类型是逐个字段,逐个元素比较的。需要注意的是,array 或者struct中每个元素必须要是可比较的,如果某个array的元素 or struct的成员不能比较(比如是后面介绍的slice,map等),则此复合类型也不能比较。

1,数组类型变量比较

  • 数组的长度是类型的一部分,如果数组长度不同,无法比较
  • 逐个元素比较类型和值。每个对应元素的比较遵循基本类型变量的比较规则。跟struct一样,如果item是不可比较的类型,则array也不能做比较。

2,struct类型变量比较

逐个成员比较类型和值。每个对应成员的比较遵循基本类型变量的比较规则。

    type Student struct {
        Name string
        Age  int
    }

    a := Student{"minping", 30}
    b := Student{"minping", 30}
    fmt.Println(a == b)   //true
    fmt.Println(&a == &b) //false

但是如果struct中有不可比较的成员类型时:

type Student struct {
        Name string
        Age  int
        Info []string
    }

    a := Student{
        Name: "minping",
        Age:  30,
    }
    b := Student{
        Name: "minping",
        Age:  30,
    }
    fmt.Println(a == b)   //invalid operation: a == b (struct containing []string cannot be compared)

可以看到,struct中有slice这种不可比较的成员时,整个struct都不能做比较,即使没有对slice那个成员赋值(slice默认值为nil)

三,引用类型的变量比较

slice和map的比较规则比较奇怪,我们先说普通的变量引用类型&val和channel的比较规则。

1,普通的变量引用类型&val和channel的比较规则

引用类型变量存储的是某个变量的内存地址。所以引用类型变量的比较,判断的是这两个引用类型存储的是不是同一个变量。

  • 如果是同一个变量,则内存地址肯定也一样,则引用类型变量相等,用"=="判断为true
  • 如果不是同一个变量,则内存地址肯定不一样,"=="结果为false

上面看起来比较废话,但是得理解引用类型的含义。不然对判断规则还是不清楚。

type Student struct {
        Name string
        Age  int
    }

    a := &Student{"minping", 30}

    b := &Student{"minping", 30}
    fmt.Println(a == b) //false

    c := a
    fmt.Println(a == c) //true
        
        //作为引用类型,channel和普通的&val判断规则一致
        ch1 := make(chan int, 1)
        ch2 := make(chan int, 1)
        ch3 := ch1

        fmt.Println(ch1 == ch2) //false
        fmt.Println(ch1 == ch3) //true

2,slice这种引用类型的比较

slice类型不可比较,只能与零值nil做比较。

    a := []string{}
    b := []string{}
    fmt.Println(a == b)  //invalid operation: a == b (slice can only be compared to nil)

关于slice类型不可比较的原因,后面会专门写文章做讨论。

3, map类型的比较

map类型和slice一样,不能比较,只能与nil做比较。

四,interface{}类型变量的比较

接口类型的变量,包含该接口变量存储的值和值的类型两部分组成,分别称为接口的动态类型和动态值。只有动态类型和动态值都相同时,两个接口变量才相同:

type Person interface {
    getName() string
}

type Student struct {
    Name string
}

type Teacher struct {
    Name string
}

func (s Student) getName() string {
    return s.Name
}

func (t Teacher) getName() string {
    return t.Name
}

func compare(s, t Person) bool {
    return s == t
}

func main() {

    s1 := Student{"minping"}
    s2 := Student{"minping"}
    t := Teacher{"minping"}

    fmt.Println(compare(s1, s2)) //true
    fmt.Println(compare(s1, t))  //false,类型不同
}

而且接口的动态类型必须要是可比较的,如果不能比较(比如slice,map),则运行时会报panic。因为编译器在编译时无法获取接口的动态类型,所以编译能通过,但是运行时直接panic:

type Person interface {
    getName() string
}

type Student map[string]string

type Teacher map[string]string

func (s Student) getName() string {
    return s["name"]
}

func (t Teacher) getName() string {
    return t["name"]
}

func compare(s, t Person) bool {
    return s == t
}

func main() {

    s1 := Student{}
    s1["name"] = "minping"
    s2 := Student{}
    s2["name"] = "minping"

    fmt.Println(compare(s1, s2)) //runtime error: comparing uncomparable type main.Student

}

五,函数类型的比较

golang的func作为一等公民,也是一种类型,而且不可比较

f := func(int) int { return 1 }
g := func(int) int { return 2 }
f == g

六,slice和map的特殊比较

上面说过,map和slice是不可比较类型,但是有没有特殊的方法来对slice和map做比较呢,有

1,[]byte类型的变量,使用工具包byte提供的函数就可以做比较

s1 := []byte{'f', 'o', 'o'}
s2 := []byte{'f', 'o', 'o'}
fmt.Println(bytes.Equal(s1, s2)) // true
s2 = []byte{'b', 'a', 'r'}
fmt.Println(bytes.Equal(s1, s2)) // false
s2 = []byte{'f', 'O', 'O'}
fmt.Println(bytes.EqualFold(s1, s2)) // true
s1 = []byte("źdźbło")
s2 = []byte("źdŹbŁO")
fmt.Println(bytes.EqualFold(s1, s2)) // true
s1 = []byte{}
s2 = nil
fmt.Println(bytes.Equal(s1, s2)) // true

2,使用反射

reflect.DeepEqual函数可以用来比较两个任意类型的变量

func DeepEqual(x, y interface{})

对map类型做比较:

m1 := map[string]int{"foo": 1, "bar": 2}
m2 := map[string]int{"foo": 1, "bar": 2}
// fmt.Println(m1 == m2) // map can only be compared to nil
fmt.Println(reflect.DeepEqual(m1, m2)) // true
m2 = map[string]int{"foo": 1, "bar": 3}
fmt.Println(reflect.DeepEqual(m1, m2)) // false
m3 := map[string]interface{}{"foo": [2]int{1,2}}
m4 := map[string]interface{}{"foo": [2]int{1,2}}
fmt.Println(reflect.DeepEqual(m3, m4)) // true
var m5 map[float64]string
fmt.Println(reflect.DeepEqual(m5, nil)) // false
fmt.Println(m5 == nil) // true

对slice类型做比较:

s := []string{"foo"}
fmt.Println(reflect.DeepEqual(s, []string{"foo"})) // true
fmt.Println(reflect.DeepEqual(s, []string{"bar"})) // false
s = nil
fmt.Println(reflect.DeepEqual(s, []string{})) // false
s = []string{}
fmt.Println(reflect.DeepEqual(s, []string{})) // true

对struct类型做比较:

type T struct {
    name string
    Age  int
}
func main() {
    t := T{"foo", 10}
    fmt.Println(reflect.DeepEqual(t, T{"bar", 20})) // false
    fmt.Println(reflect.DeepEqual(t, T{"bar", 10})) // false
    fmt.Println(reflect.DeepEqual(t, T{"foo", 10})) // true
}

可以发现,只要变量的类型和值相同的话,reflect.DeepEqual比较的结果就为true

2,使用google的cmp包

直接看用例:

import (
    "fmt"
    "github.com/google/go-cmp/cmp"
)
type T struct {
    Name string
    Age  int
    City string
}
func main() {
    x := T{"Michał", 99, "London"}
    y := T{"Adam", 88, "London"}
    if diff := cmp.Diff(x, y); diff != "" {
        fmt.Println(diff)
    }
}

结果为:

 main.T{
-       Name: "Michał",
+       Name: "Adam",
-       Age:  99,
+       Age:  88,
        City: "London",
  }

五,总结

  • 1,复合类型,只有每个元素(成员)可比较,而且类型和值都相等时,两个复合元素才相等
  • 2,slice,map不可比较,但是可以用reflect或者cmp包来比较
  • 3,func作为golnag的一等公民,也是一个类型,也不能比较。
  • 4,引用类型的比较是看指向的是不是同一个变量
  • 5,类型再定义(type A string)不可比较,是两种不同的类型
  • 6,类型别名(type A = string)可比较,是同一种类型。

六,拓展知识

1, golang的类型再定义和类型别名
2,golang的slice和map为什么不可以比较

七,参考

1,https://medium.com/golangspec/equality-in-golang-ff44da79b7f1

2,https://studygolang.com/articles/19144
3,https://juejin.im/post/5d5ff27d518825637965f3f3


有疑问加站长微信联系(非本文作者)

本文来自:简书

感谢作者:舒小贱

查看原文:这可能是最全的golang的"=="比较规则了吧

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

1851 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传