golang 的字面值与类型转换，来猜猜结果

[lizon]

package main

import "fmt"

func main() {
 a := 1
 b := 3
 
 fmt.Printf("%T\n", a / b)
 fmt.Printf("%T\n", a / 3)
 fmt.Printf("%T\n", a / 3.0)
 fmt.Printf("%T\n", 1 / 3)
 fmt.Printf("%T\n", 1 / 3.0)
}

答案： https://play.golang.org/p/mgxFyXtzGv

[rrfeng]

@lizon
前面说的很明白了，字面量要确定类型的时候跟其所处的位置有关
https://play.golang.org/
报错是: cannot convert "a" to type A

并不是把 3.0 不声不响的当作 int 处理，而是因为算式中的另外一个操作数是 int 类型。

体会一下：
var a string = "haha"
a + 3.0 //报什么错？

规则就是：如果算式中有一个操作数是字面量，那么就根据另一个操作数的类型来 cast，成功就计算，不成功就报错。

[xrlin]

golang 的字面值是没有类型的，赋值或者运算操作才判断类型，不过这确实有点不符合大部分语言的逻辑。

[keenwon]

https://play.golang.org/p/0daSoPmuEo

这样就清净了

本来就是强类型语言，是 int 就是 int，是 float 就是 float。

[lizon]

@rrfeng
a := 3.0
fmt.Printf("%T\n", a)
推导 a 的类型为 float64
https://play.golang.org/p/0VEgW1QOgk

这里 cast 为 float 的依据呢

[reus]

没什么奇怪的，po 主不知道 go 里 const 的概念吧。

3.0 是 const，需要是 int，就转换成 int，需要是 float64，就转换成 float64。

[reus]

https://golang.org/ref/spec#Constants

有明确的规范的，untyped constant 这个概念很多语言都没有。

[rrfeng]

赋值操作符下的 cast
其他操作符下的 cast

为什么会觉得这两者应该一样呢？

[lizon]

@rrfeng 为什么应该不一样呢？

既然通过赋值语句能推导出类型，那这个字面值本身就蕴含一个类型

3.0 在任何情况下的推导类型应该保持一致，而不应该随环境的变化而变化

a := 1

a / int(3.0)才应该编译通过，a / 3.0 应该报错

[lizon]

@reus 官方解释了就行，我指出来就是觉得这里反直觉，容易掉坑