为何下述代码未出现uint64类型溢出Bug？

要搞清楚这个问题，得先拆解Go语言对整数溢出和移位操作的处理规则——毕竟背景里的报错和你的代码表现差异，核心在于常量/变量的类型推断、有符号/无符号类型的溢出逻辑这两点。

先解释背景里的报错原因：

• bar := 1 << 99：这里的1是Go默认的无类型整数常量，赋值时会被推断为int类型（因为没有显式指定其他类型）。而1<<99的结果远超int的最大值（64位系统中是2^63-1），所以编译时会直接检测到常量溢出int类型，抛出错误。
• 1 << 512：对于无类型整数常量的移位操作，移位计数不能超过目标类型的位数减1（64位系统的int是63位），512远大于这个限制，所以编译报错“移位计数过大”。

回到你的问题：你的代码没出现溢出Bug，大概率是以下几种情况之一：

1. 显式指定了uint64类型的常量或变量 #

如果你的代码里明确把值声明为uint64，Go的处理逻辑会完全不同：

• 常量场景：

  const bar uint64 = 1 << 99
  

  这里1会被转换为uint64类型，无符号整数常量的溢出是语言规范允许的——它会自动按模2^64处理（也就是1 << 99等价于1 << (99%64)，即1<<35），编译时不会报错。
• 变量场景：

  var bar uint64 = 1 << 63
  

  同样，1被转换为uint64，移位操作在uint64的规则下执行，即使结果超出uint64的最大值，也会触发无符号溢出回绕（模2^64），这是Go定义好的合法行为，不会触发错误。

2. 使用了无符号变量的运行时移位 #

如果你的代码是对uint64变量做移位，比如：

var x uint64 = 1
bar := x << 99

这种运行时的移位操作，Go会自动对移位计数取模类型的位数（64），也就是实际执行的是x << (99%64)即x<<35，结果是合法的uint64值，自然不会报错。

3. 你的“溢出”是无符号整数的合法回绕 #

要注意：Go里无符号整数的溢出不属于Bug——语言规范明确规定，无符号整数的算术运算结果是模2^N的值（N是类型的位数）。只有有符号整数的溢出是未定义行为（编译时常量溢出会报错，变量溢出可能导致不可预测结果，但不会panic）。

总结一下：背景里的报错是因为用了默认的int类型常量，而你的代码应该是显式使用了uint64类型，利用了无符号整数的合法溢出规则，所以没触发Bug。

内容的提问来源于stack exchange，提问作者dibbidabbi