各位大佬，在 go 中一个 const 声明超出 uint64 最大值后这个数的类型是什么？
nevermoreluo 2024-07-23 09:59:23 +08:00 2933 次点击这是一个创建于 519 天前的主题，其中的信息可能已经有所发展或是发生改变。
初学 go ，看教程 const的时候，发现 Big = 1 << 100 明显超出基础类型 uint64 了，于是想看下 Big 是什么类型
但是打印都 overflow 了遂有此疑问
const ( // 将 1 左移 100 位来创建一个非常大的数字 // 即这个数的二进制是 1 后面跟着 100 个 0 Big = 1 << 100 // 再往右移 99 位，即 Small = 1 << 1 ，或者说 Small = 2 Small = Big >> 99 ) func main() { // cannot use Big (untyped int constant 1267650600228229401496703205376) as int value in argument to fmt.Printf (overflows) fmt.Printf("T of Big %T\n", Big) // cannot use Big (untyped int constant 1267650600228229401496703205376) as int value in argument to reflect.TypeOf (overflows) fmt.Println("T of Big ", reflect.TypeOf(Big)) } 第 1 条附言 2024-07-23 11:15:11 +08:00
可能是我的问题提问的方式不对，我有疑问的原因是，理所当然的认为const没有声明go又是强类型应该和cpp的auto一样，在编译时推断Big的类型，在运行时处理。所以才会问这个Big在运行时的类型问题。
不过anyway，可以结帖了。
TLDR;
go在编译时直接处理了值，如果这些untyped value需要运行时执行并且无法满足默认类型时会报错。
所以go可以在编译时这些值可以被精确的计算出Small的值, 但是运行时打印Big会被当成int从而overflow报错。
https://www.ardanlabs.com/blog/2014/04/introduction-to-numeric-constants-in-go.html
但是这样又开始了一个迷思，为什么他可以处理这些数，go对于这个精确的值处理范围有极限嘛? 可能有空了要再去探索下。
 | 1 uiosun 2024-07-23 10:03:27 +08:00 |
 | 2 dapang1221 2024-07-23 10:11:43 +08:00 鉴定为计算机原理没学好，重新看下书 |
 | 3 nevermoreluo OP @uiosun 这篇我看了 但是还是没搞明白这个 Big 到底属于什么类型。 或者说我的问题应该改为 对于 go 来说他既然可以运算 Small 的值，那么在运行时他拿什么类型处理 Big 这个超出他规定基础类型的对象的？ |
 | 4 pkoukk 2024-07-23 10:17:28 +08:00 你没声明它的类型它哪来的类型？ |
 | 5 aminobody 2024-07-23 10:21:31 +08:00 @nevermoreluo #3 `The default type for the untyped constant Big is int.` |
| 6 nevermoreluo OP @aminobody 1 << 100 超出 int 的存储范围了 |
| 7 nevermoreluo OP 看到这个 https://stackoverflow.com/questions/38982278/how-does-go-perform-arithmetic-on-constants/38982889#38982889 大概理解了，在编译时把这个值处理了，运行时就不用考虑了，所以企图打印他会在编译时报错，但是计算可以。 谢谢各位大佬 |
 | 8 otakustay 2024-07-23 10:32:38 +08:00 超出范围就溢出呗，溢出又不会改变类型 |
 | 9 zonyitoo 2024-07-23 10:36:04 +08:00  2 https://www.ardanlabs.com/blog/2014/04/introduction-to-numeric-constants-in-go.html 因为你的 Big 并没有指定类型，所以它是 kind: integer 。 https://go.dev/ref/spec#Constant_expressions |
| 10 nevermoreluo OP |
 | 11 lasuar 2024-07-23 10:44:05 +08:00 默认一律是 int 类型，数据溢出按溢出处理，搜索 [编程语言整型溢出] ， |
| 12 nevermoreluo OP @lasuar 应该不是的，他并没有做溢出处理，而是在编译时精确的计算了。 你可以简单打印以下这几个值看看。如果按他最大基础类型 uint64 算的话，溢出处理，和实际结果不对。 const Big = 18446744073709551617; const OtherBig = Big + 1; const BigI = OtherBig - 3; |
| 13 lasuar 2024-07-23 10:54:42 +08:00 这里因为是常量方式的声明，所以直接编译失败了。类型默认 INT ，没有如果。 |
 | 14 wudanyang 2024-07-23 10:59:17 +08:00 编译的时候就出错了，还有啥类型 |
| 15 uiosun 2024-07-23 10:59:40 +08:00 @nevermoreluo 这篇问答里的 comment 有更多文章可以阅读，其中以官方文档为例： > But in Go, a constant is just a simple, unchanging value, and from here on we’re talking only about Go. 按我理解，常量只是作为一个值，当你需要推断它的类型时，Go 才会尝试推断它的类型推断。 所以，你的报错很正常，正是反映了这样的规则：cannot use Big (untyped int constant 1267650600228229401496703205376) as int value in argument to fmt.Printf (overflows) |
 | 16 wisej 2024-07-24 00:36:01 +08:00 1 来回答你 append 里的问题： 1. Big 常量，底层用的 math/big 包 2. precision 有极限，golang 自带的 compiler 设的 512bit (不过根据 spec ，integer constants 不小于 256 即可)。1<<511 没问题, 1<<512 就报 overflow 了 这些答案可以在 src/go/constant/value.go 源码找到 |
Select Language