2022-10-08：以下go语言代码输出什么？A、0 0；B、0 4；C：4 0；D：4 4

2022-10-08：以下go语言代码输出什么？A、0 0；B、0 4；C：4 0；D：4 4。

package main

const s = "Go101.org"
// len(s) == 9
// 1 << 9 == 512
// 512 / 128 == 4

var a byte = 1 << len(s) / 128
var b byte = 1 << len(s[:]) / 128

func main() {
  println(a, b)
}

答案选C。这道题有人选D，也有人选A，但答案总是出乎意料。
1.对于移位操作，x<<y，数据类型是根据x确定。x是byte类型，那么整个表达式也是byte类型，跟y无关。所以var b byte = 1 << len(s[:]) / 128，左移9位，已经溢出了，结果是0。
2.var a byte = 1 << len(s) / 128中，1 << len(s) / 128在编译期间就计算好了。这个可以根据返汇编一探究竟。输入命令go tool compile -S main2.go，如下可见，a在data段，b在bss段，a的值已经在文件中确定了。
总结：这道题非常考细节，考的是移位操作和编译优化两个细节。

"".a SNOPTRDATA size=1
        0x0000 04                                                     0x0000 01 00 00 00 00 00 00 00                          ........
  .
"".b SNOPTRBSS size=1
gclocals·33cdeccccebe80329f1fdbee7f5874cb SRODATA dupok size=8        0x0000 01 00 00 00 00 00 00 00

本作品采用《CC 协议》，转载必须注明作者和本文链接