Duck Typing في Go

جزء من قسم Object Oriented Programming في رحلة GO على Coddy — الدرس 42 من 107.

يأتي مصطلح duck typing من المقولة: "إذا كان يمشي كالبطة ويصيح كالبطة، فهو بطة." في لغة Go، يعني هذا أن النوع لا يحتاج إلى التصريح بشكل صريح بأنه ينفذ واجهة (interface) معينة، بل يحتاج فقط إلى امتلاك الدوال (methods) المطلوبة.

تأمل هذه الواجهة (interface) ونوعين غير مرتبطين تماماً:

type Quacker interface {
    Quack() string
}

type Duck struct{}
func (d Duck) Quack() string { return "Quack!" }

type Robot struct{}
func (r Robot) Quack() string { return "Beep-quack!" }

لا يذكر أي من Duck أو Robot الواجهة Quacker في أي مكان في تعريفاتهما. ومع ذلك، كلاهما يحقق الواجهة ببساطة لأنهما يمتلكان طريقة Quack() بالتوقيع الصحيح:

func MakeItQuack(q Quacker) {
    fmt.Println(q.Quack())
}

func main() {
    MakeItQuack(Duck{})   // !كواك
    MakeItQuack(Robot{})  // !بيب-كواك
}

هذا الاستيفاء الضمني قوي لأنه يسمح لك بتعريف الواجهات بعد أن تكون الأنواع موجودة بالفعل. يمكنك إنشاء واجهة تطابق أنواعاً من حزم خارجية دون تعديل الكود المصدري الخاص بها. لا تحتاج الأنواع إلى معرفة واجهتك—بل تحتاج فقط إلى التصرف بشكل صحيح.

يمنحك أسلوب Duck typing في لغة Go مرونة اللغات الديناميكية مع الحفاظ على أمان النوع في وقت التصريف (compile-time type safety). حيث يتحقق المترجم (compiler) من أن الأنواع تمتلك بالفعل الدوال المطلوبة قبل السماح باستخدامها كقيم للواجهات (interface values).

التحدي

سهل

لنقم ببناء نظام مراسلة يوضح مفهوم "duck typing" (كتابة البطة) بشكل عملي. ستقوم بإنشاء أنواع غير مرتبطة تماماً ببعضها البعض، ولكن يمكنها جميعاً إرسال الرسائل من خلال واجهة (interface) مشتركة - دون أن يعلن أي منها صراحةً عن تنفيذها لهذه الواجهة.

ستقوم بتنظيم الكود الخاص بك عبر ثلاثة ملفات:

messengers.go: قم بإنشاء ثلاثة هياكل (structs) غير مرتبطة تشترك في نفس السلوك:
- Phone مع حقل Number— وطريقته SendMessage(text string) string تعيد SMS to [Number]: [text]
- Computer مع حقل Email— وطريقته SendMessage(text string) string تعيد Email to [Email]: [text]
- Pigeon مع حقل Name— وطريقته SendMessage(text string) string تعيد [Name] carries: [text]
لاحظ أن أياً من هذه الأنواع لا يذكر أي واجهة (interface) - إنها تصادف فقط أن لديها نفس توقيع الطريقة (method signature).
sender.go: قم بتعريف واجهة Messenger تتطلب طريقة SendMessage(text string) string. أنشئ دالة تسمى Broadcast تأخذ شريحة (slice) من Messenger وسلسلة نصية للرسالة، ثم تعيد شريحة من السلاسل النصية تحتوي على نتيجة استدعاء SendMessage على كل مرسل.
main.go: اقرأ التفاصيل من المدخلات، وأنشئ واحداً من كل نوع مرسل، واجمعهم في شريحة من Messenger، واستخدم Broadcast لإرسال رسالة من خلالهم جميعاً. اطبع كل نتيجة في سطر مستقل.

سيتم توفير المدخلات التالية:

السطر 1: رقم الهاتف
السطر 2: عنوان البريد الإلكتروني
السطر 3: اسم الحمامة
السطر 4: الرسالة المراد بثها

على سبيل المثال، إذا كانت المدخلات 555-1234، و alice@mail.com، و Winston، و Hello World، يجب أن يكون مخرجك:

SMS to 555-1234: Hello World
Email to alice@mail.com: Hello World
Winston carries: Hello World

الفكرة الجوهرية هنا هي أن Phone و Computer و Pigeon ليس بينهم أي شيء مشترك - فهم لا يتشاركون في نوع أساسي ولا ينفذون Messenger صراحةً. ومع ذلك، لأنهم جميعاً "يصيحون" بنفس الطريقة (لديهم الطريقة المطابقة)، فإن لغة Go تسمح باستخدامهم جميعاً كقيم من نوع Messenger. هذا هو مفهوم "duck typing" أثناء العمل.

ورقة مرجعية

في لغة Go، يعني duck typing أن النوع لا يحتاج إلى التصريح صراحةً بأنه ينفذ واجهة (interface) معينة—بل يحتاج فقط إلى امتلاك الأساليب (methods) المطلوبة بتوقيعات متطابقة.

يستوفي النوع الواجهة بشكل ضمني إذا كان يمتلك جميع الأساليب التي تتطلبها الواجهة:

type Quacker interface {
    Quack() string
}

type Duck struct{}
func (d Duck) Quack() string { return "Quack!" }

type Robot struct{}
func (r Robot) Quack() string { return "Beep-quack!" }

كل من Duck و Robot يستوفيان واجهة Quacker دون ذكر ذلك في تعريفاتهما:

func MakeItQuack(q Quacker) {
    fmt.Println(q.Quack())
}

func main() {
    MakeItQuack(Duck{})   // Quack!
    MakeItQuack(Robot{})  // Beep-quack!
}

يسمح هذا الاستيفاء الضمني بتعريف الواجهات بعد وجود الأنواع بالفعل، وحتى إنشاء واجهات تتطابق مع أنواع من حزم خارجية دون تعديل الكود المصدري الخاص بها. يتحقق المترجم (compiler) في وقت الترجمة من أن الأنواع تمتلك الأساليب المطلوبة، مما يوفر أمان النوع (type safety) مع الحفاظ على المرونة.

جرّب بنفسك

package main

import (
	"bufio"
	"fmt"
	"os"
)

func main() {
	scanner := bufio.NewScanner(os.Stdin)
	
	// قراءة رقم الهاتف
	scanner.Scan()
	phoneNumber := scanner.Text()
	
	// قراءة عنوان البريد الإلكتروني
	scanner.Scan()
	email := scanner.Text()
	
	// قراءة اسم الحمام
	scanner.Scan()
	pigeonName := scanner.Text()
	
	// قراءة الرسالة المراد بثها
	scanner.Scan()
	message := scanner.Text()
	
	// TODO: إنشاء واحد من كل نوع من أنواع المراسلة (هاتف، كمبيوتر، حمام)
	
	// TODO: جمع كل المراسلين في شريحة (slice) من نوع Messenger
	
	// TODO: استخدام Broadcast لإرسال الرسالة عبر جميع المراسلين
	
	// TODO: طباعة كل نتيجة في سطر خاص بها
	
	// عنصر نائب لاستخدام المتغيرات (قم بإزالته عند التنفيذ)
	_ = phoneNumber
	_ = email
	_ = pigeonName
	_ = message
}