详解Go 语言中的比较操作符

2020-01-28 13:14:49于丽

这篇文章专注于 6 个操作符,==,!=,<,<=,> 和 >=。我们将深入探讨它们的语法和用法的细微差别。对很多人来说,这听起来不像是吸引人的事,或者他们可能已经从其他编程语言获得了糟糕的经验。然而,在 Go 中它们定义的很好并简洁。下面讨论的主题,如可比性将出现在其他场合,如 maps。为了使用上述操作符,至少有一个操作数需要可赋值给第二个操作数:


package main
import "fmt"
type T struct {
  name string
}
func main() {
  s := struct{ name string }{"foo"}
  t := T{"foo"}
  fmt.Println(s == t) // true
}

这条规则显著缩小了可选范围:


var a int = 1
var b rune = '1'
fmt.Println(a == b)

类似的代码在 Javascript 或 Python 中可以运行。但在 Go 中它是非法的,并且在编译时会被检测到。


src/github.com/mlowicki/lab/lab.go:8: invalid operation: a == b (mismatched types int and rune)

可赋值不是唯一要求。这是相等和顺序操作符的规则……

相等操作符

操作数需要使用 == 或 != 操作符进行比较。哪些方法,哪些值可以被比较?Go 规范定义的非常明确:

boolean 值可比较(如果俩个值都是真或假,那么比较结果被认为 true)
整数和浮点数比较:


var a int = 1
var b int = 2
var c float32 = 3.3
var d float32 = 4.4
fmt.Println(a == b) // false
fmt.Println(c == d) // false

当编译时 a == d 会抛出异常( int 和 float32 类型不匹配)因为它不可能用 int 和 float 比较。

复数相等,如果他们的是实数和虚数部分都相等:


var a complex64 = 1 + 1i
var b complex64 = 1 + 2i
var c complex64 = 1 + 2i
fmt.Println(a == b) // false
fmt.Println(b == c) // true

字符串类型值可比较

指针类型值相等,如果他们都是 nil 或都指向相同的变量:


type T struct {
  name string
}
func main() {
  t1 := T{"foo"}
  t2 := T{"bar"}
  p1 := &t1
  p2 := &t1
  p3 := &t2
  fmt.Println(p1 == p2)  // true
  fmt.Println(p2 == p3)  // false
  fmt.Println(p3 == nil) // false
}

不同的 zero-size 变量可能具有相同的内存地址,因此我们不假设任何指向这些变量的指针相等。


a1 := [0]int{}
a2 := [0]int{}
p1 := &a1
p2 := &a2
fmt.Println(p1 == p2) // might be true or false. Don't rely on it!

通道类型值相等,如果他们确实一样(被相同的内置 make 方法创建)或值都是 nil:


ch1 := make(chan int)
ch2 := make(chan int)
fmt.Println(ch1 == ch2) // false

接口类型是可比较。与通道和指针类型值比较一样,如果是 nil 或 动态类型和动态值是相同的: