第48章:类型转换、赋值和值比较规则大全



类型转换、赋值和值比较规则大全

此篇文章将列出Go中所有的类型转换、赋值和值比较规则。 请注意:在阐述这些规则的时候,自定义泛型中频繁使用的类型参数类型被特意忽略掉了。 也就是说,本文不考虑涉及到自定义泛型的情形。

类型转换规则大全

在Go中,如果一个值v可以被显式地转换为类型T,则此转换可以使用语法形式(T)(v)来表示。 在大多数情况下,特别是T为一个类型名(即一个标识符)时,此形式可简化为T(v)

当我们说一个值x可以被隐式转换为一个类型T,这同时也意味着x可以被显式转换为类型T

1. 显然的类型转换规则

如果两个类型表示着同一个类型,则它们的值可以相互隐式转换为这两个类型中的任意一个。

比如,

  • 类型byteuint8的任何值可以转换为这两个类型中的任意一个。
  • 类型runeint32的任何值可以转换为这两个类型中的任意一个。
  • 类型[]byte[]uint8的任何值可以转换为这两个类型中的任意一个。

此条规则没什么可解释的,无论你是否认为此种情况中发生了转换。

2. 底层类型相关的类型转换规则

给定一个非接口值x和一个非接口类型T,并假设x的类型为Tx

  • 如果类型TxT底层类型(第14章)相同(忽略掉结构体字段标签),则x可以被显式转换为类型T
  • 如果类型TxT中至少有一个是无名类型(第14章)并且它们的底层类型相同(考虑结构体字段标签),则x可以被隐式转换为类型T
  • 如果类型TxT的底层类型不同,但是两者都是无名的指针类型并且它们的基类型的底层类型相同(忽略掉结构体字段标签),则x可以(而且只能)被显式转换为类型T

(注意:两处“忽略掉结构体字段标签”从Go 1.8开始生效。)

一个例子:

  1. package main
  2. func main() {
  3. // 类型[]int、IntSlice和MySlice共享底层类型:[]int。
  4. type IntSlice []int
  5. type MySlice []int
  6. type Foo = struct{n int `foo`}
  7. type Bar = struct{n int `bar`}
  8. var s = []int{}
  9. var is = IntSlice{}
  10. var ms = MySlice{}
  11. var x map[Bar]Foo
  12. var y map[Foo]Bar
  13. // 这两行隐式转换编译不通过。
  14. /*
  15. is = ms
  16. ms = is
  17. */
  18. // 必须使用显式转换。
  19. is = IntSlice(ms)
  20. ms = MySlice(is)
  21. x = map[Bar]Foo(y)
  22. y = map[Foo]Bar(x)
  23. // 这些隐式转换是没问题的。
  24. s = is
  25. is = s
  26. s = ms
  27. ms = s
  28. }

指针相关的转换例子:

  1. package main
  2. func main() {
  3. type MyInt int
  4. type IntPtr *int
  5. type MyIntPtr *MyInt
  6. var pi = new(int) // pi的类型为*int
  7. var ip IntPtr = pi // 没问题,因为底层类型相同
  8. // 并且pi的类型为无名类型。
  9. // var _ *MyInt = pi // 不能隐式转换
  10. var _ = (*MyInt)(pi) // 显式转换是没问题的
  11. // 类型*int的值不能被直接转换为类型MyIntPtr,
  12. // 但是可以间接地转换过去。
  13. /*
  14. var _ MyIntPtr = pi // 不能隐式转换
  15. var _ = MyIntPtr(pi) // 也不能显式转换
  16. */
  17. var _ MyIntPtr = (*MyInt)(pi) // 间接隐式转换没问题
  18. var _ = MyIntPtr((*MyInt)(pi)) // 间接显式转换没问题
  19. // 类型IntPtr的值不能被直接转换为类型MyIntPtr,
  20. // 但是可以间接地转换过去。
  21. /*
  22. var _ MyIntPtr = ip // 不能隐式转换
  23. var _ = MyIntPtr(ip) // 也不能显式转换
  24. */
  25. // 间接隐式或者显式转换都是没问题的。
  26. var _ MyIntPtr = (*MyInt)((*int)(ip)) // ok
  27. var _ = MyIntPtr((*MyInt)((*int)(ip))) // ok
  28. }

3. 通道相关的类型转换规则

给定一个通道值x,假设它的类型Tx是一个双向通道类型,T也是一个通道类型(无论是双向的还是单向的)。如果TxT的元素类型相同并且它们中至少有一个为无名类型,则x可以被隐式转换为类型T

