Go代码解密：理解byte和int8的边界行为

今天看到一个很有意思的 Golang 代码，最后的输出结果为 4：

func main() {
    
    
    count := 0
    for i := range [256]struct{
    
    }{
    
    } {
    
    
        m, n := byte(i), int8(i)
        if n == -n {
    
    
            count++
        }
        if m == -m {
    
    
            count++
        }
    }
    fmt.Println(count)	// 输出为 4
}

原因如下

1. 当 i = 0 时，n == -n 与 m == -m 成立，count+2
2. 当 i = 128 时，n == -n 与 m == -m 成立，count+2

• 当 i = 128，因为 n 是 int8，所以 n = (1000 0000)₂，即 -128。而 -n 则为
  (1000 0000)₂ 的补码（即先取反码再加1），即 -> (0111 1111)₂ -> (1000 0000)₂，也是 -128，结果相等。
• 当 i = 128，因为 m 是 uint8，所以 m = 128，而 -m 则因为 m 为 uint 类型，所以需要对负数 -m 进行求余，最终结果为 (-m) = (-128 % 256) = 128，结果相等。

所以，最终 count 的值为 4。