Answers:
在第二个切片之后添加点:
//---------------------------vvv
append([]int{1,2}, []int{3,4}...)
就像任何其他可变参数函数一样。
func foo(is ...int) {
for i := 0; i < len(is); i++ {
fmt.Println(is[i])
}
}
func main() {
foo([]int{9,8,7,6,5}...)
}
foo()
上面的示例中,is
参数保存原始切片的副本,也就是说,该参数具有对同一基础数组len和cap的轻量引用的副本。如果foo
函数更改了成员,则更改将在原始成员上看到。这是一个演示。因此,唯一真正的开销是,如果您还没有一个新的切片,它将创建一个新的切片,例如:foo(1, 2, 3, 4, 5)
这将创建一个新的切片来is
保存。
可变参数函数
append
将零个或多个值附加x
到s
typeS
(必须是切片类型),并返回结果切片(也是type)S
。这些值x
将传递到类型为的参数,...T
其中T
是的元素类型,S
并且适用各自的参数传递规则。作为特殊情况,append还接受可分配给type[]byte
的第一个参数,string
其后是type 的第二个参数...
。这种形式附加了字符串的字节。append(s S, x ...T) S // T is the element type of S s0 := []int{0, 0} s1 := append(s0, 2) // append a single element s1 == []int{0, 0, 2} s2 := append(s1, 3, 5, 7) // append multiple elements s2 == []int{0, 0, 2, 3, 5, 7} s3 := append(s2, s0...) // append a slice s3 == []int{0, 0, 2, 3, 5, 7, 0, 0}
如果
f
是带有最终参数类型的可变参数...T
,则函数中的参数等于类型参数[]T
。在每次调用时f
,传递给final参数的参数是一个新的type切片,[]T
其连续元素是实际参数,所有这些参数都必须可分配给typeT
。因此,切片的长度是绑定到最终参数的参数个数,并且对于每个调用站点可能有所不同。
您的问题的答案是Go编程语言规范s3 := append(s2, s0...)
中的示例。例如,
s := append([]int{1, 2}, []int{3, 4}...)
没有其他答案,但是我发现文档中的简短解释比其中的示例更容易理解:
功能附加
func append(slice []Type, elems ...Type) []Type
append内置函数将元素追加到切片的末尾。如果具有足够的容量,则将目标切片为容纳新元素。如果没有,将分配一个新的基础数组。追加返回更新的切片。因此,有必要将append的结果存储在通常包含切片本身的变量中:slice = append(slice, elem1, elem2) slice = append(slice, anotherSlice...)
作为一种特殊情况,将字符串附加到字节片是合法的,如下所示:
slice = append([]byte("hello "), "world"...)
我认为必须指出并知道,如果目标切片(您追加到的切片)具有足够的容量,则通过将目标切片(为了增加长度而必须增加其长度),追加将“就地” 进行能够容纳附加元素)。
这意味着,如果目标是通过切片更大的数组或切片而创建的,而该数组或切片中包含超出生成的切片长度的其他元素,则它们可能会被覆盖。
为了演示,请参见以下示例:
a := [10]int{1, 2}
fmt.Printf("a: %v\n", a)
x, y := a[:2], []int{3, 4}
fmt.Printf("x: %v, y: %v\n", x, y)
fmt.Printf("cap(x): %v\n", cap(x))
x = append(x, y...)
fmt.Printf("x: %v\n", x)
fmt.Printf("a: %v\n", a)
输出(在Go Playground上尝试):
a: [1 2 0 0 0 0 0 0 0 0]
x: [1 2], y: [3 4]
cap(x): 10
x: [1 2 3 4]
a: [1 2 3 4 0 0 0 0 0 0]
我们创建了一个a
带有length 的“支持”数组10
。然后,我们x
通过切片该a
数组来创建目标切片,y
使用复合文字创建切片[]int{3, 4}
。现在,当我们追加y
到x
,结果是预期的[1 2 3 4]
,但什么可奇怪的是,支持数组a
也发生了变化,由于产能x
就是10
这足以追加y
到它,所以x
是resliced这也将使用相同的a
支持数组,并append()
将复制其中的元素y
。
如果要避免这种情况,可以使用具有以下形式的完整切片表达式
a[low : high : max]
构造切片,并通过将切片设置为来控制所得切片的容量max - low
。
请参见修改后的示例(唯一的区别是我们创建时x
像这样x = a[:2:2]
:
a := [10]int{1, 2}
fmt.Printf("a: %v\n", a)
x, y := a[:2:2], []int{3, 4}
fmt.Printf("x: %v, y: %v\n", x, y)
fmt.Printf("cap(x): %v\n", cap(x))
x = append(x, y...)
fmt.Printf("x: %v\n", x)
fmt.Printf("a: %v\n", a)
输出(在Go Playground上尝试)
a: [1 2 0 0 0 0 0 0 0 0]
x: [1 2], y: [3 4]
cap(x): 2
x: [1 2 3 4]
a: [1 2 0 0 0 0 0 0 0 0]
如您所见,我们得到了相同的x
结果,但是后备数组a
没有改变,因为的容量x
是“ only” 2
(由于完整slice表达式a[:2:2]
)。因此,要执行追加操作,将分配一个新的支持数组,该数组可以存储x
and 的元素,这与y
有所不同a
。
我想强调@icza的答案,并对其进行一些简化,因为它是一个至关重要的概念。我认为读者熟悉切片。
c := append(a, b...)
这是对这个问题的有效答案。 但是,如果以后需要在不同上下文中的代码中使用切片“ a”和“ c”,则这不是连接切片的安全方法。
为说明起见,让我们不要根据切片而是根据基础数组来读取表达式:
“采用(底层)'a'数组,并将数组'b'中的元素追加到其上。如果数组'a'具有足够的容量以包含'b'中的所有元素-底层'c'数组将不是新数组,实际上它将是数组'a'。基本上,切片'a'将显示基础数组'a'的len(a)个元素,而切片'c'将显示数组'a'的len(c)。”
append()不一定会创建一个新数组!这可能会导致意外结果。请参阅Go Playground示例。
如果要确保为切片分配新数组,请始终使用make()函数。例如,这里很少有丑陋但足够有效的选择。
la := len(a)
c := make([]int, la, la + len(b))
_ = copy(c, a)
c = append(c, b...)
la := len(a)
c := make([]int, la + len(b))
_ = copy(c, a)
_ = copy(c[la:], b)
可以使用append
标准golang库中的方法将两个切片连接起来。这类似于variadic
功能操作。所以我们需要使用...
package main
import (
"fmt"
)
func main() {
x := []int{1, 2, 3}
y := []int{4, 5, 6}
z := append([]int{}, append(x, y...)...)
fmt.Println(z)
}
上面的代码的输出是:[1 2 3 4 5 6]
append([]int{1,2}, []int{3,4}...)
将工作。将...
参数传递给参数。
如果f
是可变参数,其最终参数p
为type ...T
,则f
type内p
等于type []T
。
如果f
在没有实际参数的情况下调用p
,则传递给的p
值为nil
。
否则,传递的值是[]T
带有新的基础数组的类型的新切片,该基础数组的连续元素是实际参数,所有参数都必须可分配给T
。因此,分片的长度和容量是绑定到p
每个调用站点的参数的数量,并且每个调用站点的参数可能不同。
给定功能和调用
func Greeting(prefix string, who ...string)
Greeting("nobody")
Greeting("hello:", "Joe", "Anna", "Eileen")
append()
一个可变参数函数,并且...
允许您从切片将多个参数传递给可变参数函数。