一个例子:

  1. package main
  2. func main() {
  3. type C chan string
  4. type C1 chan<- string
  5. type C2 <-chan string
  6. var ca C
  7. var cb chan string
  8. cb = ca // ok,因为底层类型相同
  9. ca = cb // ok,因为底层类型相同
  10. // 这4行都满足此第3条转换规则的条件。
  11. var _, _ chan<- string = ca, cb // ok
  12. var _, _ <-chan string = ca, cb // ok
  13. var _ C1 = cb // ok
  14. var _ C2 = cb // ok
  15. // 类型C的值不能直接转换为类型C1或C2。
  16. /*
  17. var _ = C1(ca) // compile error
  18. var _ = C2(ca) // compile error
  19. */
  20. // 但是类型C的值可以间接转换为类型C1或C2。
  21. var _ = C1((chan<- string)(ca)) // ok
  22. var _ = C2((<-chan string)(ca)) // ok
  23. var _ C1 = (chan<- string)(ca) // ok
  24. var _ C2 = (<-chan string)(ca) // ok
  25. }

4. 和接口实现相关的类型转换规则

给定一个值x和一个接口类型I,如果x的类型(或者默认类型)为Tx并且类型Tx实现了接口类型I,则x可以被隐式转换为类型I。 此转换的结果为一个类型为I的接口值。此接口值包裹了

  • x的一个副本(如果Tx是一个非接口值);
  • x的动态值的一个副本(如果Tx是一个接口值)。

请阅读接口(第23章)一文获取更多详情和示例。

5. 类型不确定值相关的类型转换规则

如果一个类型不确定值可以表示为类型T的值,则它可以被隐式转换为类型T

一个例子:

  1. package main
  2. func main() {
  3. var _ []int = nil
  4. var _ map[string]int = nil
  5. var _ chan string = nil
  6. var _ func()() = nil
  7. var _ *bool = nil
  8. var _ interface{} = nil
  9. var _ int = 123.0
  10. var _ float64 = 123
  11. var _ int32 = 1.23e2
  12. var _ int8 = 1 + 0i
  13. }

6. 常量相关的类型转换规则

(此规则和上一条规则有些重叠。)

常量的类型转换结果一般仍然是一个常量(除非目标类型不是基本类型)。

给定一个常量值x和一个基本类型T,如果x可以表示成类型T的一个值,则x可以被显式地转换为类型T;特别地,如果x是一个类型不确定值,则它可以被隐式转换为类型T

一个例子:

  1. package main
  2. func main() {
  3. // 这些隐式转换都是合法的。
  4. const I = 123
  5. const I1, I2 int8 = 0x7F, -0x80
  6. const I3, I4 int8 = I, 0.0
  7. const F = 0.123456789
  8. const F32 float32 = F
  9. const F32b float32 = I
  10. const F64 float64 = F
  11. const C1, C2 complex64 = F, I
  12. // const F64b float64 = I3 // 这个赋值编译将失败
  13. const F64b = float64(I3) // 这个编译没问题
  14. // const I5 int = C2 // 这个赋值编译将失败
  15. const I5 = int(C2) // 这个编译没问题
  16. }

7. 非常量数值转换规则

非常量浮点数和整数值可以被显式转换为任何浮点数和整数类型。

非常量复数值可以被显式转换为任何复数类型。

注意,

  • 非常量复数值不能被转换为浮点数或整数类型。
  • 非常量浮点数和整数值不能被转换为复数类型。
  • 在非常量数值的转换过程中,溢出和舍入是允许的。当一个浮点数被转换为整数时,小数部分将被舍弃(向零靠拢)。

一个例子:

  1. package main
  2. import "fmt"
  3. func main() {
  4. var a, b = 1.6, -1.6 // 类型均为float64
  5. fmt.Println(int(a), int(b)) // 1 -1
  6. var i, j int16 = 0x7FFF, -0x8000
  7. fmt.Println(int8(i), uint16(j)) // -1 32768
  8. var c1 complex64 = 1 + 2i
  9. var _ = complex128(c1)
  10. }

8. 字符串相关的转换规则

如果一个值的类型(或者默认类型)为一个整数类型,则此值可以被当作一个码点值(rune值)显式转换为任何字符串类型。

一个字符串可以被显式转换为一个字节切片类型,反之亦然。 字节切片类型是指底层类型为[]byte的类型。

一个字符串可以被显式转换为一个码点切片类型,反之亦然。 码点切片类型是指底层类型为[]rune的类型。

请阅读字符串(第19章)一文获取更多详情和示例。

9. 切片相关的类型转换规则

从Go 1.17开始,一个切片可以被转化为一个相同元素类型的数组的指针类型。 但是如果数组的长度大于被转化切片的长度,则将导致恐慌产生。

这里有一个例子(第18章)。

从Go 1.20开始,一个切片可以被转化为一个相同元素类型的数组。 但是如果数组的长度大于被转化切片的长度,则将导致恐慌产生。

这里有一个例子(第18章)。

10. 非类型安全指针相关的类型转换规则

非类型安全指针类型是指底层类型为unsafe.Pointer的类型。

任何类型安全指针类型的值可以被显式转化为一个非类型安全指针类型,反之亦然。

任何uintptr值可以被显式转化为一个非类型安全指针类型,反之亦然。

请阅读非类型安全指针(第25章)一文获取详情和示例。

