Golang Variadic Fonksiyonlar: ...T Parametreleri ve s... ile Açma

...T parametresi

Son parametrenin tipinden önce ... koyun. Çağıranlar o zaman o tipten, hiç olmaması dahil, istediği sayıda argüman aktarabilir. Fonksiyonun içinde parametre bir slice'tır.

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))
}

Bu 0, 5 ve 10 yazdırır. Argüman olmadığında nums uzunluğu 0 olan nil bir slice'tır, bu yüzden döngü hiç çalışmaz.

Normal parametreler önce gelebilir. Yalnızca sonuncusu variadic olabilir:

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

Bir slice'ı s... ile aktarmak

Elinizde zaten bir slice varsa onu doğrudan aktaramazsınız: sum(nums), cannot use nums (variable of type []int) as int value in argument to sum hatasıyla başarısız olur. Argümandan sonra ... ile açın:

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 da variadic'tir; iki slice'ı birleştirmenin append(a, b...) olmasının nedeni budur.

Açma, variadic konumdaki tek şey olmalıdır. sum(1, nums...), too many arguments in call to sum hatasıyla başarısız olur. Birleşik slice'ı önce append ile oluşturun.

Slice paylaşılır, kopyalanmaz

Tek tek argümanlarla çağırdığınızda Go onlar için yeni bir slice oluşturur. Var olan bir slice'ı s... ile açtığınızda fonksiyon o slice'ın kendisini alır. Elemanlarına yazmak çağıranın verisini değiştirir.

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
}

Çıktı:

[7 8 9]
[0 8 9]

Parametresini değiştiren variadic bir fonksiyon bunu belgelemeli ya da önce slices.Clone ile kopyalamalıdır. Çoğu variadic fonksiyon argümanlarını yalnızca okur, bu yüzden bu nadiren sorun çıkarır, ama rest parametrelerinin her zaman yeni bir dizi olduğu dillerden gerçek bir farktır.

...any ve fmt.Println nasıl çalışır

fmt.Println, func Println(a ...any) (n int, err error) olarak tanımlanmıştır. any (Go 1.18'den beri interface{} için bir takma ad) her tipi kabul eder, bu yüzden string'leri, sayıları ve struct'ları tek bir çağrıda aktarabilirsiniz.

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")
}

Önemli ayrıntı iletmedir: logf, args...'ı Printf'e aktarır. Noktalar olmadan Printf tek bir argüman, bir []any, alır ve uyarı satırı [WARN] [3 8] of %!d(MISSING) workers idle yazdırır. go vet, missing ... in args forwarded to printf-like function uyarısını yalnızca format parametresi fmt.Printf(format, args) örneğindeki gibi değiştirilmeden aktarıldığında raporlar. Burada format + ile oluşturuluyor, bu yüzden vet sessiz kalır ve noktalar size kalır.

Bir []string, ...any içine açılamaz. Eleman tipleri tam olarak eşleşmelidir, bu yüzden önce dönüştürün:

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

En az bir argüman istemek

Variadic bir parametre sıfır argüman kabul eder. Fonksiyonun en az bir argümana ihtiyacı varsa ilkini normal bir parametre yapın:

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))
}

Artık maxOf() çalışma zamanı kontrolü yerine bir derleme hatasıdır. Yerleşik max da aynı şekilde çalışır: en az bir argüman ister.

İsteğe bağlı argümanlar olarak variadic parametreler

Go'da varsayılan parametre değerleri yoktur. Variadic bir parametre bazen isteğe bağlı tek bir argümanı taklit etmek için kullanılır:

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

Bu çalışır ama kötü okunur, çünkü çağıranlar üç timeout aktarabilir ve imza hangisinin kazandığını söylemez. Birden fazla seçenek için bir yapılandırma struct'ını ya da functional options kalıbını (...Option, her Option bir alanı ayarlayan bir fonksiyondur) tercih edin. Bu kalıp da variadic'tir, ama her argümanın net bir anlamı vardır.

Kurallar Özeti