[Golang学习笔记] 06 程序实体3 类型断言和类型转换

时间:2022-07-10 19:13:50

类型断言:

语法:
<目标类型的值>,<布尔参数> := <表达式>.( 目标类型 ) // 安全类型断言
<目标类型的值> := <表达式>.( 目标类型 )  //非安全类型断言

x.(T),这里x表示一个接口的类型,T表示一个类型(也可为接口类型)。
一个类型断言检查一个接口对象x的动态类型是否和断言的类型T匹配。

类型断言分两种情况:
第一种,如果断言的类型T是一个具体类型,类型断言x.(T)就检查x的动态类型是否和T的类型相同。

如果这个检查成功了,类型断言的结果是一个类型为T的对象,该对象的值为接口变量x的动态值。换句话说,具体类型的类型断言从它的操作对象中获得具体的值。
如果检查失败,接下来这个操作会抛出panic,除非用两个变量来接收检查结果,如:f, ok := w.(*os.File)
第二种,如果断言的类型T是一个接口类型,类型断言x.(T)检查x的动态类型是否满足T接口。

如果这个检查成功,则检查结果的接口值的动态类型和动态值不变,但是该接口值的类型被转换为接口类型T。换句话说,对一个接口类型的类型断言改变了类型的表述方式,改变了可以获取的方法集合(通常更大),但是它保护了接口值内部的动态类型和值的部分。
如果检查失败,接下来这个操作会抛出panic,除非用两个变量来接收检查结果,如:f, ok := w.(io.ReadWriter)
注意:

如果断言的操作对象x是一个nil接口值,那么不论被断言的类型T是什么这个类型断言都会失败。
我们几乎不需要对一个更少限制性的接口类型(更少的方法集合)做断言,因为它表现的就像赋值操作一样,除了对于nil接口值的情况。

面试题:怎么样判断一个变量的类型?

package main

import "fmt"

var container = []string{"zero", "one", "two"}

func main() {
container := map[int]string{: "zero", : "one", : "two"}
fmt.Printf("The element is %q.\n", container[])
}

回答:

使用“类型断言”表达式。
value, ok := interface{}(container).([]string)
在赋值符号的右边,是一个类型断言表达式。
把container变量的值转换为空接口值的interface{}(container)。
以及一个用于判断前者类型是否为切片类型[]string的 .([]string)。

解析:
类型断言表达式的语法形式是x.(T)。其中x代表要被判定类型的值。这个值的类型必须是接口类型的,不过无关哪个接口类型。
所以如果container不是任何的接口类型时,需要先转换成某个接口类型。
如果是,这个断言表达是可以写成container.([]string)。

[Golang学习笔记] 06 程序实体3 类型断言和类型转换

最右边的圆括号中 []string 是一个类型字面量。类型字面量,就是用来表示数据类型本身的若干个字符。
比如,string是表示字符类型的字面量,uint8是表示8位无符号整数类型的字面量。

一对不包裹任何东西的花括号,既可以代表空代码块,也可以表示不包含任何内容的数据结构(数据类型)。

struct{}表示不包含任何字段和方法的空结构体类型。
[]string{}表示空切片值(数据类型)。
map[int]string{}表示空字典值,类型字面量是表示数据类型本身的若干个字符,如string是字符串类型的字面量,uint8表示8位无符号整数类型的字面量。
其中[]string表示元素类型为string的切片类型;
map[int]string表示键类型为int,值类型为string的字典类型。


类型转换:

语法:<结果类型> := <目标类型> ( <表达式> )
T(x)
T表示类型,x可以是变量,也可以是一个代表值的字面量(比如1.23和struct{})

var a int =
var b := float(a)

类型转换是用来在不同但相互兼容的类型之间的相互转换的方式,所以,当类型不兼容的时候,是无法转换的。

int<--->string

//string到int
value_int,err:=strconv.Atoi(string)
//int到string
str:=strconv.Itoa(value_int)

int64<--->string

