Go语言切片[:]语法作用解析——以sha1源码为例

首先要明确：在你提到的crypto/sha1源码片段里，hash的类型是固定大小的数组[20]byte，而非切片[]byte。你测试中看到的效果相同，是因为Go对数组和切片的可变参数展开规则允许两种写法，但源码里使用hash[:]...有这些关键原因：

• 显式语义表达：hash[:]显式将数组转换为切片，传递的是“连续的字节序列”而非“20个独立的字节元素”，更贴合SHA1哈希值作为一个整体字节块的语义，让阅读代码的人一眼明白这里是把完整的哈希值追加到输入切片中。
• 符合通用编码习惯：在Go中，将切片通过...展开传递给可变参数函数是最常见的写法，而直接展开数组的写法相对少见。使用hash[:]...能让代码更符合Go开发者的普遍认知，降低阅读成本。
• 避免隐式转换的歧义：虽然hash...在语法上可行（Go会自动将数组展开为对应数量的元素），但这种隐式展开的行为不如显式的切片转换直观，尤其对于不熟悉数组可变参数规则的开发者来说，hash[:]...的意图更清晰。

补充说明：当你使用hash[:]时，Go会创建一个基于原数组的切片（底层数组就是hash本身，无额外内存分配），再通过...将切片的元素展开传递给append，和直接展开数组元素的最终效果完全一致，但前者的代码意图更明确。

内容的提问来源于stack exchange，提问作者smiletrl