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

这篇文章专注于 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 或 动态类型和动态值是相同的：

type i interface {
  m()
}
type j interface {
  m()
}
type t struct {
  name string
}
func (t) m() {}
type u struct {
  name string
}
func (u) m() {}
func main() {
  var i1, i2, i3, i4 i
  var j1 j
  i1 = t{"foo"}
  i2 = t{"foo"}
  i3 = t{"bar"}
  i4 = u{"foo"}
  fmt.println(i1 == i2) // true
  fmt.println(i1 == i3) // false
  fmt.println(i1 == i4) // false
  fmt.println(i1 == j1) // false
}

比较接口类型的方法集不能相交。

接口类型 i 的 i 和 非接口类型 t 的 t 可比较，如果 t 实现了 i 则 t 类型的值是可比较的。如果 i 的 动态类型和 t 是相同的，并且 i 的动态值和 t 也是相同的，那么值是相等的：

type i interface {
  m()
}
type t struct{}
func (t) m() {}
type s struct{}
func (s) m() {}
func main() {
  t := t{}
  s := s{}
  var i i
  i = t{}
  fmt.println(t == i) // true
  fmt.println(s == i) // false
}
结构类型可比较，所以字段都需要比较。所有非空白字段相等则他们等。
a := struct {
  name string
  _ int32
}{name: "foo"}
b := struct {
  name string
  _ int32
}{name: "foo"}
fmt.println(a == b) // true

go 中 数组是同质的 —— 只有同一类型（数组元素类型）的值可以被存储其中。对于数组值比较，它们的元素类型需要可比较。如果对应的元素相同，数组就相等。

就是这样。上面列表很长但并不充满惊奇。尝试了解它在 javascript 是如何工作的……

有三种类型不能比较 —— maps, slices 和 functions。go 编译器不允许这样做，并且编译比较 maps 的程序会引起一个错误 map can only be compared to nil. 。展示的错误告诉我们至少可以用 maps，slices 或 functions 和 nil 比较。

目前为止，我们知道接口值是可比较的，但 maps 是不可以的。如果接口值的动态类型是相同的，但是不能比较（如 maps），它会引起一个运行时错误：

type t struct {
  meta map[string]string
}
func (t) m() {}
func main() {
  var i1 i = t{}
  var i2 i = t{}
  fmt.println(i1 == i2)
}
panic: runtime error: comparing uncomparable type main.t
goroutine 1 [running]:
panic(0x8f060, 0x4201a2030)
  /usr/local/go/src/runtime/panic.go:500 +0x1a1
main.main()
  ...

顺序操作符

这些操作符只能应用在三种类型：整数，浮点数和字符串类型。这没有什么特别的或 go 特有的。值得注意的是字符串是按字典顺序排列的。byte-wise 一次一个字节并没有 collation 算法。

fmt.println("aaa" < "b") // true
fmt.println("ł" > "z")  // true

结果

任何比较操作符的结果都是无类型布尔常量（true 或 false）。因为它没有类型，所以可以分配了给任何布尔变量：

var t t = true
t = 3.3 < 5
fmt.println(t)

这段代码输出 true。另一个，尝试分配 bool 类型的值：

var t t = true
var b bool = true
t = b
fmt.println(t)

产生一个错误，不能使用 b （bool类型）分配给 t 类型。

总结

以上所述是小编给大家介绍的go 语言中的比较操作符，希望对大家有所帮助