go - 了解使用 Go Type Inferred Const 时的溢出

Question

在 TourOfGo const 示例中，他们这样写

An untyped constant takes the type needed by its context

但是下面的程序会引发溢出:

package main

import "fmt"

const  Big  = 1 << 100 // no overflow here 
// var  Big  = 1 << 100  // overflow here 

func main() {
    fmt.Printf("big = %T",Big) // causes overflow error here
}

是不是只有const转var时才会溢出？

Answer 1

只要字面值只是一个常量(没有赋值给任何地方)，它就不必具体化，所以不会有错误。编译器等待您在某处实际使用它。考虑一下:

package main

import "fmt"

const  Big  = 1 << 100 // no overflow here 
    var f float64
    f = Big
    fmt.Println(f)
}

这成功运行并打印出 2^100 的合理近似值(在 float 的精度限制内)。但是，如果您尝试将其分配给一个变量，它将被推断为一个 int(毕竟，字面量是整数)，当您尝试打印出它的类型时也是如此。