Go 中 1 << 64 不报错，是因为字面量 1 是无类型的高精度常量；而 1 << uint64(65) 在非常量上下文中会截断为 uint64(0)，不触发溢出错误——二者遵循完全不同的编译期/运行期规则。
go 中 `1
在 Go 语言中，位移操作（如 << 和 >>）的行为高度依赖操作数是否为常量，这是理解 1<<64 为何合法、而 1<<65 在某些场景下仍“看似有效”的关键。
✅ 常量位移：编译期高精度计算
当表达式中的所有操作数均为未类型化常量（如 1, 64, 1<<64 - 1）时，Go 将其视为常量表达式，并在编译期以任意精度（远超 uint64 的 64 位）进行精确计算。根据 Go 语言规范：
“Constant expressions are always evaluated exactly; intermediate values and the constants themselves may require precision significantly larger than supported by any predeclared type.”
因此：
const MaxInt uint64 = 1<<64 - 1 // ✅ 合法：1 是无类型常量，1<<64 计算为 2⁶⁴（= 18446744073709551616），再减 1 得到 0xffffffffffffffff
该值恰好是 uint64 的最大值（2⁶⁴ − 1），可无损赋值给 uint64 类型。
但一旦右移位数超出类型能表示的范围（如 1<<65），即使仍是常量，结果 2⁶⁵ − 1 已超过 uint64 可容纳的最大值（2⁶⁴ − 1），编译器将报错：
const Bad uint64 = 1<<65 - 1 // ❌ compile error: constant overflows uint64
⚠️ 非常量位移：运行期按目标类型截断
当右操作数为变量或已类型化表达式（如 uint64(i)）时，整个位移表达式变为非常量位移表达式。此时，Go 规范规定（Operators section）：
“If the left operand of a non-constant shift expression is an untyped constant, it is first converted to the type it would assume if the shift expression were replaced by its left operand alone.”
即：1 << uint64(i) 中的 1 会被先转换为 uint64(1)，再执行位移。而对 uint64 类型执行 << n 时，Go 规定：若 n ≥ 64，结果恒为 0（等价于 uint64(1) << (n % 64) 在 n≥64 时因模运算后仍 ≥64，最终归零；实际实现直接定义为 0）。
验证示例：
package main
import "fmt"
func main() {
for i := 60; i <= 65; i++ {
shift := uint64(i)
result := uint64(1) << shift // 显式转为 uint64 后位移
fmt.Printf("1 << %2d = %#018x\n", i, result)
}
}输出：
1 << 60 = 0x1000000000000000 1 << 61 = 0x2000000000000000 1 << 62 = 0x4000000000000000 1 << 63 = 0x8000000000000000 1 << 64 = 0x0000000000000000 // ← 注意：已是 0 1 << 65 = 0x0000000000000000 // ← 仍是 0
⚠️ 这不是“溢出”，而是明确定义的截断行为：Go 不对 uint64 的位移做溢出检查，而是直接取低 64 位（1 << 64 相当于将唯一一个 1 移出所有 64 位，故全 0）。
? 为什么原示例中 i=65 输出仍是 0xffffffffffffffff？
回顾提问中的代码：
var j uint64 = 1 << uint64(i) - 1 // i == 65
此处 1 << uint64(65) 先被求值为 uint64(0)（如上所述），再执行 - 1：0 - 1 在 uint64 下发生无符号回绕（underflow），结果为 0xffffffffffffffff（即 2⁶⁴ − 1）。这解释了输出中 i=65 行的值——它并非 1<<65 的结果，而是 0 - 1 的回绕值。
✅ 最佳实践与注意事项
- 定义常量边界值（如 math.MaxUint64）应使用无类型常量位移：1<<64 - 1 ✅
-
运行时动态位移务必检查 n < 64，否则 << n 对 uint64 恒为 0（当 n >= 64）：
if n >= 64 { panic("shift amount too large for uint64") } result := uint64(1) << n - 避免依赖无符号回绕逻辑（如 0-1），它虽符合规范但易引发逻辑错误；优先使用显式条件判断。
理解常量与非常量位移的根本区别，是写出健壮、可移植 Go 位运算代码的基础。
