المعامل الثلاثي Ternary في Golang: لماذا لا تملكه Go وماذا تستخدم

لا تملك Go معاملًا ثلاثيًا. لا يوجد cond ? a : b. البديل المعتاد عبارة if:

package main

import "fmt"

func main() {
	for _, n := range []int{3, 8} {
		// In C or JavaScript: parity = n % 2 == 0 ? "even" : "odd";
		parity := "odd"
		if n%2 == 0 {
			parity = "even"
		}
		fmt.Println(n, parity)
	}
}

عرّف المتغيّر بالقيمة الافتراضية، ثم غيّره في if. وعندما يحتاج الفرعان عملًا، استخدم if/else:

var fee int
if member {
	fee = 0
} else {
	fee = computeFee(order)
}

لماذا تركته Go

تجيب الأسئلة الشائعة لـ Go عن هذا مباشرة: رأى المصمّمون المعامل ?: يُستخدم كثيرًا لصنع تعابير معقّدة يتعذّر فهمها، وقرّروا أن if/else، وإن كانت أطول، أوضح بلا جدال. واللغة لا تحتاج إلا بنية تحكّم شرطية واحدة.

عمليًا يكلّف غياب المعامل سطرين أو ثلاثة لكل استخدام، ويزيل فئة كاملة من التعابير المتداخلة مثل a ? b ? c : d : e.

العودة المبكرة بدلًا من ذلك

داخل دالة، يتخطّى الشكل الأنظف المتغيّر كليًا في الغالب:

package main

import "fmt"

func plural(n int, word string) string {
	if n == 1 {
		return word
	}
	return word + "s"
}

func main() {
	fmt.Println(1, plural(1, "file"))
	fmt.Println(3, plural(3, "file"))
}

نقل الشرط إلى دالة مسمّاة صغيرة هو الجواب الأفضل غالبًا: يُقرأ موضع الاستدعاء كالمعامل الثلاثي الذي أردته، ويوثّق اسم الدالة معنى الشرط.

القيم الافتراضية بـ cmp.Or (Go 1.22)

أشيع استخدام للمعامل الثلاثي في لغات أخرى هو "استخدم هذه القيمة، أو بديلًا إن كانت فارغة": name ? name : "anonymous"، أو name || "anonymous" في JavaScript. أضافت Go 1.22 الدالة cmp.Or لهذا بالضبط. تعيد أول وسيط ليس القيمة الصفرية لنوعه:

package main

import (
	"cmp"
	"fmt"
)

func main() {
	name := ""
	fmt.Println(cmp.Or(name, "anonymous"))

	name = "Ana"
	fmt.Println(cmp.Or(name, "anonymous"))

	port := 0
	fmt.Println(cmp.Or(port, 8080))

	// several fallbacks, first non-zero wins
	envValue, configValue := "", "eu-west-1"
	fmt.Println(cmp.Or(envValue, configValue, "us-east-1"))
}

تعامل القيمة الصفرية على أنها "مفقودة"، فلا تستطيع التمييز بين "المنفذ 0 عمدًا" و"المنفذ لم يُضبط". عندما يكون الصفر قيمة صالحة، استخدم مؤشرًا، أو bool منفصلًا، أو if صريحة.

دالة If مساعدة عامة، وفخّها

مع الأنواع العامة (Go 1.18) يمكنك كتابة دالة تشبه المعامل الثلاثي:

func If[T any](cond bool, a, b T) T {
	if cond {
		return a
	}
	return b
}

status := If(ok, "pass", "fail")

تعمل مع القيم البسيطة، وتستخدمها بعض قواعد الشيفرة. لكنها ليست معاملًا ثلاثيًا، والفرق مهم. تقيّم Go كل الوسائط قبل استدعاء الدالة، فيُحسب a وb دائمًا:

package main

import "fmt"

func If[T any](cond bool, a, b T) T {
	if cond {
		return a
	}
	return b
}

func expensive(label string) string {
	fmt.Println("  computing", label)
	return label
}

type User struct{ Name string }

func main() {
	fmt.Println("If(true, ...):")
	v := If(true, expensive("a"), expensive("b"))
	fmt.Println("  result:", v)

	var u *User // nil
	defer func() {
		if r := recover(); r != nil {
			fmt.Println("panic:", r)
		}
	}()
	name := If(u != nil, u.Name, "guest") // u.Name is evaluated even though u is nil
	fmt.Println(name)
}

يحسب الاستدعاء الأول "a" و"b" كليهما، ويسبّب الثاني panic بسبب إلغاء مرجعية مؤشر nil، رغم أن الشرط خاطئ. أما المعامل الثلاثي الحقيقي فكان سيقيّم الطرف المختار وحده. لذلك:

• لا تستخدم هذه الدالة المساعدة أبدًا عندما يلغي أحد الطرفين مرجعية مؤشر، أو يفهرس شريحة، أو يقرأ مدخل خريطة قد لا يوجد.
• لا تستخدمها أبدًا عندما يكون أحد الطرفين مكلفًا أو له آثار جانبية.
• للقيم الرخيصة والآمنة تعمل، لكن كثيرًا من مراجعي Go سيطلبون مع ذلك if العادية.

يمكنك جعل الفرعين كسولين بتمرير دوال، If(ok, func() string { return a }, func() string { return b })، لكن عندها تصير عبارة if أقصر.

حيل أخرى، ولماذا تتجنّبها

البحث في خريطة. map[bool]string{true: "yes", false: "no"}[ok] تعمل، وتبني خريطة وتحسب تجزئتها في كل تقييم، وتقيّم القيمتين. إنها طرفة، لا أسلوب معتمد.

دالة تُستدعى فورًا. الدالة المجهولة المستدعاة في مكانها تعطيك تعبيرًا:

label := func() string {
	if n > 0 {
		return "positive"
	}
	return "non-positive"
}()

هذه تقيّم بكسل فعلًا، وتفيد أحيانًا داخل حرفية مركّبة لا يمكن وضع عبارة فيها. لكن في معظم الأحيان يكون حساب القيمة في متغيّر قبل الحرفية مباشرة أوضح.

اختيار البديل

تظهر مقترحات إضافة تعبير شرطي بانتظام في متتبّع مشكلات Go، وقد رُفضت حتى الآن. اكتب if.

label := "odd"
if n%2 == 0 {
	label = "even"
}