无符号整数溢出

Question

去规范说无符号整数溢出：

对于无符号整数值，运算 +、-、* 和 << 是以 2n 为模计算的，其中 n 是无符号整数类型的位宽。粗略地说，这些无符号整数运算会在溢出时丢弃高位，并且程序可能依赖于 ''wrap around''。

我尝试对其进行测试，但得到的结果不一致 - http://play.golang.org/p/sJxtSHbigT：

package main

import "fmt"

func main() {

    fmt.Println("test")

    var num uint32 = 1 << 35

}

这给出错误：

prog.go:7: constant 34359738368 overflows uint32

 [process exited with non-zero status]

但是根据规范应该没有错误，而是我应该看到 0。

Answer 1

您引用的规范特指“操作 +、-、* 和 <<”的结果。您正在尝试定义一个常量，而不是查看其中一个操作的结果。您也不能将那些过大的值用于这些操作的输入。编译器不会为您包装任何值；这只是这些操作的运行时行为。package mainimport "fmt"func main() {&nbsp; &nbsp; var num uint32 = 1 + 1 << 35&nbsp; &nbsp; fmt.Printf("num = %v\n", num)}prog.go:6: constant 34359738369 overflows uint32&nbsp;[process exited with non-zero status]这是一个有趣的例子。var num uint32 = (1 << 31) + (1 << 31)fmt.Printf("num = %v\n", num)prog.go:6: constant 4294967296 overflows uint32&nbsp;[process exited with non-zero status]在这种情况下，编译器尝试(1 << 31) + (1 << 31)在编译时进行求值4294967296，生成常量 value ，该值太大而无法容纳。var num uint32 = (1 << 31)num += (1 << 31)fmt.Printf("num = %v\n", num)num = 0在这种情况下，加法是在运行时执行的，并且值会按照您的预期回绕。