الدوال المتغيّرة العدد في Golang: معاملات ...T ونشر s...

المعامل ...T

ضع ... قبل نوع المعامل الأخير. يستطيع المستدعون عندها تمرير أي عدد من الوسائط من ذلك النوع، بما في ذلك لا شيء. وداخل الدالة يكون المعامل شريحة.

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

يطبع هذا 0 و5 و10. دون وسائط تكون nums شريحة nil طولها 0، فلا تُنفَّذ الحلقة ببساطة.

يمكن أن تأتي المعاملات العادية أولًا. والأخير وحده يمكن أن يكون متغيّر العدد:

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

تمرير شريحة بـ s...

إذا كانت لديك شريحة أصلًا فلا يمكنك تمريرها مباشرة: تفشل sum(nums) برسالة cannot use nums (variable of type []int) as int value in argument to sum. انشرها بـ ... بعد الوسيط:

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 متغيّرة العدد أيضًا، ولهذا يكون ضمّ شريحتين append(a, b...).

يجب أن يكون النشر الشيء الوحيد في الموضع المتغيّر العدد. تفشل sum(1, nums...) برسالة too many arguments in call to sum. ابنِ الشريحة المدمجة أولًا بـ append.

الشريحة مشتركة لا منسوخة

عندما تستدعي بوسائط مفردة تنشئ Go شريحة جديدة لها. وعندما تنشر شريحة موجودة بـ s... تتلقّى الدالة الشريحة نفسها. والكتابة في عناصرها تغيّر بيانات المستدعي.

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
}

المخرجات:

[7 8 9]
[0 8 9]

الدالة المتغيّرة العدد التي تعدّل معاملها يجب أن توثّق ذلك، أو تنسخ أولًا بـ slices.Clone. معظم الدوال المتغيّرة العدد تقرأ وسائطها فقط، فنادرًا ما يلدغ هذا، لكنه فرق حقيقي عن لغات تكون فيها معاملات البقية مصفوفة جديدة دائمًا.

...any وكيف تعمل fmt.Println

تُعرَّف fmt.Println بالشكل func Println(a ...any) (n int, err error). يقبل any (اسم بديل لـ interface{} منذ Go 1.18) كل نوع، فتستطيع تمرير نصوص وأرقام وبنى في استدعاء واحد.

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

التمرير هو التفصيلة المهمّة: تمرّر logf القيمة args... إلى Printf. دون النقاط تتلقّى Printf وسيطًا واحدًا، []any، فيطبع سطر التحذير [WARN] [3 8] of %!d(MISSING) workers idle. لا يبلغ go vet عن missing ... in args forwarded to printf-like function إلا عندما يُمرَّر معامل التنسيق دون تغيير، كما في fmt.Printf(format, args). أما هنا فالتنسيق مبني بـ +، فيصمت vet والنقاط مسؤوليتك.

لا يمكن نشر []string في ...any. يجب أن تتطابق أنواع العناصر بالضبط، فحوّل أولًا:

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

اشتراط وسيط واحد على الأقل

يقبل المعامل المتغيّر العدد صفر وسائط. عندما تحتاج الدالة وسيطًا واحدًا على الأقل، اجعل الأول معاملًا عاديًا:

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

صارت maxOf() الآن خطأ ترجمة بدل فحص وقت التشغيل. والدالة المدمجة max نفسها تعمل بالطريقة ذاتها: تتطلّب وسيطًا واحدًا على الأقل.

المعاملات المتغيّرة العدد كوسائط اختيارية

لا تملك Go قيمًا افتراضية للمعاملات. يُستخدم المعامل المتغيّر العدد أحيانًا لمحاكاة وسيط اختياري واحد:

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

يعمل هذا لكنه يُقرأ بشكل سيئ، لأن المستدعين يستطيعون تمرير ثلاث مهل ولا يقول التوقيع أيها يفوز. لأكثر من خيار واحد فضّل بنية إعدادات، أو نمط الخيارات الوظيفية (...Option، حيث كل Option دالة تضبط حقلًا). هذا النمط متغيّر العدد، لكن لكل وسيط معنى واضح.

مرجع القواعد