【GO】Go 三个点省略号"..."使用总结

Go语言中省略号"..."有3种用法，下面会一一介绍。

Tips：以下测试程序中所涉及地址在不同机器打印也不同。
目录

使用在数组中

打散Slice

变长的函数参数

使用在数组中

q := [...]int{1,2,3}
fmt.Printf("%T
",q) //"[3]int"

在数组字面量中，如果省略号"..."出现在数组长度的位置，那么数组的长度由初始化数组的元素个数决定。

打散Slice

package main

import (
"fmt"
)

func main() {
var arr1 []int
arr2 := []int{1,2,3}
arr1 = append(arr1,0)    
arr1 = append(arr1,arr2...)    //arr2... 将切片arr2打散成 ==> arr1 = append(arr1,1,2,3)
fmt.Printf("%v
",arr1)

var arr3 []byte
arr3 = append(arr3,[]byte("hello")...) 
fmt.Printf("%s
",arr3)
}

运行结果：

 

上面例子中append函数的参数后面的省略号表示如何将一个slice转换为参数列表。

变长的函数参数

package main

import (
"fmt"
)

func f1(parms ...int){
for i,v := range parms {
fmt.Printf("%v %v
",i,v)
}
}

func main() {
f1(0，1，2)
}

运行结果：

 

在参数列表最后的类型名称之前使用省略号“...”表示声明一个变成函数，调用这个函数的时候可以传递该类型任意数目的参数。

尽管...type参数就像函数体内的slice，但变长函数的类型和带有普通slice参数的函数类型不相同，所以在传参的时候也是有所区别。...type格式的类型只能作为函数的参数类型存在，并且必须是最后一个参数。它是一个语法糖（syntactic sugar），即这种语法对语言的功能并没有影响，但是更方便程序员使用。

如果不使用...type，则必须这样：

package main

import (
"fmt"
)

func f1(parms []int){
for i,v := range parms {
fmt.Printf("f2:%v %v
",i,v)
}
}

func main() {
b := []int{0,1,2}
f1(b) 
}

结果与上面一样。

以上算是比较基本的用法，但是实际工作中可能会遇到一些别的情况。

情况一

package main

import (
"fmt"
)

func f1(parms ...int){
fmt.Printf("%T
",parms)
for i,v := range parms {
fmt.Printf("f1:%v %v
",i,v)
}
}

func main() {
b := []int{0,1,2}
//f1(b) //error
f1(b...) 
}

上面已经说明:尽管...type参数就像函数体内的slice，但变长函数的类型和带有普通slice参数的函数类型不相同。所以f1(b)会发生错误，因为类型不匹配。而这里在slice后面加...，将slice打散，传入f1。

同时也可以知道，parms类型是[]int，所以在函数f1里面，parms就是一个int类型的切片。

情况二

package main

import (
"fmt"
)

func f2(a ...int){
fmt.Printf("f2 %T
",a)
fmt.Printf("f2 %v
",a)
fmt.Printf("f2 %p
",a)
}

func f1(a ...int){
fmt.Printf("f1 %v
",a)
fmt.Printf("f1 %p
",a)
//f2(a) //error
f2(a...)
}

func main() {
f1(1,2,3)
}

从情况一知道，在f1中a是slice，再次传入到f2函数中，必须将slice打散操作，不然发生类型不匹配的错误。

但是我们把 ...int 改为 ...interface{} ，再看下面的例子：

package main

import (
"fmt"
)

func f2(a ...interface{}){
fmt.Printf("f2 %T
",a)
fmt.Printf("f2 %v
",a)
fmt.Printf("f2 %p
",a)
}

func f1(a ...interface{}){
fmt.Printf("f1 %v
",a)
fmt.Printf("f1 %p
",a)
f2(a)
f2(a...)
}

func main() {
f1(1,2,3)
}

发现在f2(a)没有发生错误，但是仔细看看打印的结果[[1 2 3]]是数组为元素的数组类型。这都归功于interface{}这个万能类型，它将f2(a)中的a作为一个参数传入，a在f2函数中，是[]interface{}类型。比如：

package main

import (
"fmt"
)

func f1(a ...interface{}){
fmt.Printf("f1 %v
",a)
}

func main() {
arr := []int{1,2,3}
arr2 := []int{11,22,33}
f1(arr,arr2,111,222,333
}

情况三

package main

import (
"fmt"
)

func f1(a ...interface{}){
fmt.Printf("f1 %v
",a)
}

func main() {
arr := []int{1,2,3}
f1(arr...)
}

  

这和情况一看起来差不多，但是这里怎么出错了？

我们从错误提示可以看出：[]int 不能作为 []interface{}类型传入f1。换句话说，就是类型不匹配。

但是interface{}不是万能类型嘛？从情况二可以看出。

这里可能是一个误区，虽然interface{}是万能类型，但是[]interface{}并不是万能类型，它本质是slice，只不过slice的成员都是万能类型interface{}，就像[]int和[]string是不同类型slice，所以错误是因为类型不匹配。也可以看看官方怎么解释[]interface{}。

结合下面例子再理解。

package main

import (
"fmt"
)

func f2(a interface{}){
fmt.Printf("f2 %v
",a)
}

func f3(a []interface{}){
fmt.Printf("f3 %v
",a)
}

func f4(a []int){
fmt.Printf("f4 %v
",a)
}

func main() {
arr := []int{1,2,3}

f2(arr) //[]int -> interface{}    

//f3(arr)    //error 类型不匹配[]int -> []interface{}

f4(arr)
}

那如何修改情况三第一个例子，如下：

package main

import (
"fmt"
)

func f1(a ...interface{}){
fmt.Printf("f1 %v
",a)
}

func main() {
var arr []interface{}
arr = append(arr,1,2,3)
f1(arr...)
}

以上大概就是Go语言的省略号"..."的所有用法和遇到的问题了。

参考文章：

http://c.biancheng.net/view/60.html
https://blog.csdn.net/jeffrey11223/article/details/79166724