面试题 的思考

package main
import "fmt"

const s = "hellow world"

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

func main() {
    fmt.Println(a, b)                                                                                                                         
}

如上面题目所示：结果应该是多少？
第一反应两者的答案应该是一样的。
但实际运行结果却是 32 0，这是为什么呢?
我们可以看出导致答案不同原因可能出再len函数的结果上面。 为此，我查询了 len的官方说明

翻阅 go语言中文网，有如下说明：
如果 s 是一个字符串常量，那么 len(s) 是一个 常量 。如果 s 类型是一个数组或到数组的指针且表达式 s 不包含 信道接收 或（非常量的） 函数调用 的话， 那么表达式 len(s) 和 cap(s) 是常量；这种情况下， s 是不求值的。否则的话， len 和 cap 的调用不是常量且 s 会被求值。

所以有len(s) 结果是常量（因为s是字符串常量），而 len(s[:])不是常量。那么两个len 的结果都是12，只是一个是常量，另一个不是而已

而位移表达式又有如下规则：（下文的说明有示例，可以点击前往查看）
The right operand in a shift expression must have integer type or be an untyped constant representable by a value of type uint. If the left operand of a non-constant shift expression is an untyped constant, it is first implicitly converted to the type it would assume if the shift expression were replaced by its left operand alone.

这句话的意思是：移位表达式中的右操作数必须是整数类型，或者可以被 uint 类型的值所表示的无类型常量。如果非常量移位表达式的左操作数是无类型常量，则首先将这个左操作数 隐式转换 移位表达式替换为 其左操作数时假定的类型。

也就是说 因为len(s[:])的结果不是常量，所以转换 1 为 跟它的 左操作数相同的类型 byte。
所以1<<12 为1024 超过了 byte的255上限，导致结果为 0

如果我们改为如下方式： 那么结果将会是32 32

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