Polimorfizm - wytłumaczenie Opcje

[Proxxx]

Witam,

Otóż czytam poradniki, przeglądam książki i nie mogę znaleźć dobrego wytłumaczenia idei i działania polimorfizmu. Czy może ktoś podrzucić jak najprostszy przykład i go opisać? Czym polimorfizm różni się od dziedziczenia czy implementowania interfejsu po prostu?

I czy ten kod: http://wklejto.pl/106402 , wykorzystuje polimorfizm?

Pozdrawiam,
Łukasz

[kaem]

Kolego, ważna rzecz: kwadrat jest prostokątem, a nie odwrotnie. czyli powinno być:

[PHP] pobierz, plaintext 
class Kwadrat extends Prostokat implements Figury
[PHP] pobierz, plaintext 

, a wa konstruktorze kwadratu przekazujemy tylko jeden argument (przecież boki ma takie same).

A po za tym chyba ok, chociaż jakoś specjalnie się nie zagłębiałem w kod.
Po za tym przykład użycia tych klas może wyglądąć tak: (pisane z palca):
np masz jakąś klasę, która w argmencie przyjmuje obiekt klasy Figury

[PHP] pobierz, plaintext 
class Przyklad
{
public function __construct(Figury $figuryObj){}
}
[PHP] pobierz, plaintext 

i możesz robić coś takiego:

[PHP] pobierz, plaintext 
$instance = new Przykład($kwadratObj albo $prostokatObj albo $koloObj itd...);
[PHP] pobierz, plaintext 

To jest wlasnie polimorfizm; jeśli w konstruktorze klasy Przykład wywołasz jakąś metodę obiektu figuryObj, to php rozpozna którą metodę ma wywołąć (czyt. metodę której podklasy implementującej interfejs Figury wywołać).
W Twoim przykładzie Figury to interfejs, ale równie dobrze może to być zwykła klasa. Interfejsu i polimorfizmu w zrozumieniu tych pojęć nie należy łączyć.

Ten post edytował kaem 9.10.2011, 19:16:22

[macwoj]

Uzycie dziedziczenia czy interfejsu to sposoby na implementacje polimorfizmu.
Upraszczajac - w polimorfizmie chodzi o to zeby (w naszym wypadku) obiekty bedace instancjami roznych klas reagowaly na pewien wspolny zbior wlasciwosci. Dzieki temu mozesz sobie chocby spokojnie wrzucic do jednej tablicy trojkaty, kwadraty, kola etc, a potem uzyc np foreach i kazdym obiekcie wywolac ta sama metode (zeby np poznac ich laczne pole).
Kod jest wg mnie OK (przynajmniej jesli chodzi o ilustracje dzialania polimorfizmu).

Ten post edytował macwoj 13.10.2011, 21:01:36

[thek]

Gdyby jakoś prosto zilustrować polimorfizm to jego sedno można streścić tak: byt reaguje na zdarzenia zależnie od warunków. Dość prostym i zrozumiałym przykładem polimorfizmu jest przeciążanie funkcji. Wywołana metoda produkuje różne wyniki w zależności od tego jakiego typu dane otrzymała lub ile ich otrzymała. Inaczej może choćby reagować gdy otrzyma liczbę, a inaczej gdy jest to tablica lub obiekt określonej klasy. Jest więc do pewnego stopnia pewnym bytem abstrakcyjnym. Wywołujesz go zawsze jednakowo, ale efekty jego działania w zależności od sytuacji, kontekstu, mogą dawać różne wyniki.
Klasyczny już niemal przykład to choćby funkcja licząca pole Wiadomo, że dla różnych figur powinna ona użyć innego wzoru, a więc dynamicznie reaguje na to jakiej klasy obiekt jako parametr otrzyma. Raz będzie to kwadrat, raz trójkąt a innym razem koło. Jeszcze inną sytuacją może być choćby funkcja drukuj, która może różnie zareagować na otrzymane dane. Może je bowiem przekształcić do różnych postaci, zależnie od tego na jakie urządzenie są one kierowane. Tutaj zawsze te same dane wejściowe mogą przyjąć zupełnie inną formę wyjściową.

[mike]

Dość prostym i zrozumiałym przykładem polimorfizmu jest przeciążanie funkcji. Wywołana metoda produkuje różne wyniki w zależności od tego jakiego typu dane otrzymała lub ile ich otrzymała. Inaczej może choćby reagować gdy otrzyma liczbę, a inaczej gdy jest to tablica lub obiekt określonej klasy. Jest więc do pewnego stopnia pewnym bytem abstrakcyjnym. Wywołujesz go zawsze jednakowo, ale efekty jego działania w zależności od sytuacji, kontekstu, mogą dawać różne wyniki.

A oto przykład tego czym polimorfizm nie jest.
Jest ogromna różnica pomiędzy przeciążaniem metod (ang. overloading) a ich nadpisywaniem (and. overriding). To co opisał ~thek to overloading, podczas którego mechanizm polimorfizmu najzwyklej w świecie nie działa!

Polimorfizm jest to mechanizm podczas, którego obiekt może występować jako obiekt różnych typów. Oznacza to, że obiekt zmienia swoją formę w zależności od referencji.
Przykład z polami figur jest OK. Przykład z przeciążaniem metod jest fatalny!

---update---
Można by się zagłębiać w czeluście teoretyzowania i powiedzieć, że przecież przykład z przeciążeniem metod to mechanizm ad-hoc polimorfizm ale to nie jest clue sprawy. To nadal nie jest polimorfizm na poziomie obiektów, o którym mowa w tym przypadku i w 99% procentach rozmów o polimorfizmie.
Zresztą ad-hoc polimorfizm to tylko polimorfizm z nazwy.

Ten post edytował mike 14.10.2011, 08:35:23

[thek]

Owszem mike, masz rację. To z przeciążaniem metod jest pewnym wariantem polimorfizmu, a nie jego sendem, ale chciałem tak na "chłopski rozum" wytłumaczyć czym on między innymi jest, bez wskakiwania w coś mocno abstrakcyjnego. Przedstawiony przeze mnie prosty przykład jest w oparciu o wiedzę z C/C++, gdzie przeciążanie jest mechanizmem polimorficznym. Widać to zwłaszcza w przypadku przeciążania operatorów. Ogólnie można powiedzieć, że najłatwiej polimorfizm wychwytuje się w językach statycznie typowanych, gdzie nawet rzutowanie jest przecież mechanizmem polimorficznym. Wiem... Można to uznać za teoretyzowanie, ale chyba przykład z rzutowaniem będzie budził mniej Twoich kontrowersji W końcu masz to o co Ci chodziło: obiekt jest jednocześnie różnego typu, zależnie od kontekstu użycia.

Gdyby tak się przyjrzeć to polimorfizm zależnie od swego "typu" można implementować w zasadzie jako klasy abstrakcyjne z ich pochodnymi lub interfejsy po których dziedziczymy i tym samym wymuszamy posiadanie tych samych funkcji, właściwości, do których zależnie od kontokstu można się odwoływać i wtedy jest to faktycznie polimorfizm na poziomie obiektu. Zwróć jednak uwagę, że nie jest to w przypadku php wygodne z prostego powodu: dynamiczne rzutowanie i konieczność jawnego odwoływania do przodków jeśli metoda jest nadpisana w potomku. W statycznie typowanych "sam sobie" po przodkach szuka pasujących do wywołania o ile nie może dokonać pewnych konwersji (choćby pomiędzy double, float i int).