تجاوز معلمات الطريقة في PHP: انتهاك للمعايير الصارمة

في البرمجة الموجهة للكائنات، ينص مبدأ استبدال ليسكوف (LSP) على ذلك يمكن لكائنات النوع الفرعي أن تحل محل الكائنات الأصلية دون تغيير سلوك البرنامج. ومع ذلك، في PHP، يعتبر تجاوز طريقة ذات توقيع معلمة مختلف انتهاكًا للمعايير الصارمة.

لماذا يعد هذا انتهاكًا؟

PHP لغة ضعيفة الكتابة اللغة، مما يعني أن المترجم لا يمكنه تحديد النوع الدقيق للمتغير في وقت الترجمة. هذا يعني أنه عندما تتجاوز فئة فرعية طريقة فئة أصلية، لا يمكن للمترجم التحقق من أن التوقيع الجديد متوافق مع الأصل.

ونتيجة لذلك، يصدر المحول البرمجي تحذيرًا قياسيًا صارمًا، مع الإشارة إلى مشكلة محتملة قد يتسبب في تعطل البرنامج.

خذ بعين الاعتبار المثال التالي:

class Foo
{
    public function bar(array $bar) {}
}

class Baz extends Foo
{
    public function bar($bar) {}
}

في هذا الكود، تتجاوز طريقة Baz::bar() طريقة Foo::bar() بتوقيع مختلف. لا يمكن للمترجم تحديد ما إذا كان التوقيع الجديد متوافقًا مع التوقيع الأصلي، أم لا، مما قد يسبب مشكلات في المستقبل.

بدائل لتجاوز معلمات الطريقة

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