go - 三个点是否包含多个含义？

Question

据我所知，“...”表示以下代码段中数组的长度。

var days := [...]string { "Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat" } 

另一方面，“...”意味着将 slice y 解包为下面片段中的 int 参数，我猜。我不太确定。

x := []int{1,2,3}
y := []int{4,5,6}
x = append(x, y...)

现在，这两种含义的不同让我很难理解“...”是什么。

Answer 1

您已经注意到 Go 中 ... 的两种情况。其实有3个:

[...]int{1,2,3}

在编译时评估为 [3]int{1,2,3}

a := make([]int, 500)
SomeVariadicFunc(a...)

将 a 解包为函数的参数。这与您错过的可变参数定义相匹配:

func SomeVariadicFunc(a ...int)

现在是进一步的问题(来自对 OP 的评论)——为什么......在所有这些情况下都可以在语义上工作？答案是在英语(和其他语言)中，这是称为 ellipsis .来自那篇文章

Ellipsis (plural ellipses; from the Ancient Greek: ἔλλειψις, élleipsis, "omission" or "falling short") is a series of dots that usually indicates an intentional omission of a word, sentence, or whole section from a text without altering its original meaning.1 Depending on their context and placement in a sentence, ellipses can also indicate an unfinished thought, a leading statement, a slight pause, and a nervous or awkward silence.

在数组的情况下，这匹配“一个单词、句子或整个部分的省略”定义。您省略了数组的大小，让编译器为您计算出来。

在可变参数的情况下，它使用相同的含义，但不同。它也有“未完成的想法”的暗示。我们经常用“...”来表示“等等”。 “我要去买面包、鸡蛋、牛奶……”在这种情况下，“……”表示“其他类似于面包、鸡蛋和牛奶的东西”。例如，append 中的使用表示“此列表的一个元素，以及所有其他元素”。这可能是不太直观的用法，但对于母语人士来说，这是有道理的。也许更“语言纯”的结构应该是 a[0]... 甚至 a[0], a[1], a[2]... 但这会导致空 slice 的明显问题(使用 ... 语法)，更不用说冗长了。

一般来说，“...”用于表示“许多事情”，因此这两种用法都有意义。许多数组元素，许多 slice 元素(虽然一个是创建，另一个是调用)。

我想隐藏的问题是“这是好的语言设计吗？”一方面，一旦你了解了语法，它对大多数以英语为母语的人来说都是非常有意义的，所以从这个意义上说它是成功的。另一方面，不以这种方式重载符号是有值(value)的。我可能会为数组解包选择不同的符号，但我不能因为使用对语言设计者来说可能很直观的符号而责怪他们。特别是因为数组版本甚至不经常使用。

如前所述，这对编译器来说没有问题，因为情况永远不会重叠。你永远不能让 [...] 也意味着“解压”，所以没有符号冲突。

---

(旁白:我省略了它在 Go 中的另一种用法，因为它不在语言本身中，而是在构建工具中。键入 go test ./... 之类的内容意味着“测试这个包，以及这个包的子目录中的所有包”。但是我对其他用途的解释应该很清楚，为什么它在这里有意义。)