المتغيّرات في Golang: var و:= والقيم الصفرية والتظليل

لدى Go طريقتان لتعريف متغيّر: var، التي تعمل في أي مكان، و:=، صيغة مختصرة تعمل داخل الدوال وتستنتج النوع.

package main

import "fmt"

func main() {
	var city string = "Lisbon" // explicit type and value
	var year = 2026            // type inferred as int
	var score int              // no value: zero value 0
	name := "Ana"              // short declaration, inferred string

	fmt.Println(city, year, score, name)
	fmt.Printf("%T %T %T %T\n", city, year, score, name)
}

لكل متغيّر نوع ثابت يُحدَّد وقت الترجمة. عندما تعطي قيمة تستنتج Go النوع منها، فكتابة النوع أيضًا (var city string = "Lisbon") مسموحة لكنها زائدة.

var مقابل :=

الاختيار المعتاد داخل دالة:

• x := value عندما تكون لديك قيمة بداية.
• var x T عندما تريد القيمة الصفرية، وهذا يشير إلى "فارغ عن قصد": var buf bytes.Buffer وvar total int.
• var x T = value عندما لا يكون النوع المستنتج هو ما تريده، مثل var ratio float64 = 1 (أما ratio := 1 وحدها فستكون int).

:= خارج دالة خطأ صياغة:

./main.go:5:1: syntax error: non-declaration statement outside function body

القيم الصفرية

المتغيّر المعرّف دون قيمة لا يحمل قيمة عشوائية أبدًا. يحمل القيمة الصفرية لنوعه:

package main

import "fmt"

type Point struct {
	X, Y int
}

func main() {
	var i int
	var f float64
	var b bool
	var s string
	var p *int
	var sl []int
	var m map[string]int
	var pt Point

	fmt.Println(i, f, b, s == "", p, sl == nil, m == nil, pt)
	fmt.Println(len(sl), len(m), m["missing"])
}

الواجهات البرمجية الجيدة في Go مصمّمة لتكون القيمة الصفرية مفيدة: sync.Mutex الصفري غير مقفل، وbytes.Buffer الصفري فارغ وجاهز، وlen وrange وappend كلها تعمل مع شريحة nil. والنوع الذي يجب الانتباه له هو الخريطة: قراءة خريطة nil تعيد قيمًا صفرية، لكن الكتابة فيها تسبّب panic. أنشئ الخرائط بـ make أو بحرفية قبل التخزين فيها.

تعريف عدة متغيّرات

package main

import "fmt"

var (
	appName = "inventory"
	version = "1.4.0"
	debug   bool
)

func main() {
	var width, height int = 1920, 1080
	x, y := 3, 4
	first, count := "widget", 12

	fmt.Println(appName, version, debug)
	fmt.Println(width, height, x, y, first, count)

	// swap without a temporary variable
	x, y = y, x
	fmt.Println("after swap:", x, y)
}

تجمع كتلة var ( ... ) المتغيّرات المرتبطة على مستوى الحزمة. في الإسناد المتعدّد مثل x, y = y, x يُقيَّم كل تعبير في الطرف الثاني قبل إسناد أي شيء، ولهذا يعمل التبديل.

لا تعيد := مع عدة أسماء تعريف أي شيء ما دام اسم واحد على الأقل في الطرف الأول جديدًا. الأسماء الموجودة في النطاق نفسه يُسند إليها ببساطة. وهذا ما يتيح لك إعادة استخدام err:

f, err := os.Open("a.txt")   // declares f and err
g, err := os.Open("b.txt")   // declares g, assigns to the existing err

إذا لم يكن أي من الأسماء جديدًا فهو خطأ:

./main.go:7:4: no new variables on left side of :=

استخدم = العادية للإسناد إلى متغيّر موجود.

المتغيّرات غير المستخدمة أخطاء

المتغيّر المحلي المعرّف الذي لا يُقرأ أبدًا يوقف البناء:

./main.go:9:2: declared and not used: x

ليس تحذيرًا يمكنك تعطيله. احذف المتغيّر، أو استخدمه، أو أثناء تتبّع الأخطاء أسكته بالمعرّف الفارغ: _ = x. ويتجاهل المعرّف الفارغ أيضًا القيم المعادة التي لا تحتاجها: _, err := fmt.Println("hi").

المتغيّرات على مستوى الحزمة ومعاملات الدوال مستثناة من هذه القاعدة.

النطاق والتظليل

يوجد المتغيّر من تعريفه حتى نهاية الكتلة المحيطة ({ ... }). تنشئ := في كتلة داخلية متغيّرًا جديدًا، حتى لو وُجد متغيّر بالاسم نفسه في الخارج. يُظلَّل الخارجي، ولا يتغيّر:

package main

import (
	"fmt"
	"strconv"
)

func main() {
	count := 0
	input := "42"

	if input != "" {
		count, err := strconv.Atoi(input) // new count, only inside this block
		if err != nil {
			fmt.Println("error:", err)
			return
		}
		fmt.Println("inside:", count)
	}

	fmt.Println("outside:", count) // still 0
}

يطبع البرنامج inside: 42 ثم outside: 0. عرّفت := داخل if كلًا من count وerr كمتغيّرين جديدين في الكتلة الداخلية، لأن أيًا منهما لم يكن موجودًا هناك بعد. يُترجم هذا بلا مشكلة، وهو مصدر كلاسيكي لأخطاء "اختفت قيمتي".

الإصلاح أن تعرّف err أولًا وتسند بـ =:

var err error
count, err = strconv.Atoi(input)

لا يبلغ go vet عن التظليل افتراضيًا. يفعل ذلك المحلّل المنفصل shadow، ويمكن لأدوات الفحص مثل golangci-lint تفعيله.

التسمية

• استخدم camelCase: maxRetries وuserID. لا max_retries.
• أبقِ الاختصارات بحالة واحدة: userID وhttpClient وparseURL، لا userId.
• أسماء قصيرة للنطاقات القصيرة: i في حلقة، وr لقارئ، وerr لخطأ. وأسماء أطول ووصفية للمتغيّرات على مستوى الحزمة.
• الاسم الذي يبدأ بحرف كبير على مستوى الحزمة (var Timeout) مُصدَّر إلى الحزم الأخرى. راجع صفحة الحزم والاستيراد.

المتغيّرات على مستوى الحزمة

المتغيّرات المعرّفة خارج الدوال تعيش طوال البرنامج وتُهيّأ قبل تشغيل main، بترتيب الاعتماديات. وهي مريحة للإعدادات والذاكرات المؤقّتة، وتتشاركها كل الـ goroutines. إذا كتبت أكثر من goroutine في أحدها، فاحمه بـ mutex أو استخدم sync/atomic، وإلا فلديك سباق بيانات.

فضّل الثوابت للقيم التي لا تتغيّر أبدًا. لا يمكن تعديل const بالخطأ ولا يكلّف شيئًا وقت التشغيل.