![Go语言底层原理剖析](https://wfqqreader-1252317822.image.myqcloud.com/cover/131/40795131/b_40795131.jpg)
4.2 常量类型转换
如下所示,常量可以进行类型推断。第3章详细介绍了未定义的常量是如何进行转换的,在转换为具体的类型之前,Go语言编译时会使用一种高精度的结构存储常量。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_67_2.jpg?sign=1736549914-nWGP9jJspjZAXumDs5zWF55XMEJTi8QU-0-7e18777b6718b21efe78cfd69c9442f3)
本节还将介绍常量的其他转换规则。
4.2.1 隐式整数转换
在Go语言中,变量之间没有隐式类型转换,不同的类型之间只能强制转换。但是,编译器可以进行变量和常量之间的隐式类型转换。
如下所示,将整数常量123隐式转换为int。由于常量不使用小数点或指数,因此采用的类型为整数。只要不需要截断,就可以将类型为整数的未命名常量隐式转换为有符号和无符号命名常量。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_67_3.jpg?sign=1736549914-D4DrbRJP3ClrlA9mzoaftflsCJVgQxY0-0-83b0b14455767f240d7bc765a71b246b)
如果常量使用与整数兼容的类型,也可以将浮点常量隐式转换为整数变量:
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_67_4.jpg?sign=1736549914-h1TMgZYVnVmhIYbacQ7AYrRkX4vCJPre-0-c76228ed52d50de0fb05009a8c1924bc)
但是下面的转换是不可行的,无法对常量进行截断。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_68_1.jpg?sign=1736549914-xr7lXzPdA2pUhSqoxrYMwl3CTpjbbZkh-0-afb5bb2297bde71c03010bec98e29669)
4.2.2 隐式浮点数转换
如下所示,编译器可以将类型为小数的未命名常量0.333隐式转换为单精度或双精度类型的浮点数。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_68_2.jpg?sign=1736549914-SfzeE8eDM3sosx9HS6hm88DGxCYjBQz7-0-3daf4281a98d7bccc16e984bf5c399b0)
另外,编译器可以在整数常量与float64变量之间进行隐式转换。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_68_3.jpg?sign=1736549914-CU6ZZkMopOAAQhwnNKC9wCTTO3aY47CM-0-2122ac85adea59f619392cfdb15d5df0)
4.2.3 常量运算中的隐式转换
常量与变量之间的运算在程序中最常见,它遵循Go语言规范中运算符的规则。该规则规定,除非操作涉及位运算或未定义的常量,否则操作数两边的类型必须相同。这意味着常量在进行运算时,操作数两边的类型不一定相同,如下所示。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_68_4.jpg?sign=1736549914-2A9kfbmUAwFO8GyPzhlcxmyBV5CrRUcx-0-043f7375d119ec72d88eecf4c8c5044f)
在Go语言规范中,对于常量表达式也制定了专门的规则。除了移位操作,如果操作数两边是不同类型的无类型常量,则结果类型的优先级为:整数(int)<符文数(rune)<浮点数(float)<复数(Imag)。根据此规则,上面两个常数之间相乘的结果将是一个浮点数,因为浮点数的优先级比整数高。下面的例子结果为浮点数。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_68_5.jpg?sign=1736549914-IKfV0v5JHHXnafzlGiqwRSVshMlsnCVn-0-cd79e2a0d622a51bdcfe650d84d32d06)
下面的例子将在整数常量之间进行除法运算,结果必然是一个整数常量。由于3除1的值小于1,因此该除法的结果为整数常量。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_68_6.jpg?sign=1736549914-t8IFVaTbClrg1Cokjie3NpmMFGXxXeV5-0-3e16786a23614b307fc165b2f0a4806e)
4.2.4 常量与变量之间的转换
常量与具体类型的变量之间的运算,会使用已有的具体类型。例如下例中常量p为float64,常量2会转换为和b相同的类型。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_69_1.jpg?sign=1736549914-gfDbQQiqj6wagYOzO7WbTeVR5Rr9iBeu-0-d5eeab32c85a18a1c54a49a4606181a6)
下面的例子会报错,因为2.3不能转换为b的类型int。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_69_2.jpg?sign=1736549914-1Yuwm6GBft7l2emcWHfXk9gaQuO4NP62-0-36a48c865be8bdcd9aad876ad523ecdb)
4.2.5 自定义类型的转换
当常量转换涉及用户自定义的类型时,会变得更加复杂。下例中声明了一个新类型,称为Numbers,其基本类型为int8。接着以Numbers声明常量One,并分配整数类型的常量1。最后声明常量Two,常量Two通过未命名常量2和Numbers类型的常量One相乘转换为了Numbers类型。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_69_3.jpg?sign=1736549914-kG2tMpvrL5BRX5UJCYTh3fyoix6MbmsW-0-5b7fe4544ffa51c9c940ed12e2350d2c)
自定义类型在实际开发和Go源码中都很常见,例如在标准库time中,声明时间常量的方式使用了自定义类型的转换。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_69_4.jpg?sign=1736549914-oRR6g383VwgCkpz1ZyLf5sritns9KYON-0-ea1aa6b5bcc08e903f23beee5e3f9de4)
由于编译器将对常量执行隐式转换,因此可以在Go语言中像下面一样编写代码[3]:
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_69_5.jpg?sign=1736549914-MFHMAcUG9BHbFXcjZ4j4QzSwkyxEWXNf-0-6bc7d3102a67809eb6aedf50abdce469)
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_70_1.jpg?sign=1736549914-b23ILQER9uGecqqJHukzBmJjnYhT55e6-0-f44d0c26f20fb52e95b494fbed169309)
Add方法接受一个类型为Duration的参数,Time包中的Add方法的定义如下。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_70_2.jpg?sign=1736549914-oQymSU5TBeT2BhcamjY3OXuGBwk7lY6T-0-550b4f0e7552d5018d16c62b7da72218)
在上例实际调用Add函数的过程中,将-5与-fiveSeconds作为函数也并没有出错,这是由于编译器会将常量-5隐式转换为类型为Duration的变量,以允许方法调用。同时,基于常量的运算规则可知,常量FiveSeconds的类型为Duration。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_70_3.jpg?sign=1736549914-SBy2wR0TKgrnpARbtXlnn7fknYwDflRU-0-a9e4b0cb64e2cd6c386fa8e9dde120e7)
但是,如果指定了变量的类型,则调用不会成功。例如,在下面的例子中,一旦我们使用具体类型的整数值作为Add方法调用的参数,就会收到编译器报错。编译器不允许在类型变量之间进行隐式类型转换。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_70_4.jpg?sign=1736549914-vzN3WiXWEEHZJA2reh1awHV49rZJAirq-0-2caef8aec272269c589a993f1cc5da46)
报错为
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_70_5.jpg?sign=1736549914-OP0SK9vQuf1xqzjW1qsbhDwfxPWrcm68-0-56c8d2f333e606e87d2cf3903d5d1171)
为了编译该代码,需要在程序中执行显式的类型转换。
![](https://epubservercos.yuewen.com/88BA42/21190707608528606/epubprivate/OEBPS/Images/41662_70_6.jpg?sign=1736549914-bNcAbtun4iqCixM6EwB7cSrwREuMtEoW-0-db20387ce5e91012f6a0d8269180cfd3)