Swift中的“cons”运算符/函数/方法在哪里？

Question

许多函数语言都有一个cons运算符。它返回不可变列表或类似数组类型的结果，并在恒定时间内将新元素附加到末尾。

作为伪代码示例，[1,2]： 3将计算为[1,2,3]。

Swift已使用append在摊销固定时间内将元素添加到数组（附带一些注意事项）。但是，append需要一个可变的数组。我可以从一个不可变的数组创建一个可变的数组，然后再添加append，但我非常惊讶的是，似乎没有一个现有的函数或操作符为我这样做，并提供摊销的恒定时间保证（如果没有共享）。

Answer 1

这本身不是cons运算符，但您可以对数组使用运算符，以“构造html" target="_blank">函数样式”将数组附加或前置到可变或不可变数组上；用连接的结果构造一个新数组。

来自Swift语言指南-收藏类型：

通过将两个数组相加来创建数组

通过使用加法运算符（）将两个具有兼容类型的现有数组相加，可以创建一个新数组。新数组的类型是根据您添加到一起的两个数组的类型推断出来的：

......

即。，

let foo = [1, 2]
let bar = foo + [3]    // [1, 2, 3], "cons(foo, 3)"
let baz = [-1, 0] + bar // [-1, 0, 1, 2, 3], "cons([-1, 0], bar)"

然而，请注意，这不会在摊销常数时间中运行，因为我们需要分配新的内存并将结果复制到其中。然而，由于数组是Swift中的值类型，我看不出对不可变数组的任何操作——例如我们创建一个新的不可变数组——如何在常数时间中运行，因为我们总是需要为此进行复制（即使有时，这可能是懒惰地执行的）。

因此，上述方法的性能与使用构造新数组没有区别。追加/。在现有可变内容上追加内容，然后复制；前一步在摊销的固定时间内运行（由于阵列空间的预分配呈指数增长），但后一步在线性时间内运行。