在Go语言里，如果函数接收的参数个数在编译期无法确定，可以使用可变参数（variadic parameter）机制。它允许调用者传入零个或多个指定类型的实参，而函数内部统一以切片方式处理。这种写法常见于格式化输出、日志打印以及工具类聚合计算。
一、可变参数函数的基本语法
Go使用省略号...来标记可变参数，它必须出现在参数列表的最后一个位置。声明时，类型前面加上...，函数体内该参数即为对应类型的切片。例如下面这个函数可以接收任意数量的整数并返回它们的总和。
package main
import "fmt"
// sum 接收不定数量的int参数
func sum(nums ...int) int {
total := 0
for _, v := range nums {
total += v
}
return total
}
func main() {
fmt.Println(sum(1, 2, 3))
fmt.Println(sum(10, 20))
fmt.Println(sum())
}
上述代码中，nums的类型是[]int，调用sum(1,2,3)时，Go自动将这三个字面量打包成切片传入。当不传任何参数时，nums为空切片而非nil，因此循环安全。
需要注意的是，一个函数只能有一个可变参数，且必须放在末尾。如果尝试写成func f(a ...int, b string)将直接导致编译错误。若业务确实需要混合类型，通常借助空接口...interface{}配合类型断言，或定义结构体切片作为参数传入。
二、切片展开与传参差异
当已有切片数据需要传给可变参数函数时，不能把切片当普通参数直接传，而要在切片后追加...进行展开。这个操作让编译器把切片元素逐个映射为函数形参。
package main
import "fmt"
func printAll(items ...string) {
for _, s := range items {
fmt.Println(s)
}
}
func main() {
list := []string{"go", "rust", "c"}
// 错误写法：printAll(list) 编译不通过
printAll(list...) // 正确展开方式
}
展开操作并不会复制底层数组，而是复用原切片头信息，因此函数内若修改元素内容（针对引用类型或结构体字段）会反映到原切片。但若在函数里对可变参数切片执行append导致扩容，则不会影响调用方的原切片。
另一个容易混淆的点是：可变参数传递的是切片值（slice header），属于值传递。也就是说函数拿到的是切片描述符副本，修改副本的指向不会影响外界，但修改底层元素值会同步，这和普通切片传参行为一致。
三、常见实战应用场景
可变参数在编写通用工具时非常高效。下面示例封装了一个简易日志函数，支持动态字段输出，避免每次拼接字符串。
package main
import (
"fmt"
"time"
)
func logInfo(format string, args ...interface{}) {
ts := time.Now().Format("15:04:05")
fmt.Printf("[%s] %sn", ts, fmt.Sprintf(format, args...))
}
func main() {
logInfo("user %s login from %s", "alice", "127.0.0.1")
logInfo("task done, cost %d ms", 120)
}
这里args ...interface{}结合fmt.Sprintf实现了类似标准库log.Printf的效果。因为interface{}可承载任何类型，所以调用方传参极为灵活。不过要注意类型数量必须与格式化占位符匹配，否则运行期会报错。
在中间件或批量处理中，也可用可变参数收集任务。比如一个合并配置的函数：func mergeConfig(base map[string]string, overrides ...map[string]string)，调用方可不断传入多个覆盖层，函数依次合并，代码可读性比传二维切片更好。
四、避坑与性能考量
虽然可变参数方便，但频繁创建临时切片会带来轻微分配开销。在极热路径（如每秒百万次调用）中，如果参数个数固定，最好提供特定参数版本以避免打包切片。例如标准库fmt除了Println(a ...interface{})也有针对少数参数的内部快路径。
package main
import "testing"
func benchFixed(a, b int) int { return a + b }
func benchVar(nums ...int) int {
s := 0
for _, v := range nums {
s += v
}
return s
}
func BenchmarkFixed(b *testing.B) {
for i := 0; i < b.N; i++ {
benchFixed(1, 2)
}
}
func BenchmarkVar(b *testing.B) {
for i := 0; i < b.N; i++ {
benchVar(1, 2)
}
}
测试通常显示固定参数版本略快，因为省去了切片初始化。但在绝大多数业务代码里，这点差异可以忽略，开发效率优先。此外，递归函数中使用可变参数要小心，每次调用都会生成新切片，深度过大时内存占用会快速上升。
最后提醒，不要把可变参数和函数选项模式（functional options）混淆。后者一般传若干闭包func(*Config)，虽也常用...接收，但语义是配置注入，与单纯收集同类型数据不同。理解底层切片机制，才能在API设计上做出合理选择。