For some arguments, such as a string literal or a simple array expression, the result can be a constant. See the Go language specification's "Length and capacity" section for details.
The expression len(s) is constant if s is a string constant. The expressions len(s) and cap(s) are constants if the type of s is an array or pointer to an array and the expression s does not contain channel receives or (non-constant) function calls; in this case s is not evaluated. Otherwise, invocations of len and cap are not constant and s is evaluated.
从上面的描述里可以看出两点，内置函数和unsafe.Sizeof的调用我们可以看成是constant function calls，所有常量表达式除了浮点数和复数表达式都可以在编译期完成计算。而其他函数比如用户自定义函数的调用，虽然仍然有可能在编译期被求值优化，但本身不属于常量表达式。所以语言标准会加以区分。比如下面这个：
func add(x, y int) int {
return x + y
}
func main() {
fmt.Println(add(512, 513)) // 1025
}
const number = add(512, 513) // error!!!
// example.go:11:7: const initializer add(512, 513) is not a constant
spec给出的实例是调用的内置函数，内置函数也只有在参数是常量的情况下被调用才算做常量表达式：
const (
c4 = len([10]float64{imag(2i)}) // imag(2i) is a constant and no function call is issued
c5 = len([10]float64{imag(z)}) // invalid: imag(z) is a (non-constant) function call
)
var z complex128
所以len的表达式里如果用了non-constant的函数调用，那么就len本身不能算是常量表达式了。
这就有了最后一个疑问，题目中的x不是常量，为什么len的结果是常量呢？
标准只说表达式里不能有chan的接收和非常量表达式的函数调用，没说其他的不可以。你也可以这么理解，表达式都有结果值，任何值除了无类型常量（这里显然不是）都是要有一个确定的类型的，只要这个类型是数组或者数组的指针，那len就能获得数组的长度，而这一切不需要s一定是常量表达式，编译器可以简单推导出表达式的值的类型。不能包含non-constant function calls和chan接收是我在第一点里解释的，杜绝所有可能的副作用发生从而保证即使不对表达式求值程序也是正确的，不包含这两个操作的表达式既可以是常量的也可以不是，所以这里我们能用x.s[99]作为len的参数。
说了这么多，只要len的参数类型为array或者array的指针并且符合要求，就不会进行求值，而题目里的表达式正好满足这点，所以虽然我们看起来是会导致panic的代码，但是本身并未进行实际求值，因此程序可以正常运行。另外cap也遵循同样的规则。
最后，还有个小测验，检验一下自己的学习吧：
// 以下哪些语句是正确的，哪些是错误的
var slice [][]*[10]int
const (
a = len(slice[10000000000000][4]) // 1
b = len(slice[1]) // 2
c = len(slice) // 3
d = len([1]int{1024}) // 4
e = len([1]int{add(512, 512)}) // 5
g = len([unsafe.Sizeof(slice)]int{}) // 6
g = len([unsafe.Sizeof(slice)]int{int(unsafe.Sizeof(slice))}) // 7
)
编程语言
发布于：2021-08-03 14:35
|
阅读数：298
|
评论：0
QQ好友和群
QQ空间
