The Go Programming Language
› http://golang.org/
› Go Playground
Go Projects
› Revel Web Framework
x8

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

  •  
  •   x8 · Sep 8, 2017 · 3236 views
    This topic created in 3343 days ago, the information mentioned may be changed or developed.
    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

    Supplement 1  ·  Sep 8, 2017
    补充,注意第三个输出
    Supplement 2  ·  Sep 8, 2017

    可能这样效果更明显一些吧

    package main
    
    import "fmt"
    
    func main() {
     a := 1
     
     fmt.Println(a / 3)
     fmt.Println(a / 3.0)
     //fmt.Println(a / 3.1) 类型错误
    }
    

    https://play.golang.org/p/nAD0aFC9re

    我觉得 a / 3.0 的时候编译错误更好,沿用其他语言的习惯这里容易掉坑里

    29 replies  •  2017-09-08 19:20:46 +08:00
    sjj050121014
    sjj050121014
    Sep 8, 2017
    1
    感觉没什么特别啊
    sjj050121014
    sjj050121014
    Sep 8, 2017
    2
    不好意思,没看清,确实有特别,变量除小数,居然还是整形
    sjj050121014
    sjj050121014
    Sep 8, 2017
    3
    https://play.golang.org/p/nJs3oLSwyZ 加了个 c:=3.0,这个居然编译错误
    secondwtq
    secondwtq
    Sep 8, 2017 via iPhone
    4
    第一反应:golang 你个浓眉大眼的居然也叛变了

    @sjj050121014 3# 这个才正常
    frye
    frye
    Sep 8, 2017
    5
    没看出来有任何问题,为啥这么大惊小怪?
    Kisesy
    Kisesy
    Sep 8, 2017
    6
    var a int = 3.0
    fmt.Println(a)

    楼主是想说这个?
    topbandit
    topbandit
    Sep 8, 2017
    7
    为神马会这样?
    fwee
    fwee
    Sep 8, 2017
    8
    看来编译器对 int 字面量有特殊的转换处理... 不过 go 本来就不是很严谨的语言,一直没搞懂怎么优雅的提供一个 bool 的饮用
    kofj
    kofj
    Sep 8, 2017
    9
    @Kisesy 没准儿 Po 主真这么想的
    XIVN1987
    XIVN1987
    Sep 8, 2017
    10
    为啥会这样??谁能解释一下!
    rrfeng
    rrfeng
    Sep 8, 2017
    11
    var a int
    var b float

    a / b -> type error

    在算式中的字面量会按照算式其他变量的类型进行 cast,而不是字面量的默认类型。

    ```
    type A int

    func main() {
    var a A
    a = 10
    fmt.Printf("%T\n", a/"abc")
    fmt.Printf("%T\n", a/3.0)
    }
    ```
    rrfeng
    rrfeng
    Sep 8, 2017
    12
    可以说是在不同的操作符(复制操作、运算操作)下,对字面量进行类型判定的方式是不一样的。

    这没有任何问题,并不是对 int 有特殊处理。

    哪里的出来的 go 不是很严谨的语言……
    gamexg
    gamexg
    Sep 8, 2017 via Android
    14
    golang 不会进行自动的类型转换,整数只能除以整数,不会自动转换成为浮点数,字面量类型是根据所在位置来决定的。

    第三个位置需要一个整数,3.0 是合法的整数,没有报错。附言里面的 3.1 不是合法整数,炸了正常。

    运行结果看起来符合预期。
    rrfeng
    rrfeng
    Sep 8, 2017
    15
    本质上是 var a int = 3.0 是一个合法的操作。
    这点去别的语言对比一下看看吧。
    jadeity
    jadeity
    Sep 8, 2017
    16
    3.0 从数学上来说应该是整数吧?有些语言把带小数点的字面量当成浮点型,go 在这个地方当成整数。也说不上谁对谁错,习惯不一样。
    kiddult
    kiddult
    Sep 8, 2017
    17
    @jadeity 极少会有把 3.0 当整数的语言吧,a / 3.0 和 1 / 3.0 结果不一样有点反应不过来
    Yoock
    Yoock
    Sep 8, 2017
    18
    go 所有的类型转换都需要是显示的,所以报错也很正常。
    jadeity
    jadeity
    Sep 8, 2017
    19
    @kiddult 我印象中 go 这个语言好像特别重视格式这方面的内容,要让这些“习惯”“失效”。
    x8
    x8
    OP
    Sep 8, 2017 via Android
    20
    @rrfeng 我希望 a / 3.0 的时候报类型错误,也不要把 3.0 不声不响的当成 int 处理
    rrfeng
    rrfeng
    Sep 8, 2017
    21
    @lizon
    前面说的很明白了,字面量要确定类型的时候跟其所处的位置有关
    https://play.golang.org/
    报错是: cannot convert "a" to type A

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

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

    规则就是:如果算式中有一个操作数是字面量,那么就根据另一个操作数的类型来 cast,成功就计算,不成功就报错。
    xrlin
    xrlin
    Sep 8, 2017
    22
    golang 的字面值是没有类型的,赋值或者运算操作才判断类型,不过这确实有点不符合大部分语言的逻辑。
    keenwon
    keenwon
    Sep 8, 2017
    23
    https://play.golang.org/p/0daSoPmuEo

    这样就清净了

    本来就是强类型语言,是 int 就是 int,是 float 就是 float。
    x8
    x8
    OP
    Sep 8, 2017
    24
    @rrfeng
    a := 3.0
    fmt.Printf("%T\n", a)
    推导 a 的类型为 float64
    https://play.golang.org/p/0VEgW1QOgk

    这里 cast 为 float 的依据呢
    reus
    reus
    Sep 8, 2017
    25
    没什么奇怪的,po 主不知道 go 里 const 的概念吧。

    3.0 是 const,需要是 int,就转换成 int,需要是 float64,就转换成 float64。
    reus
    reus
    Sep 8, 2017❤️1
    26
    https://golang.org/ref/spec#Constants

    有明确的规范的,untyped constant 这个概念很多语言都没有。
    rrfeng
    rrfeng
    Sep 8, 2017
    27
    赋值操作符下的 cast
    其他操作符下的 cast

    为什么会觉得这两者应该一样呢?
    x8
    x8
    OP
    Sep 8, 2017
    28
    @rrfeng 为什么应该不一样呢?

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

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

    a := 1

    a / int(3.0)才应该编译通过,a / 3.0 应该报错
    x8
    x8
    OP
    Sep 8, 2017
    29
    @reus 官方解释了就行,我指出来就是觉得这里反直觉,容易掉坑
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Privacy   ·   Solana   ·   5008 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 76ms · UTC 09:17 · PVG 17:17 · LAX 01:17 · JFK 04:17
    ♥ Do have faith in what you're doing.