Полиморфизам (рачунарство) — разлика између измена

У [[Програмски језик|програмским језицима]], '''полиморфизам''' ({{Јез-грч|πολύς}}, што значи "много" и {{Јез-грч|μορφή}}, што значи „форма, облик“) представља обезбеђивање јединственог интерфејса према ентитетима различитих [[Википедија:Вики гимназијалац/Rad sa datotekama|тип]]ова.<ref>

{{cite web|url=http://www.stroustrup.com/glossary.html#Gpolymorphism|author=Bjarne Stroustrup|title=Bjarne Stroustrup's C++ Glossary|date=February 19, 2007}}</ref> . ''Полиморфни тип'' је онај тип чије се операције могу применити на вредности неког другог типа или више типова.<ref name="Luca">{{Cite journal | last1 = Cardelli | first1 = Luca| last2 = Wegner | first2 = Peter| title = On understanding types, data abstraction, and polymorphism|date=December 1985 | url = http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf| location = New York, NY, USA}}</ref> Постоји неколико фундаментално различитих типова полиморфизма:

 

* ''[[Параметарски полиморфизам]]'': када је код написан без помињања било ког специфичног типа и стога га може користити већи број нових типова. Унутар заједнице [[Објектно-оријентисано програмирање|објектно-оријентисаног програмирања]], овај вид полиморфизма је познат као [[Генеричко програмирање|генеричко програмирање]], док се у [[Функционално програмирање|функционалном програмирању]] користи термин "полиморфизам".

 

 

* ''[[Имплицитни полиморфизам]]'': карактеристичан је за [[Функционално програмирање|функционалне језичке парадигме]]. Представља уопштење параметарског полиморфизма. Дозвољава писање кода без навођења [[Tipovi podataka|типова]]. Типови се одређују у фази извршавања.

==Типови полиморфизма==

===Ад-хок полиморфизам===

 

<source lang=pascal>

===Параметарски полиморфизам===

 

 

Одређивање конкретних типова се може изводити експлицитно, навођењем типа, или имплицитно, на основу правила превођења конкретног програмског језика.<ref name="Malkov">S.Malkov-''Odlomak iz knjige Razvoj softvera ''http://poincare.matf.bg.ac.rs/~smalkov/files/rs.r290.2015/public/Predavanja/Razvoj%20softvera.2014.06%20-%20Parametarski%20polimorfizam.pdf</ref>

 

Подршка за параметарски полиморфизам постоји и у неколико објектно-оријентисаних језика. На пример, подршка за параметарски полиморфизам у програмском језику Ц++ и Д је имплементирана кроз концепт шаблона функција и класа. Шаблон функције представља функцију у којој се употребљава неки параметарски (симболички) тип. Слично, шаблон класе је дефиниција класе која почива на употрби једног или више симболичких типова:

 

<source lang=csharp>

 

Џон Ч. Рејнолдс (и касније Жан-Ив Жирар) је формално развио појам полиморфизма као проширење ламбда рачуна (који се зове полиморфни ламбда рачун или [[Систем Ф]]). Било која параметарски полиморфна функција је нужно ограниченa, радeћи на типовима података уместо на њиховим вредностима, што је довело до концепта параметризације.

 

===Хијерархијски полиморфизам===

 

 

У следећем примеру су авиони, бродови и аутомобили подтипови превозног средства. Процедура ispisiMesto() прихвата превозно средство, али ће исправно радити и ако се преноси подтип:

 

На пример, ако су <code>Number</code>, <code>Rational</code>, и <code>Integer</code> типови такви да <code>Number</code>:> <code>Rational</code> и <code>Number</code>:> <code>Integer</code>, функција која као аргумент прима <code>Number</code> ће радити једнако добро када прима <code>Integer</code> или <code>Rational</code>. Стварни тип објекта може бити скривен од стране клијената у [[Црна кутија|црну кутију]], и приступа му се преко објекта идентитета. У ствари, ако је тип <code>Number</code> абстрактан, можда неће ни бити могуће приступити објекту чија је већина пореклом од типа <code>Number</code>. Ова врста хијерархије типа је позната - нарочито у контексту [[Scheme (programski jezik)|Шема програмског језика]]-као нумерички торањ, и обично садржи још много типова.

 

[[Објектно-оријентисано програмирање|Објектно-оријентисани језици]] почивају на концептима [[класе]] и [[Наслеђивање (објектно-оријентисано програмирање)|наслеђивања класа]]. Наслеђивање класа није ништа друго до декларисање да једна класа представља специјалан случај (или поткласу) друге класе, тј. да друга класа представља уопштење (тј. наткласу) прве класе. Релација поткласа је специјалан случај релације подтип, а релација наткласа спрецијалан случај релације надтип. <ref name="Malkov">S.Malkov-''Odlomak iz knjige Razvoj softvera ''http://poincare.matf.bg.ac.rs/~smalkov/files/rs.r290.2015/public/Predavanja/Razvoj%20softvera.2014.06%20-%20Parametarski%20polimorfizam.pdf</ref>

 

''Имплицитни полиморфизам'' подразумева да се при писању кода уопште не наводе типови вредности и израза. Претпоставља се да ће преводилац анализирати сваки конкретан сегмент програмског кода и сам закључити за које типове може да се преводе. Ако неки део кода може успешно да се преведе за више различитих типова, онда се преводи и користи као полиморфан део кода.

 

Имплицитни полиморфизам се користи у великом броју [[Dinamički programski jezik|динамичких програмских језика]], код којих се проверавање типова (а тиме и проверавање исправности кода) одлаже до фазе извршавања програма (на пример [[Lisp (programski jezik)|Лисп]]), али и код значајног броја програмских језика код којих се статичком провером типова у фази превођења тачно установљава (потенцијално полиморфан) тип сваког израза у коду.

Полиморфизами се могу разликовати према томе која је имплементација изабрана - статично (у време компајлирања) или динамично (у време извршавања, обично преко виртуелне функције). Ово је познатије као статичко и динамичкo спајање, а одговарајући облици полиморфизма се у складу са тим називају ''статички полиморфизам'' и ''динамички полиморфизам''.

 

 

Статички полиморфизам се обично јавља у ад-хоку и параметарском полиморфизму, док је динамички полиморфизам уобичајен за подтипизирани полиморфизам. Међутим, могуће је користити статички полиморфизам са подтипизираним полиморфизмом помоћу софистицираних употреба [[Шаблон метапрограмирања|шаблона метапрограмирања]].