چندریختی (برنامه‌نویسی): تفاوت میان نسخه‌ها

مفهوم چندریختی ویژگی است که به رابط‌ها امکان می‌دهد تا برای گروهی از عملیات‌ها مورد استفاده قرار گیرند. در این مقاله مفهوم چندریختی از طریق دو مفهوم متدهایلغو Overrideمتدها (به انگلیسی: لغو) (توابع مجازی) و سربارشده (به انگلیسی:Overload) پشتیبانی می‌شود. ما با بررسی این دو مفهوم در پی نشان دادن تأثیر مفهوم چندریختی روی [[برنامه‌نویسی شیء گرا]] خواهیم بود.

کلمات کلیدی: چندریختی، سربار کردن, Overrideلغو کردن و متد.

:چنانچه نام و امضای متدی از یک زیر کلاس (در ساختار سلسله مراتبی کلاس‌ها) با نام و نوع امضای متدی از فوق کلاسش یکسان باشد، در آن صورت متد موجود در زیر کلاس، متد موجود در فوق کلاسش را Overrideلغو می‌کند.

مفاهیم سربار کردن و Overrideلغو کردن متدها از جمله مفاهیمی هستند که چندریختی بر پایهٔ آن‌ها بنا می‌شود.

در این مقاله پس از بررسی اجمالی مفهوم چندریختی در بخش اول، در بخش دوم مفهوم سربار کردن متدها را با ذکر چند مثال خواهیم دید. در بخش سوم نیز مفهوم متدهای Overrideلغو شده یا همان [[توابع مجازی]] را خواهیم آورد و در بخش پایانی نیز به بررسی تأثیر وجود مفهوم چندریختی در [[برنامه‌نویسی شیءگرا]] (مانند جاوا) و مقایسهٔ آن با برنامه‌هایی که چندریختی را پشتیبانی نمی‌کنند (مانند [[زبان برنامه‌نویسی]] C) خواهیم پرداخت.

=== Overrideلغو کردن متدها (توابع مجازی) ===

:چنانچه نام و نوع امضای (هدر متد که از نام و پارامترها تشکیل می‌شود) متدی از یک زیر کلاس با نام و امضای متدی از فوق کلاسش یکسان باشد، در آن صورت اصطلاحاً می‌گوییم که متد موجود در زیرکلاس، متد موجود در فوق کلاس را Overrideلغو می‌کند.

:وقتی متد Overrideلغو شده‌ای از یک زیر کلاس فراخوانده می‌شود، همیشه از نگارش تعریف شده در زیر کلاس استفاده خواهد شد. نگارش تعریف شده در فوق کلاس پنهان خواهد شد.

:مکانیزم Overrideلغو کردن متدها، پایه و اساس یکی از قدرتمندترین مفاهیم برنامه‌نویسی شیء گرا (جاوا) را تشکیل می‌دهد، تعیین پویای متدها. تعیین پویای متدها مکانیزمی است که جاوا با استفاده از آن، حاصل عبارت فراخوانی متدهای Overrideلغو شده را به جای زمان کامپایل، در زمان اجرا تعیین می‌کند. دلیل اهمیت این مکانیزم آن است که جاوا، چندریختی زمان اجرا را با آن پیاده‌سازی می‌کند.

:اینک کار خود را با بیان مجدد یک اصل مهم آغاز می‌کنیم: متغیرهای ارجاع فوق کلاس‌ها می‌توانند به شیءهای زیرکلاس‌ها ارجاع داشته باشند. جاوا با استفاده از این امر، مسئلهٔ تعیین متدهای Overrideلغو شده را در زمان اجرا حل می‌کند. چگونگی انجام این کار به این شرح است. وقتی متد Overrideلغو شده‌ای از طریق ارجاع یک فوق کلاس فراخوانده می‌شود، جاوا بر اساس نوع شیئی که در زمان فراخوانی به آن ارجاع می‌شود، تعیین می‌کند که کدام نگارش از متد اجرا شود. از این رو این کار در زمان اجرا انجام می‌شود.

:وقتی ارجاع به انواع مختلف شیءها صورت می‌گیرد، نگارش‌های مختلفی از یک متد Overrideلغو شده فراخوانده خواهند شد. به عبارت دیگر نوع شیء مورد ارجاع (ونه متغیر ارجاع) است که تعیین می‌کند که کدام نگارش ازیک متدOverrideمتد لغو شده، اجرا خواهدشد.