التفويض (البرمجة الموجهة للكائنات)

في البرمجة كائنية التوجه ، يشير التفويض إلى تقييم عضو ( خاصية أو دالة ) لكائن ( المستقبل) في سياق كائن أصلي آخر (المرسل). يمكن إجراء التفويض بشكل صريح، عن طريق نقل مسؤوليات الكائن المرسل إلى الكائن المستقبل، وهو أمر ممكن في أي لغة كائنية التوجه ؛ أو بشكل ضمني، من خلال قواعد البحث عن الأعضاء في اللغة، الأمر الذي يتطلب دعم اللغة لهذه الميزة. يُعد التفويض الضمني الطريقة الأساسية لإعادة استخدام السلوك في البرمجة القائمة على النماذج الأولية ، وهو ما يُقابل الوراثة في البرمجة القائمة على الأصناف . من أشهر اللغات التي تدعم التفويض على مستوى اللغة لغة Self ، التي تُدمج مفهوم التفويض من خلال مفهوم خانات الأصل القابلة للتغيير والتي تُستخدم عند البحث عن الدوال في استدعاءات self، ولغة JavaScript ؛ انظر تفويض JavaScript .

يُستخدم مصطلح التفويض أيضًا بشكل فضفاض للإشارة إلى علاقات أخرى متنوعة بين الكائنات؛ انظر التفويض (البرمجة) لمزيد من المعلومات. من المفاهيم التي غالبًا ما تُسبب التباسًا: استخدام كائن آخر، والذي يُشار إليه بدقة أكبر بالتشاور أو التجميع ؛ وتقييم عنصر في كائن ما من خلال تقييم العنصر المقابل في كائن آخر، لا سيما في سياق الكائن المُستقبِل، والذي يُشار إليه بدقة أكبر بالتوجيه (عندما لا يُمرر كائن الغلاف نفسه إلى الكائن المُغلَّف). ^{[ 1 ] [ 2 ] [ أ ]} نمط التفويض هو نمط تصميم برمجي لتنفيذ التفويض، على الرغم من أن هذا المصطلح يُستخدم أيضًا بشكل فضفاض للإشارة إلى التشاور أو التوجيه.

تم تعريف هذا الشعور بالتفويض كميزة في لغة البرمجة تستخدم قواعد البحث عن الأساليب لإرسال ما يسمى بالاستدعاءات الذاتية بواسطة ليبرمان في ورقته البحثية لعام 1986 بعنوان "استخدام الكائنات النموذجية لتنفيذ السلوك المشترك في الأنظمة الموجهة للكائنات".

يعتمد التفويض على الربط الديناميكي ، إذ يتطلب أن يكون استدعاء دالة معينة قادرًا على استدعاء أجزاء مختلفة من التعليمات البرمجية أثناء التشغيل . يُستخدم التفويض في جميع أنحاء نظام macOS (وسابقه NeXTStep ) كوسيلة لتخصيص سلوك مكونات البرنامج. ^{[ 3 ]} يُمكّن هذا من استخدام فئة واحدة يوفرها نظام التشغيل لإدارة النوافذ، لأن هذه الفئة تأخذ مفوضًا خاصًا بالبرنامج، ويمكنه تجاوز السلوك الافتراضي حسب الحاجة. على سبيل المثال، عندما ينقر المستخدم على زر الإغلاق، يُرسل مدير النوافذ استدعاء windowShouldClose: إلى المفوض، ويمكن للمفوض تأخير إغلاق النافذة إذا كانت هناك بيانات غير محفوظة في محتوياتها.

يمكن وصف التفويض (وتمييزه عن إعادة التوجيه ) بأنه ربط متأخر للذات : ^{[ 4 ]}

... الرسائل المرسلة إلى المتغير self(أو this) في الأصل "ستعود" إلى الكائن الذي تلقى الرسالة في الأصل.

أي أن selfتعريف الطريقة في الكائن المستقبل لا يرتبط بشكل ثابت بهذا الكائن في وقت التعريف (مثل وقت الترجمة أو عندما يتم إرفاق الدالة بكائن)، ولكن في وقت التقييم ، يرتبط بالكائن الأصلي .