赋值规则

赋值可以看作是隐式类型转换。 各种隐式转换规则在上一节中已经列出。

除了这些规则,赋值语句中的目标值必须为一个可寻址的值、一个映射元素表达式或者一个空标识符。

在一个赋值中,源值被复制给了目标值。精确地说,源值的直接部分(第17章)被复制给了目标值。

注意:函数传参和结果返回其实都是赋值。

值比较规则

Go白皮书提到

在任何比较中,第一个比较值必须能被赋值给第二个比较值的类型,或者反之。

所以,值比较规则和赋值规则非常相似。 换句话说,两个值是否可以比较取决于其中一个值是否可以隐式转换为另一个值的类型。 很简单?此规则描述基本正确,但是存在另外一条优先级更高的规则:

如果一个比较表达式中的两个比较值均为类型确定值,则它们的类型必须都属于可比较类型(第14章)。

按照上面这条规则,如果一个不可比较类型(肯定是一个非接口类型)实现了一个接口类型,则比较这两个类型的值是非法的,即使前者的值可以隐式转化为后者。

注意,尽管切片/映射/函数类型为不可比较类型,但是它们的值可以和类型不确定的预声明nil标识符比较。

上述规则并未覆盖所有的情况。如果两个值均为类型不确定值,它们可以比较吗?这种情况的规则比较简单:

  • 两个类型不确定的布尔值可以相互比较。
  • 两个类型不确定的数字值可以相互比较。
  • 两个类型不确定的字符串值可以相互比较。

两个类型不确定的数字值的比较结果服从直觉。

注意,两个类型不确定的nil值不能相互比较。

任何比较的结果均为一个类型不确定的布尔值。

一些值比较的例子:

  1. package main
  2. // 一些类型为不可比较类型的变量。
  3. var s []int
  4. var m map[int]int
  5. var f func()()
  6. var t struct {x []int}
  7. var a [5]map[int]int
  8. func main() {
  9. // 这些比较编译不通过。
  10. /*
  11. _ = s == s
  12. _ = m == m
  13. _ = f == f
  14. _ = t == t
  15. _ = a == a
  16. _ = nil == nil
  17. _ = s == interface{}(nil)
  18. _ = m == interface{}(nil)
  19. _ = f == interface{}(nil)
  20. */
  21. // 这些比较编译都没问题。
  22. _ = s == nil
  23. _ = m == nil
  24. _ = f == nil
  25. _ = 123 == interface{}(nil)
  26. _ = true == interface{}(nil)
  27. _ = "abc" == interface{}(nil)
  28. }

两个值是如何进行比较的?

假设两个值可以相互比较,并且它们的类型同为T。 (如果它们的类型不同,则其中一个可以转换为另一个的类型。这里我们不考虑两者均为类型不确定值的情形。)

  1. 如果T是一个布尔类型,则这两个值只有在它们同为true或者false的时候比较结果才为true
  2. 如果T是一个整数类型,则这两个值只有在它们在内存中的表示完全一致的情况下比较结果才为true
  3. 如果T是一个浮点数类型, 则这两个值只要满足下面任何一种情况,它们的比较结果就为true
    • 它们都为+Inf
    • 它们都为-Inf
    • 它们都为-0.0或者都为+0.0
    • 它们都不是NaN并且它们在内存中的表示完全一致。
  4. 如果T是一个复数类型,则这两个值只有在它们的实部和虚部均做为浮点数进行进行比较的结果都为true的情况下比较结果才为true
  5. 如果T是一个指针类型(类型安全或者非类型安全),则这两个值只有在它们所表示的地址值相等或者它们都为nil的情况下比较结果才为true
  6. 如果T是一个通道类型,则这两个值只有在它们引用着相同的底层内部通道或者它们都为nil时比较结果才为true
  7. 如果T是一个结构体类型,则它们的相应字段将逐对进行比较(第16章)。只要有一对字段不相等,这两个结构体值就不相等。
  8. 如果T是一个数组类型,则它们的相应元素将逐对进行比较(第18章)。只要有一对元素不相等,这两个结构体值就不相等。
  9. 如果T是一个接口类型,请参阅两个接口值是如何进行比较的(第23章)。
  10. 如果T是一个字符串类型,请参阅两个字符串值是如何进行比较的(第19章)。

请注意,动态类型均为同一个不可比较类型的两个接口值的比较将产生一个恐慌。比如下面的例子:

  1. package main
  2. func main() {
  3. type T struct {
  4. a interface{}
  5. b int
  6. }
  7. var x interface{} = []int{}
  8. var y = T{a: x}
  9. var z = [3]T{{a: y}}
  10. // 这三个比较均会产生一个恐慌。
  11. _ = x == x
  12. _ = y == y
  13. _ = z == z
  14. }

本书由老貘历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是本书和Go101.org网站不断增容和维护的动力。

(请搜索关注微信公众号“Go 101”或者访问github.com/golang101/golang101获取本书最新版)