Search code examples
goslicevariadic

mixing "exploded" slices and regular parameters in variadic functions


I'm wondering why it's not possible to do the following in go:

func main() {
    stuff := []string{"baz", "bla"}
    foo("bar", stuff...)
}

func foo(s ...string) {
    fmt.Println(s)
}

In my understanding, slice... "explodes" the slice so it can be used for multi argument function calls. So the above example should actually expand to foo("bar", "baz", "bla").

foo(stuff...) works as expected, no surprises here, but in the example above, the compiler complains about too many arguments.

Is this a desired limitation? I'm coming from a ruby background where a foo("bar", *stuff) is perfectly fine (and is, at least in my book, the same thing), that's why this surprises me.


Solution

  • The value for a variadic argument can be specified either by enumerating the elements, or using an existing slice, specified by its name followed by ....

    You want to mix the 2 possible ways which is not permitted by the Go Language Specification (Passing arguments to ... parameters).

    If the first form is used (enumerating the elements):

    The value passed [as the variadic parameter] is a new slice of type []T with a new underlying array whose successive elements are the actual arguments.

    If the latter is used (passing an existing slice followed by ...) no new slice is created, the one you pass is used as is. And the passed slice can only be used to specify the value of one – the final – variadic parameter. Attempting to pass both a single element and a slice will not match the signature (the parameter list in this case) of your function and you'll get an error:

    too many arguments in call to foo
    

    There is no actual "exploding" involved in Go, the term is just used in other languages to help visualize that the passed array or slice will not be an element of the variadic parameter but will be the value of variadic parameter itself.

    Mixing the 2 would require to allocate a new slice because obviously the existing slice cannot be used.