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

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

本文主要参考了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,包含了已存储的值的类型信息(动态类型)以及与这个值相关联的一组方法。第二个字是一个指向所存储值(动态值)的指针。

image

如果两个接口值的动态值和动态类型都相等,或者两个接口值都为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)

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

本文来自:简书

感谢作者:跑马溜溜的球

查看原文:go中类型的相等(==)及可比较规则

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

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