//string到int64
value_int64, err := strconv.ParseInt(string, , )
//int64到string,需注意下面转换规定
//FormatInt returns the string representation of i in the given base, for 2 <= base <= 36.
//The result uses the lower-case letters 'a' to 'z' for digit values >= 10
str:=strconv.FormatInt(value_int64, ) //FormatInt第二个参数表示进制,10表示十进制

float<--->string

//float转string
v := 3.1415926535
s1 := strconv.FormatFloat(v, 'E', -, )//float32
s2 := strconv.FormatFloat(v, 'E', -, )//float64
//第二个参数可选'f'/'e'/'E'等,含义如下:
// 'b' (-ddddp±ddd,二进制指数)
// 'e' (-d.dddde±dd,十进制指数)
// 'E' (-d.ddddE±dd,十进制指数)
// 'f' (-ddd.dddd,没有指数)
// 'g' ('e':大指数,'f':其它情况)
// 'G' ('E':大指数,'f':其它情况) //string转float
s := "3.1415926535"
v1, err := strconv.ParseFloat(v, )
v2, err := strconv.ParseFloat(v, )

float<--->int

var a int64
a =
var b float64
b = 2.000 //a -- float64
c := float64(a) //b -- int64
d := int64(b)

思考题:1. 你认为类型转换规则中有哪些值得注意的地方?

1、 对于整数类型值、整数常量之间的类型转换,原则上只要源值在目标类型的可表示范围内就是合法的。
源整数类型的可表示范围较大,而目标类型的可表示范围较小的情况,比如把int16转换为int8,如:

var srcInt = int16(-)
dstInt := int8(srcInt)

其中变量srcInt的值是int16类型的-255转化来的,而变量dstInt的值是srcInt转换来的,类型是int8。

此例子中,int16类型比int8的范围要大,运行结果为:1.
整数在Go中是以补码的形式存储的,补码其实就是原码个位求反再加1.
int16类型的值-255的补码是1111111100000001,如果转换为int8类型,那么Go就会把在较高位置(最左位置)上的8位二进制直接截掉,从而得到00000001.
又由于最左边一位是0,表示它是个正整数,而正整数的补码就等于其原码,所以这里输出1.

2、虽然直接把一个整数值转为一个string类型的值是可行的,但是被转换的整数值必须要能代表一个有效的Unicode代码点。

3、string类型与各种切片类型之间的互转。
一个值从string类型向[]byte类型转换时,代表着以UTF-8编码的字符串会被拆分成独立的字节,两个字节代表一个汉字。
一个值从string类型向[]rune类型转换时,代表着字符串会被拆分成一个个的Unicode字符,一个字符代表一个汉字。

2. 什么是别名类型?什么是潜在类型?

别名类型是type声明自定义类型的一种,如:

type MyString = string

表示MyString是string类型的别名类型,与其源类型是完全相同的。
别名类型主要是为了代码重构而存在的。
byte是uint8的别名类型,rune是int32的别名类型。

潜在类型是某个类型在本质上是哪个类型或者是哪个类型的集合,如:

type MyString2 string

潜在类型的定义之间没有“=”号
潜在类型的值之间是可以进行类型转换的,如本例中MyString2类型的值可以跟string类型的值互相转换,但是集合类的类型[]MyString2与[]string就不行,

因为他们的潜在类型就不同了,分别是MyString2和string。

即使两个类型的潜在类型相同,他们的值之间也不能进行判断或比较,他们的变量之间也不能互相赋值。

[Golang学习笔记] 06 程序实体3 类型断言和类型转换

3. 别名类型在代码重构过程中可以起到哪些作用吗?

类型别名是 Go 1.9 版本添加的新功能。主要用于代码升级、迁移中类型的兼容性问题。
下一篇分析类型别名和类型定义。

总结
类型断言表达式可用来判断变量是哪个类型,把结果赋给两个变量,要保证被判断的变量是接口类型的,这可能会用到类型转换表达式。
要搞清楚别名类型声明与类型再定义之间的区别。

本学习笔记仅为了总结自己学到的Go语言核心知识,方便以后回忆,文中部分内容摘录自极客时间的《Go语言核心36讲》专栏,如有侵权,请联系我删除。