Duck Typing في Go
جزء من قسم البرمجة كائنية التوجه في رحلة GO على Coddy. الدرس 42 من 107.
يأتي مصطلح التنميط البطّي من المقولة: «إذا كان يمشي مثل البطة ويصدر صوتًا مثل البطة، فهو بطة». في Go، يعني هذا أن النوع لا يحتاج إلى التصريح صراحةً بأنه ينفّذ 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 في Go مرونة اللغات الديناميكية مع الحفاظ على أمان الأنواع وقت الترجمة. يتحقق المصرّف من أن الأنواع تمتلك فعليًا الأساليب المطلوبة قبل السماح باستخدامها كقيم للواجهة.
التحدي
سهللنبنِ نظام مراسلة يوضّح duck typing عمليًا. ستنشئ أنواعًا غير مترابطة تمامًا، يمكنها جميعًا إرسال الرسائل من خلال interface مشتركة، من دون أن يعلن أيّ منها صراحةً أنه ينفّذها.
ستنظّم code الخاص بك عبر ثلاثة ملفات:
messengers.go: أنشئ ثلاثة structs غير مترابطة تشترك مصادفةً في السلوك نفسه:Phoneمع حقلNumber. يعيد method الخاص بهاSendMessage(text string) stringالقيمةSMS to [Number]: [text]Computerمع حقلEmail. يعيد method الخاص بهاSendMessage(text string) stringالقيمةEmail to [Email]: [text]Pigeonمع حقلName. يعيد method الخاص بهاSendMessage(text string) stringالقيمة[Name] carries: [text]
sender.go: عرّف interface باسمMessengerيتطلب method باسمSendMessage(text string) string. أنشئ function باسمBroadcastتستقبل شريحة منMessengerوسلسلة message، ثم تعيد شريحة من السلاسل النصية التي تحتوي على نتيجة استدعاءSendMessageعلى كل messenger.main.go: اقرأ التفاصيل من الإدخال، وأنشئ واحدًا من كل نوع من أنواع messenger، واجمعها في شريحة منMessenger، واستخدمBroadcastلإرسال message عبرها جميعًا. اطبع كل نتيجة في سطر مستقل.
سيتم توفير المدخلات التالية:
- السطر 1: رقم Phone
- السطر 2: عنوان Email
- السطر 3: اسم Pigeon
- السطر 4: Message المراد بثّه
على سبيل المثال، عند إعطاء 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 صراحةً. ومع ذلك، لأنها جميعًا «تُصدر الصوت نفسه» (أي تمتلك method المطابق)، تسمح Go باستخدامها جميعًا كقيم من نوع Messenger. هذا هو duck typing أثناء العمل.
جرّب بنفسك
package main
import (
"bufio"
"fmt"
"os"
)
func main() {
scanner := bufio.NewScanner(os.Stdin)
// اقرأ رقم الهاتف
scanner.Scan()
phoneNumber := scanner.Text()
// Read email address
scanner.Scan()
email := scanner.Text()
// اقرأ اسم الحمامة
scanner.Scan()
pigeonName := scanner.Text()
// اقرأ الرسالة للبث
scanner.Scan()
message := scanner.Text()
// TODO: أنشئ واحدًا من كل نوع من الرسل (Phone, Computer, Pigeon)
// TODO: اجمع كل الرسل في شريحة من Messenger
// TODO: استخدم Broadcast لإرسال الرسالة عبر جميع الرسل
// TODO: اطبع كل نتيجة في سطرها الخاص
// عنصر نائب لاستخدام المتغيرات (أزل عند التنفيذ)
_ = phoneNumber
_ = email
_ = pigeonName
_ = message
}
يتضمن هذا الدرس اختبارًا قصيرًا. ابدأ الدرس للإجابة عليه وتتبّع تقدمك.
جميع دروس البرمجة كائنية التوجه
1أساسيات الـ OOP في Go
الملفات الخارجيةمساحة العمل والـ Modules في Goالـ Packages والـ Importsالأسماء المصدرة مقابل غير المصدرةمقدمة إلى الـ OOP في Goالـ Structs كـ Classesتعريف الـ Methods في الـ Structsالـ Pointer Receivers مقابل الـ Value Receiversتهيئة الـ Structدوال الـ Constructorمراجعة - آلة حاسبة بسيطة4الواجهات
مقدمة في الواجهاتالتنفيذ الضمنيالواجهة كعقدالواجهة الفارغة (any)تأكيد النوع (Type Assertion)تبديل النوع (Type Switch)تركيب الواجهاتواجهات Stringer و Errorمراجعة - حاسبة الأشكال7التغليف
الحقول المصدرة وغير المصدرةالتغليف على مستوى الحزمةدوال الـ Getter والـ Setterإخفاء المعلومات في Goملخص - سجلات الطلاب10الأنواع العامة (Go 1.18+)
مقدمة في الأنواع العامةمعاملات الأنواعقيود الأنواعالـ Structs العامةحل بديل للـ Methods العامةملخص - المجموعات العامة13أنماط التصميم - الجزء الأول
مقدمة في أنماط التصميمنمط Singletonنمط Factoryنمط Abstract Factoryنمط Observerنمط Strategy2تعمق في الأنواع و Structs
الأنواع الأساسية والمركبةتعريفات الأنواع المخصصةStruct TagsStructs مجهولةStructs متداخلةالقيم الصفرية والافتراضيةمراجعة - دفتر العناوين5التركيب بدلاً من الوراثة
لماذا لا تدعم Go الوراثةأساسيات تضمين الـ Structترقية الـ Methodتضمين عدة Structsالتضمين مقابل التجميعحجب الـ Methods المضمنةملخص - الهيكل الهرمي للموظفين8معالجة الأخطاء و OOP
واجهة errorأنواع الأخطاء المخصصةتغليف الأخطاء (fmt.Errorf)أخطاء Sentinelerrors.Is() و errors.As()Panic و Defer و Recoverملخص - File Parser11المكتبة القياسية والبرمجة كائنية التوجه (OOP)
io.Reader و io.Writerواجهة sort.Interfaceواجهة fmt.Stringerencoding/json مع Structsواجهة http.Handlerمراجعة - نماذج REST API14أنماط التصميم - الجزء الثاني
نمط الأمرنمط المحولنمط المزيننمط طريقة القالبنمط الحالةنمط التركيبMiddleware كنمط مزين3المؤشرات والذاكرة
أساسيات المؤشرات في Goالمؤشرات إلى الـ Structsالتمرير بالقيمة مقابل التمرير بالمرجعدالة ()newGarbage Collection في Goملخص - بناء Linked List6تعدد الأشكال في Go
تعدد الأشكال عبر InterfacesDuck Typing في Goقواعد استيفاء الـ Interfaceمجموعات متعددة الأشكالحقن التبعيةمراجعة - معالج الدفع9التزامن والبرمجة كائنية التوجه (OOP)
أساسيات الـ Goroutinesالقنوات (Channels) والاتصالالقنوات المخزنة (Buffered) مقابل غير المخزنةجملة Selectsync.Mutex و sync.RWMutexsync.WaitGroupتصميم الـ Structs الآمنة للخيوط (Thread-Safe)مراجعة - Worker Poolتدرّب بنفسك: مترجم Go عبر الإنترنت