上一篇文章 说说 Go 语言 for-range 的坑 说的是 for-range 的，工作中，其实还是遇到蛮多奇奇怪怪的问题，这里也顺便整理了一下，就当作是续集：）
先继续看 for-range 的另一个坑：
下面代码输出什么？
代码语言：go复制func main() {
var a = []int{1, 2, 3, 4, 5}
var r = make([]int, 0)
for i, v := range a {
if i == 0 {
a = append(a, 6, 7)
}
r = append(r, v)
}
fmt.Println(r)
}答案：1 2 3 4 5。
剖析：for range 后跟的都是值拷贝。所以 a 在遍历的时候，新增了 6 和 7 两个元素，但是 range a 是使用 a 的副本参与循环，副本的 len = 5，所以 r = 1 2 3 4 5，也就是只获取到 a 的底层数组的前 5 个元素。
OK，相信你看懂了。那这道题呢？
代码语言：go复制func main() {
var a = [5]int{1, 2, 3, 4, 5}
var r [5]int
for i, v := range a {
if i == 0 {
a[1] = 12
a[2] = 13
}
r[i] = v
}
fmt.Println("r = ", r)
fmt.Println("a = ", a)
}答案：r=1 2 3 4 5，a=1 12 13 4 5。
剖析：原理同上，range a 此时会复制数组 a，但如果 a 的定义为切片，var a = []int{1, 2, 3, 4, 5}，最终的输出，r 和 a 就是一样的了，都是 1 12 13 4 5。
最后一行输出什么？
代码语言：go复制func main() {
x := 1
fmt.Println(x)
{
fmt.Println(x)
i, x := 2, 2
fmt.Println(i, x)
}
fmt.Println(x) // print ?
}答案：1。
知识点：变量隐藏。
剖析：使用变量简短声明符号 := 时，符号左边多个变量，只需保证至少有一个变量是新声明的，并对已定义的变量尽进行赋值操作。但如果出现作用域，会导致变量隐藏的问题。如果你使用 Goland，你会发现 x 变量，变成了另一种颜色，也就是说这两个变量不一样，因为作用域不一样。
小结：非常常见，又十分隐秘的坑。
下面代码输出什么？
代码语言：go复制func main() {
x := interface{}(nil)
_, y := x.(interface{})
println(y)
}答案：false。
知识点：类型断言。
剖析：
- 类型断言语法：i.(Type)，其中 i 是接口，Type 是类型或接口。
- 编译时，编译器会自动检测 i 的动态类型与 Type 是否一致。但是，如果动态类型不存在，则断言总是失败——本例 x 没有类型，所以输出 false 。
下面代码是否正确？
代码语言：go复制func main() {
m := make(map[string]int, 2)
cap(m)
}答案：false。
剖析：
- 使用 make 创建 map 变量时可以指定第二个参数，不过会被忽略。
- cap 函数适用于数组、数组指针、slice 和 channel，不适用于 map。
位运算的坑整理
- 取反符号是
^，而不是~，这点跟很多语言不一样。 - 当
^是二元运算符的时候，代表异或运算。 &^这是按位置零符号，看个例子就明白了：
func main() {
var x uint8 = 214
var y uint8 = 92
fmt.Printf("x: bn", x)
fmt.Printf("y: bn", y)
fmt.Printf("x | y: bn", x|y)
fmt.Printf("x &^ y: bn", x&^y)
}程序输出：
代码语言：txt复制x: 11010110
y: 01011100
x | y: 11011110
x &^ y: 10000010也就是说，y 的哪一位为 1，输出的那一位就是 0，和 | 运算相反。这个符号其他语言好像没见过，看了例子，是不是觉得也挺简单的。
文章来源于本人博客，发布于 2019-06-16，原文链接：https://imlht.com/archives/192/
