5.7. 可变参数

参数数量可变的函数称为可变参数函数。典型的例子就是fmt.Printf和类似函数。Printf首先接收一个必备的参数,之后接收任意个数的后续参数。

在声明可变参数函数时,需要在参数列表的最后一个参数类型之前加上省略符号“…”,这表示该函数会接收任意数量的该类型参数。

gopl.io/ch5/sum

  1. func sum(vals...int) int {
  2. total := 0
  3. for _, val := range vals {
  4. total += val
  5. }
  6. return total
  7. }

sum函数返回任意个int型参数的和。在函数体中,vals被看作是类型为[] int的切片。sum可以接收任意数量的int型参数:

  1. fmt.Println(sum()) // "0"
  2. fmt.Println(sum(3)) // "3"
  3. fmt.Println(sum(1, 2, 3, 4)) // "10"

在上面的代码中,调用者隐式的创建一个数组,并将原始参数复制到数组中,再把数组的一个切片作为参数传给被调用函数。如果原始参数已经是切片类型,我们该如何传递给sum?只需在最后一个参数后加上省略符。下面的代码功能与上个例子中最后一条语句相同。

  1. values := []int{1, 2, 3, 4}
  2. fmt.Println(sum(values...)) // "10"

虽然在可变参数函数内部,…int 型参数的行为看起来很像切片类型,但实际上,可变参数函数和以切片作为参数的函数是不同的。

  1. func f(...int) {}
  2. func g([]int) {}
  3. fmt.Printf("%T\n", f) // "func(...int)"
  4. fmt.Printf("%T\n", g) // "func([]int)"

可变参数函数经常被用于格式化字符串。下面的errorf函数构造了一个以行号开头的,经过格式化的错误信息。函数名的后缀f是一种通用的命名规范,代表该可变参数函数可以接收Printf风格的格式化字符串。

  1. func errorf(linenum int, format string, args ...interface{}) {
  2. fmt.Fprintf(os.Stderr, "Line %d: ", linenum)
  3. fmt.Fprintf(os.Stderr, format, args...)
  4. fmt.Fprintln(os.Stderr)
  5. }
  6. linenum, name := 12, "count"
  7. errorf(linenum, "undefined: %s", name) // "Line 12: undefined: count"

interface{}表示函数的最后一个参数可以接收任意类型,我们会在第7章详细介绍。

练习5.15: 编写类似sum的可变参数函数max和min。考虑不传参时,max和min该如何处理,再编写至少接收1个参数的版本。

练习5.16:编写多参数版本的strings.Join。

练习5.17:编写多参数版本的ElementsByTagName,函数接收一个HTML结点树以及任意数量的标签名,返回与这些标签名匹配的所有元素。下面给出了2个例子:

  1. func ElementsByTagName(doc *html.Node, name...string) []*html.Node
  2. images := ElementsByTagName(doc, "img")
  3. headings := ElementsByTagName(doc, "h1", "h2", "h3", "h4")