Go 每日一题

第 1 题是 Go 语言爱好者周刊第 87的题目。

正确答案是：C，正确率 52%。这道题相对简单，但依然有近一半的人答错了。

而第 2 题是周刊第 88 期的题目，正确答案也是 C，只有 25%。

这涉及到 array/slice 的一些相关知识。

01 数组和切片

关于两者，Go 语言规范中都有明确定义。

数组是这么说明的：

数组是单一类型元素的有序序列，该单一类型称为元素类型。元素的个数被称为数组长度，并且不能为负值。长度是数组类型的一部分；它必须为一个可以被 int 类型的值所代表的非负常量。

这里一个关键点就是，长度是数组的一部分，因此 [3]int 和 [4]int 是不同类型。

再看看切片：

切片是针对一个底层数组的连续段的描述符，它提供了对该数组内有序序列元素的访问。切片类型表示其元素类型的数组的所有切片的集合。元素的数量被称为切片长度，且不能为负。未初始化的切片的值为 nil 。

从 EBNF 的表示可以看出区别：

ArrayType   = "[", ArrayLength, "]", ElementType .
SliceType = "[", "]", ElementType .

也就是说，长度不是切片类型的一部分，切片长度可变。

02 常见字面量初始化

我不打算讲解数组/切片初始化的各种情况，主要介绍常见的字面量初始化，以及和上面题目相关的部分。

通常我们会这么初始化一个数组：

var intSet = [6]int{2, 4, 6}

注意 [] 中的 6，它表示数组的长度。因为初始化时，我们只给定了 3 个数，因此后 3 个元素是 0：

[2 4 6 0 0 0]

注意和这种写法的区别：

var intSet = [...]int{2, 4, 6}

对于切片来说，一般这样初始化：

var intSlice = []int{2, 4, 6}

// 或基于 intSet 进行初始化
var intSlice = intSet[:]

当然，针对 Slice，更多时候是通过 make 创建，然后其他方式初始化，这里不展开了。

03 特殊的初始化

在 Go语言规范「Composite literals」部分对数组和切片的字面值初始化进行了规定，因为数组和切片类似，我们这里只说切片的情况。

先看组合字面值的 EBNF 表示：

CompositeLit  = LiteralType, LiteralValue .
LiteralType   = StructType | ArrayType | "[", "...", "]", ElementType |
                SliceType | MapType | TypeName .
LiteralValue  = "{", [ ElementList, [ "," ] ], "}" .
ElementList   = KeyedElement, { ",", KeyedElement } .
KeyedElement  = [ Key, ":" ], Element .
Key           = FieldName | Expression | LiteralValue .
FieldName     = identifier .
Element       = Expression | LiteralValue .

从上到下看，简单解释一下：

• 第 1 行，表示组合字面值由 LiteralType 和 LiteralValue 构成，其中 LiteralType 表示组合字面值的类型，LiteralValue 表示值；
• 第 2 行，解释 LiteralType，它可以是 = 后面的类型。允许的类型有：结构体、数组、切片、map 等，其中还可以是类似 […]int 的形式；
• 第 4 行，解释 LiteralValue，它由一对 {} 包裹，其中包含可选的 ElementList；
• 第 5 行，解释 ElementList，它由若干 KeyedElement 组成；
• 第 6 行，解释 KeyedElement，这是该篇题目的重点之处。在 EBNF 中，[] 表示这部分是可选的，因此表示具体元素时，一般 Key 可以省略（map 不能省略），这就是通常数组和切片的初始化语法；

在这个之后，规范上给出了针对数组和切片字面值的应用规则：

1. 数组中的每个元素有一个关联的标记其位置的整数索引。
2. 带键的元素使用该键作为其索引。这个键必须是可被类型 int 所表示的一个非负常量；而且如果其被赋予了类型的话则必须是整数类型。
3. 不带键的元素使用之前元素的索引加一。如果第一个元素没有键，则其索引为零。

根据以上 3 点，我们很容易知道，在 a := []int{2: 1} 中，我们指定了第 3 个元素（注意索引是从 0 开始的）的值为 1，根据数组/切片的特性，自然存在第 1、2 个元素，没有指定值时，Go 会为其设置默认值。因此这个写法和下面的写法等价：

