Go 语言中，如果想让一个函数接受数量不定的参数，并不需要手动构造切片再传入。函数签名里在类型前加上三个点，比如 func sum(nums ...int) int，编译器就会自动把调用时传入的零个或多个实参收集成一个 []int 切片。这个特性让函数调用更加自然，但背后的切片传递机制也带来了一些容易踩坑的行为。
一、可变参数函数的声明规则和基本用法
在Go里，声明一个可变参数函数的语法很直接：把类型前面的三个点放在参数列表最后。例如 func sum(nums ...int) int 表示 sum 接收任意个 int 参数。编译器会把调用时传递的参数收集成一个 []int 切片，函数体内的 nums 就是一个普通的切片。
可变参数必须作为形参列表中的最后一个参数，而且一个函数最多只能有一个可变参数。如果把 ...int 放在其他参数前面，编译会直接报错。这个限制不难理解：编译器需要明确的边界来确定哪些实参属于可变参数。
调用时可以传零个、一个或多个整数，不需要事先创建切片。比如 sum() 返回 0，sum(1,2,3) 返回 6。下面是一个完整的求和函数：
package main
import "fmt"
func sum(nums ...int) int {
total := 0
for _, n := range nums {
total += n
}
return total
}
func main() {
fmt.Println(sum()) // 0
fmt.Println(sum(1, 2, 3)) // 6
}
二、展开切片与底层数组共享的陷阱
如果你已经有一个 int 类型的切片，想把它的元素传给可变参数函数，需要使用展开操作符 ...。例如 nums := []int{1,2,3}; sum(nums...)。从语义上看这像是把切片的元素一个个传进去，但实际发生的事情是函数内部创建的 nums 切片头复制了原切片的指针、长度和容量，底层数组仍然是同一个。
这意味着函数内部对可变参数切片元素的修改会直接影响调用方的切片。下面的代码可以清楚地说明这一点：
package main
import "fmt"
func modify(nums ...int) {
nums[0] = 100
}
func main() {
original := []int{1, 2, 3}
modify(original...)
fmt.Println(original) // [100 2 3]
}
但如果函数内部执行 append 操作，情况就不一样了。append 会检查容量，如果容量不足，Go 会分配新的底层数组，原切片不会受到影响。如果容量足够，append 会在原底层数组上修改，调用方也可能观察到变化。这种不确定性正是容易踩坑的地方。
为了避免函数意外修改调用方的数据，可以在函数内部先复制一份数据再处理，或者调用前显式创建副本。如果函数的目的就是修改传入的切片，那就应该明确命名和文档说明。
三、空接口可变参数与格式化输出
可变参数的类型不仅可以是具体类型，也可以是空接口 interface{}。例如 func printAll(args ...interface{}) 可以接收任意数量、任意类型的参数。这在日志、调试输出和格式化函数中非常常见。
在函数体内，args 是一个 []interface{}，遍历时可以配合 fmt.Printf 的 %T 和 %v 打印类型和值，也可以使用类型断言处理特定类型。下面是一个简单示例：
package main
import "fmt"
func printAll(args ...interface{}) {
for i, arg := range args {
fmt.Printf("参数 %d: 类型=%T 值=%v\n", i, arg, arg)
}
}
func main() {
printAll(42, "hello", true, 3.14)
}
需要注意的是，每次把具体值传给空接口参数都会发生装箱，可能带来堆分配。对于性能敏感的热路径，频繁使用空接口可变参数会造成不必要的开销。此时可以考虑使用泛型替代，或者定义针对具体类型的重载函数。
四、可变参数函数的设计选择与性能考量
可变参数函数用起来灵活，但并不是所有场景都适合。如果调用方已经持有切片，直接定义成接收切片的函数往往更清晰，也能避免展开操作带来的共享歧义。比如 func sum(nums []int) int 和 func sum(nums ...int) int 在函数体内部几乎一样，但前者在调用时明确传递切片，后者则允许逐个传参。
从性能角度看，可变参数函数在调用时通常会分配一个切片来存放所有实参。当实参数量不多且类型为具体类型时，编译器有机会在栈上分配，代价很小。但如果实参数量很大，或者使用空接口，就需要注意额外的内存分配和拷贝。设计公共 API 时，不要因为可变参数看起来方便就过度使用。
可变参数还有一个经典应用是选项模式。比如定义一个服务器结构体，通过 func NewServer(addr string, opts ...Option) *Server 让调用方按需传入超时时间、缓冲区大小等配置，同时保持 API 简洁。下面是一个简化的选项模式示例：
package main
import "fmt"
type Server struct {
addr string
timeout int
}
type Option func(*Server)
func WithTimeout(ms int) Option {
return func(s *Server) {
s.timeout = ms
}
}
func NewServer(addr string, opts ...Option) *Server {
s := &Server{addr: addr, timeout: 3000}
for _, opt := range opts {
opt(s)
}
return s
}
func main() {
s := NewServer("127.0.0.1:8080", WithTimeout(5000))
fmt.Printf("%+v\n", s)
}
这种模式让零配置和自定义配置都能用同一套函数签名表达，调用方不需要为了加一个参数而修改函数签名。整体上，可变参数函数在 Go 中是很实用的语言特性，理解其切片本质并合理控制副作用，就能发挥它最大的价值。