تأكيد النوع في Golang: x.(T) وcomma-ok وtype switch

x.(T): استخراج القيمة من واجهة

تخفي قيمة الواجهة النوع المحدّد الذي تحمله. ويطلب تأكيد النوع x.(T) استعادته.

package main

import "fmt"

func main() {
	var v any = "gopher"

	s := v.(string) // v holds a string: ok
	fmt.Println(s, len(s))

	n, ok := v.(int) // comma-ok: no panic on mismatch
	fmt.Println(n, ok)

	if str, ok := v.(string); ok {
		fmt.Println("string of length", len(str))
	}
}

المخرجات:

gopher 6
0 false
string of length 6

يجب أن يكون لـ x نوع واجهة. التأكيد على نوع محدّد يفشل في الترجمة: invalid operation: s (variable of type string) is not an interface.

الصيغة ذات القيمة الواحدة تسبّب panic

عندما يكون التأكيد خاطئًا، تسبّب الصيغة ذات القيمة الواحدة panic برسالة تسمّي النوعين:

package main

import "fmt"

func main() {
	defer func() {
		fmt.Println("recovered:", recover())
	}()

	var v any = 42
	s := v.(string)
	fmt.Println(s)
}

المخرجات:

recovered: interface conversion: interface {} is int, not string

استخدم الصيغة ذات القيمة الواحدة فقط عندما يكون النوع المختلف خطأ برمجيًا تريد أن ينهار البرنامج بسببه. وفي كل مكان آخر استخدم comma-ok. عند الفشل تعطي comma-ok القيمة الصفرية لـ T وfalse.

التأكيد على واجهة nil يفشل أيضًا: تسبّب var v any; v.(string) حالة panic برسالة interface conversion: interface {} is nil, not string، وتعيد صيغة comma-ok القيمتين "", false.

التأكيد إلى واجهة أخرى

يمكن أن يكون T نوع واجهة. ينجح التأكيد عندها إذا كانت القيمة الديناميكية تطبّق T، وتحتفظ النتيجة بالقيمة الديناميكية نفسها. هكذا تتحقّق المكتبة القياسية من القدرات الاختيارية.

package main

import (
	"fmt"
	"strings"
)

type Temp float64

func (t Temp) String() string { return fmt.Sprintf("%.1f degrees", float64(t)) }

func describe(v any) string {
	if s, ok := v.(fmt.Stringer); ok {
		return "Stringer: " + s.String()
	}
	return fmt.Sprintf("plain value: %v", v)
}

func main() {
	fmt.Println(describe(Temp(21.5)))
	fmt.Println(describe(42))

	// io.Copy uses the same trick to check for WriterTo / ReaderFrom.
	var r any = strings.NewReader("x")
	_, hasLen := r.(interface{ Len() int })
	fmt.Println("has Len:", hasLen)
}

تتحقّق io.Copy من أن مصدرها يطبّق io.WriterTo وتستخدمه إن فعل. وتتحقّق fmt من Stringer وerror. يتيح هذا النمط للواجهة الصغيرة أن تبقى صغيرة بينما يستفيد المستدعون من التطبيقات الأغنى.

type switch

عندما قد تكون القيمة أحد عدة أنواع، يحلّ type switch محل سلسلة من التأكيدات. والصيغة x.(type) صالحة فقط داخل switch.

package main

import (
	"fmt"
	"strconv"
)

func toString(v any) string {
	switch x := v.(type) {
	case nil:
		return "nil"
	case string:
		return x // x is a string here
	case int, int64:
		return fmt.Sprintf("integer %v", x) // x is any: two types in one case
	case float64:
		return strconv.FormatFloat(x, 'f', 2, 64)
	case fmt.Stringer:
		return x.String()
	case error:
		return "error: " + x.Error()
	default:
		return fmt.Sprintf("unhandled %T", x)
	}
}

func main() {
	values := []any{"hi", 7, int64(8), 3.14159, nil, fmt.Errorf("boom"), []int{1}}
	for _, v := range values {
		fmt.Println(toString(v))
	}
}

المخرجات:

hi
integer 7
integer 8
3.14
nil
error: boom
unhandled []int

قواعد تستحق المعرفة:

• في حالة بنوع واحد يكون لـ x ذلك النوع. وفي حالة تسرد عدة أنواع، وفي default، يكون لـ x نوع الواجهة الأصلية (any هنا).
• تُفحص الحالات بالترتيب. ضع الواجهات الأكثر تحديدًا قبل الأعم، لأن القيمة قد تحقّق عدة واجهات.
• لا تطابق case nil إلا واجهة nil، لا واجهة تحمل مؤشرًا nil.
• لا يوجد fallthrough في type switch.

errors.As: التأكيد للأخطاء المغلّفة

تُغلَّف الأخطاء غالبًا مع سياق: fmt.Errorf("load config: %w", err). التأكيد المباشر لا ينظر إلا إلى الخطأ الخارجي ويفوّت الذي بداخله. أما errors.As فتمشي على السلسلة.

package main

import (
	"errors"
	"fmt"
	"io/fs"
	"os"
)

func load() error {
	_, err := os.Open("/no/such/file")
	if err != nil {
		return fmt.Errorf("load config: %w", err)
	}
	return nil
}

func main() {
	err := load()

	_, ok := err.(*fs.PathError)
	fmt.Println("type assertion finds it:", ok)

	var pe *fs.PathError
	if errors.As(err, &pe) {
		fmt.Println("errors.As finds it:", pe.Op, pe.Path)
	}
}

المخرجات:

type assertion finds it: false
errors.As finds it: open /no/such/file

استخدم تأكيد النوع على الأخطاء فقط عندما تعرف أن الخطأ غير مغلّف، وهذا عمليًا يعني تقريبًا أبدًا. تشرح صفحة الأخطاء المخصّصة errors.As وerrors.Is وتعريف أنواع أخطائك.

التأكيدات مقابل التحويلات مقابل الأنواع العامة

الشيفرة المليئة بـ any وtype switch كثيرًا ما تكون علامة على أن الأنواع العامة أو واجهة مناسبة ستعبّر عن القصد أفضل وتلتقط الأخطاء وقت الترجمة.

أخطاء شائعة

• استخدام الصيغة المسبّبة لـ panic على بيانات غير موثوقة. JSON المفكوك، وقيم الخرائط من النوع any، ومدخلات الإضافات: استخدم comma-ok دائمًا.
• التأكيد إلى النوع الرقمي الخطأ. تُفكّ أرقام JSON إلى any كـ float64، فتفشل v.(int) معها.
• تأكيد نوع قيمة عندما يكون المخزّن مؤشرًا. إذا كانت الواجهة تحمل *User، تفشل v.(User). أكّد v.(*User).
• تأكيدات النوع على الأخطاء. استخدم errors.As.