a := []int{0, 0, 1}

对于第 88 期的题目：

var x = []int{4: 44, 55, 66, 1: 77, 88}

指定了第 5 个元素（对应索引是 4），值是 44。根据上面规则的第三点，55、66 都没有指定索引，因此它们的索引是前一个元素的索引加一，即：

5: 55, 6: 66

下一个元素是 1: 77，为其指定了索引 1，因此它的下一元素 88 的索引就是 2 了，因此这个定义相当于如下的定义：

var x = []int{4: 44, 5: 55, 6: 66, 1: 77, 2: 88}

同样，因为数组/切片的特性，缺少的元素（索引 0 和 3）值是 0，而整个切片的长度是最大索引加一，即 7。

04 总结

别觉得这道题目恶心，实际中这么写代码可能也确实会被打（当然，第 87 题的写法还是很有可能的）。这里主要是希望大家多掌握一些规范、细节，我想不少人不清楚，原来数组（切片）也可以指定索引进行初始化。语言语法毕竟必须严谨，而这些都在 Go 语言规范里。

延伸思考：第 88 期的题目，如果改为这样结果又如何？

var x = []int{4: 44, 55, 66, 3: 77, 88}

欢迎大胆的留言说出你的答案！

答案解析来自：https://polarisxu.studygolang.com/posts/go/action/weekly-question-88/。

---

3楼

<-ch1 先执行再 调起

运行时死锁

14楼

函数调用之前，实参就被求值好了。

因此这道题目 go fmt.Println(<-ch1) 语句中的 <-ch1 是在 main goroutine 中求值的。这相当于一个无缓冲的 chan，发送和接收操作都在一个 goroutine 中（main goroutine）进行，因此造成死锁。

31楼

C：运行时死锁 go func(){fmt.Println(<-ch1)}() 就对了

这是 Go语言爱好者周刊第 78 期 的一道题。当时正确率有点低，才 35%，可见不少人的基础还是不扎实。

此题如果改为这样：

package main

import (
	"fmt"
	"time"
)

func main() {
	ch1 := make(chan int)
  go func(){
    fmt.Println(<-ch1)
  }()
	ch1 <- 5
	time.Sleep(1 * time.Second)
}

结果就是 A 了。对比下你能知道原因了吧！

在 Go 语言规范中，关于 go 语句有这么一句描述：

GoStmt = "go" Expression .

The expression must be a function or method call; it cannot be parenthesized. Calls of built-in functions are restricted as for expression statements.

The function value and parameters are evaluated as usual in the calling goroutine, but unlike with a regular call, program execution does not wait for the invoked function to complete.

这里说明，go 语句后面的函数调用，其参数会先求值，这和普通的函数调用求值一样。在规范中调用部分是这样描述的：

Given an expression f of function type F,

f(a1, a2, … an) calls f with arguments a1, a2, … an. Except for one special case, arguments must be single-valued expressions assignable to the parameter types of F and are evaluated before the function is called.

大意思是说，函数调用之前，实参就被求值好了。

因此这道题目 go fmt.Println(<-ch1) 语句中的 <-ch1 是在 main goroutine 中求值的。这相当于一个无缓冲的 chan，发送和接收操作都在一个 goroutine 中（main goroutine）进行，因此造成死锁。

更进一步，大家可以通过汇编看看上面两种方式的不同。

此外，defer 语句也要注意。比如下面的做法是不对的：

defer recover()

而应该使用这样的方式：

defer func() {
  recover()
}()

答案解析来自：https://polarisxu.studygolang.com/posts/go/action/weekly-question-78/。

所以，本题的答案是: C

fatal error: all goroutines are asleep - deadlock!

goroutine 1 [chan receive]:
main.main()
        /Users/robert/Dev/golang/golang_study/daily/2023/03/08/main.go:10 +0x3e
exit status 2

---

11楼

var x = []int{4: 44, 55, 66, 3: 77, 88}

即：

var x = []int{4:44, 5:55, 6:66, 3:77, 4:88}

编译不通：索引4重复了