لقد طُرحت فكرة أن التفويض قد يُفضّل في بعض الحالات على الوراثة لجعل شفرة البرنامج أكثر قابلية للقراءة والفهم. ^{[ 5 ]} على الرغم من أن التفويض الصريح شائع إلى حد ما، إلا أن عددًا قليلًا نسبيًا من لغات البرمجة الرئيسية يُطبّق التفويض كنموذج بديل للوراثة. العلاقة الدقيقة بين التفويض والوراثة معقدة؛ إذ يعتبرهما بعض المؤلفين متكافئين، أو أحدهما حالة خاصة من الآخر. ^{[ 6 ]}

في اللغات التي تدعم التفويض عبر قواعد البحث عن الدوال، يُعرَّف إرسال الدوال بنفس طريقة تعريف الدوال الافتراضية في الوراثة: حيث تُختار دائمًا الدالة الأكثر تحديدًا أثناء البحث عن الدوال. وبالتالي، فإن الكيان المُستقبِل الأصلي هو بداية البحث عن الدوال حتى وإن كان قد نقل التحكم إلى كائن آخر (عبر رابط تفويض، وليس مرجع كائن).

تتميز عملية التفويض بإمكانية تنفيذها أثناء التشغيل، وتأثيرها على مجموعة فرعية فقط من الكيانات من نوع معين، بل ويمكن إزالتها أثناء التشغيل أيضًا. في المقابل، تستهدف الوراثة عادةً النوع نفسه وليس الكائنات، وتقتصر على وقت الترجمة. من ناحية أخرى، يمكن التحقق من نوع الوراثة بشكل ثابت، بينما لا يمكن التحقق من نوع التفويض عمومًا بدون استخدام الأنواع العامة (مع أن نسخة محدودة من التفويض يمكن أن تكون آمنة من حيث النوع ^{[ 7 ]} ). يمكن تسمية التفويض بـ "الوراثة أثناء التشغيل لكائنات محددة".

إليك مثال على الشفرة الزائفة بلغة تشبه لغة C# / Java :

class A { void foo () { // "this" تُعرف أيضًا بالأسماء "current" و"me" و"self" في لغات أخرى this . bar (); }void bar () { print ( "a.bar" ); } }class B { private delegate A a ; // رابط التفويضpublic B ( A a ) { this . a = a ; }void foo () { a . foo (); // استدعاء foo() على نسخة a }void bar () { print ( "b.bar" ); } }a = new A (); b = new B ( a ); // إنشاء تفويض بين كائنين

b.foo()سيؤدي استدعاء الدالة إلى طباعة b.barthis ، لأنها تشير إلى الكائن المرسل الأصليb ، ضمن سياق . ويُشار إلى aالغموض الناتج عن ذلك باسم انفصام الكائن .this

عند ترجمة الضمني thisإلى معلمة صريحة، يتم ترجمة الاستدعاء (في B، مع aمفوض) a.foo()إلى A.foo(b)، باستخدام نوع aلحل الأسلوب، ولكن كائن التفويض bللوسيط this.

باستخدام الوراثة، يكون الكود المماثل (باستخدام الأحرف الكبيرة للتأكيد على أن الحل يعتمد على الفئات وليس الكائنات) كما يلي:

class A { void foo () { this . bar (); }void bar () { print ( "A.bar" ); } }class B extends A { public B () {}void foo () { super . foo (); // استدعاء الدالة foo() من الفئة الأصلية (A) }void bar () { print ( "B.bar" ); } }b = new B ();

b.foo()سيؤدي الاستدعاء إلى B.bar . في هذه الحالة، thisيكون الأمر واضحًا لا لبس فيه: يوجد كائن واحد، b، ويتم this.bar()حله إلى الطريقة الموجودة في الفئة الفرعية.

لا تدعم لغات البرمجة بشكل عام هذا الشكل غير المعتاد من التفويض كمفهوم لغوي، ولكن هناك بعض الاستثناءات .

class C extends A { delegatelink D d ; }

• نمط التفويض
• نمط المحول
• الإغراء
• استمرار
• وراثة التنفيذ
• دلالات الوراثة
• الفصام (البرمجة الموجهة للكائنات)
• الميراث الافتراضي
• دالة التغليف

يميز:

• المندوب (واجهة سطر الأوامر)
• التفويض (البرمجة)
• تجميع الكائنات
• التوجيه (البرمجة الكائنية التوجه)

• طريقة جديدة لتطبيق المندوب في لغة C++
• المندوبون السريعون في لغة C++
• مشروع PerfectJPattern مفتوح المصدر ، يوفر تطبيقًا قابلاً لإعادة الاستخدام للمفوضين في جافا