Fungsi Variadic di Golang: Parameter ...T dan Spread s...

Parameter ...T

Taruh ... sebelum tipe parameter terakhir. Pemanggil lalu bisa mengirim argumen bertipe itu sebanyak apa pun, termasuk tanpa argumen sama sekali. Di dalam fungsi, parameternya berupa slice.

package main

import "fmt"

func sum(nums ...int) int {
	total := 0
	for _, n := range nums {
		total += n
	}
	return total
}

func main() {
	fmt.Println(sum())
	fmt.Println(sum(5))
	fmt.Println(sum(1, 2, 3, 4))
}

Program ini mencetak 0, 5, dan 10. Tanpa argumen, nums adalah slice nil dengan panjang 0, jadi perulangannya tidak dijalankan.

Parameter biasa boleh ditaruh lebih dulu. Hanya parameter terakhir yang boleh variadic:

func logf(level string, format string, args ...any)

Mengirim slice dengan s...

Kalau kamu sudah punya slice, kamu tidak bisa mengirimnya langsung: sum(nums) gagal dengan cannot use nums (variable of type []int) as int value in argument to sum. Sebarkan dengan ... setelah argumennya:

package main

import "fmt"

func sum(nums ...int) int {
	total := 0
	for _, n := range nums {
		total += n
	}
	return total
}

func main() {
	nums := []int{10, 20, 30}
	fmt.Println(sum(nums...))

	more := append([]int{1, 2}, nums...)
	fmt.Println(more)
}

append juga variadic, dan itulah sebabnya menggabungkan dua slice ditulis append(a, b...).

Spread harus menjadi satu-satunya isi di posisi variadic. sum(1, nums...) gagal dengan too many arguments in call to sum. Bangun slice gabungannya lebih dulu dengan append.

Slice-nya dipakai bersama, bukan disalin

Saat kamu memanggil dengan argumen satuan, Go membuat slice baru untuk argumen-argumen itu. Saat kamu menyebarkan slice yang sudah ada dengan s..., fungsi menerima slice yang sama persis. Menulis ke elemennya mengubah data milik pemanggil.

package main

import "fmt"

func zeroFirst(xs ...int) {
	if len(xs) > 0 {
		xs[0] = 0
	}
}

func main() {
	nums := []int{7, 8, 9}

	zeroFirst(nums[0], nums[1], nums[2])
	fmt.Println(nums) // untouched: a new slice was built

	zeroFirst(nums...)
	fmt.Println(nums) // changed: the same backing array
}

Output:

[7 8 9]
[0 8 9]

Fungsi variadic yang mengubah parameternya sebaiknya menuliskan hal itu di dokumentasinya, atau menyalin lebih dulu dengan slices.Clone. Sebagian besar fungsi variadic hanya membaca argumennya, jadi masalah ini jarang muncul, tetapi ini perbedaan nyata dari bahasa yang rest parameter-nya selalu berupa array baru.

...any dan cara kerja fmt.Println

fmt.Println dideklarasikan sebagai func Println(a ...any) (n int, err error). any (alias untuk interface{} sejak Go 1.18) menerima semua tipe, jadi kamu bisa mengirim string, angka, dan struct dalam satu panggilan.

package main

import (
	"fmt"
	"strings"
)

func logf(level, format string, args ...any) {
	prefix := "[" + strings.ToUpper(level) + "] "
	fmt.Printf(prefix+format+"\n", args...)
}

func main() {
	logf("info", "server started on port %d", 8080)
	logf("warn", "%d of %d workers idle", 3, 8)
	logf("error", "no arguments here")
}

Hal pentingnya ada di penerusan: logf meneruskan args... ke Printf. Tanpa titik-titik itu, Printf menerima satu argumen, yaitu []any, dan baris peringatannya tercetak [WARN] [3 8] of %!d(MISSING) workers idle. go vet melaporkan missing ... in args forwarded to printf-like function hanya kalau parameter format diteruskan tanpa diubah, seperti di fmt.Printf(format, args). Di sini format-nya dibangun dengan +, jadi vet diam saja dan titik-titik itu jadi tanggung jawabmu.

[]string tidak bisa disebarkan ke ...any. Tipe elemennya harus sama persis, jadi konversikan lebih dulu:

names := []string{"a", "b"}
args := make([]any, len(names))
for i, n := range names {
	args[i] = n
}
fmt.Println(args...)

Mewajibkan minimal satu argumen

Parameter variadic menerima nol argumen. Kalau fungsinya butuh minimal satu, jadikan argumen pertama sebagai parameter biasa:

package main

import "fmt"

func maxOf(first int, rest ...int) int {
	m := first
	for _, n := range rest {
		m = max(m, n)
	}
	return m
}

func main() {
	fmt.Println(maxOf(3))
	fmt.Println(maxOf(3, 9, 4))
}

Sekarang maxOf() menjadi error kompilasi, bukan pemeriksaan saat program berjalan. Fungsi bawaan max sendiri bekerja dengan cara yang sama: ia butuh minimal satu argumen.

Parameter variadic sebagai argumen opsional

Go tidak punya nilai default untuk parameter. Parameter variadic kadang dipakai untuk meniru satu argumen opsional:

func connect(addr string, timeout ...time.Duration)

Cara ini bisa dipakai tetapi kurang enak dibaca, karena pemanggil bisa mengirim tiga timeout dan signature-nya tidak menjelaskan mana yang dipakai. Untuk lebih dari satu opsi, lebih baik pakai struct konfigurasi, atau pola functional options (...Option, dengan setiap Option berupa fungsi yang mengisi sebuah field). Pola itu memang variadic, tetapi setiap argumennya punya arti yang jelas.

Ringkasan aturan