Dotaz: Výhody objektového systému založeném na prototypech...

[jose]

Proč je class based oo oblíbenější než prototype based OO? Například Javascript má prototype based oo ale lidé ho spíše používají jako funkcionální nebo používají nějaký framework.

Dokázal by tu někdo posoudit výhody/nevýhody/rozdíly mezi objektovým systémem založeným na prototypech, class based oo a oo založeným na zasílání zpráv jako má například smalltalk?

Odpovědi

[Filip Jirsák]

Můj názor může být ovlivněn tím, že jsem se daleko dřív setkal s OO založeným na třídách a prototypové OO znám jenom z JavaScriptu a nepoužívám ho moc často. Ale připadá mi, že OO založené na třídách umožňuje vytvářet model přirozeněji. Ale možná je to taky jenom implementací v JavaScriptu, která se podle mne používá nepohodlně a prototypová dědičnost tam moc není provázána s dalšími vlastnostmi jazyka.

[Ladicek]

Já mám dojem, že rozdíl mezi třídami a jejich instancemi je "přirozený" – člověk zcela běžně abstrahuje, vytváří si v hlavě modely (třídy), a nezaměňuje je s objekty z reálného světa (instance).

Na druhou stranu, něco takového je v prototypových jazycích jen otázkou konvence: některé objekty se používají jako "třídy", některé jako "instance" (často se tahle konvence zvýrazňuje tak, že identifikátory "tříd" se tvoří jinak než identifikátory "instancí").

Mimochodem objektový model JavaScriptu je podle mne dost zvláštním mixem prototypového a třídního (viz klíčová slova new či instanceof), který není podobný žádnému jinému jazyku. Ale dokud člověk nechce dědičnost, dá se to používat.

Zasílání zpráv s tím moc nesouvisí; SmallTalk má objektový model třídní, Self třeba prototypový. Pokud vím, obvykle se rozlišují tři modely: třídy, prototypy a multimetody (v pořadí od nejčastěji používaného k nejflexibilnějšímu ).

[Pavel Křivánek]

Ten rozdíl je dobře vidět při porovnání Smalltalku a Selfu, což je varianta Smalltalku z roku 1986 založená na prototypech. Objektový model JavaScriptu z něj vychází, i když ve zjednodušené formě.

Tím, že Self použil prototypy, Smalltalk elegantně rozšířil o dynamickou a násobnou dědičnost, mixiny, lépe pracuje s metodami a uzávěry a kdyby tak restriktivně nekontroloval konflikty slotů, mohl by i jmenné prostory. To vše navíc tím, že Smalltalk zjednodušil a výrazně zrychlil (svého času byla nejrychlejší implementace Javy a Smalltalku napsána v Selfu).

Abych opravil tvůj dotaz, objektový systém založený na prototypech, třídní objektový model a zasílání zpráv nejsou v žádném konfliktu. Smalltalk je class-based a používá zasílání zpráv, Self používá prototypy a také používá zasílání zpráv.

Co se týče elegance, čistoty a i řady praktických aspektů, je prototypový objektový model lepší než třídní.

Přesto Self dnes udržuje při životě jen malá hrstka nadšenců (http://selflanguage.org/).

Těch důvodů je více, ale jedním z těch důležitějších bude paradoxně velká dynamičnost prototypových jazyků. Z toho plyne, že se pro ně hůře dělají vývojové nástroje a hůře se udržuje přehled v projektech.

Programátoři jsou především u velkých projektů mnohem více odkázáni na vzájemné dohody a standardy. To je velká potíž JavaScriptu, který je ve své podstatě zakuklený metajazyk, ale na rozdíl od ostatních (jako Smalltalk, Lisp...) se u něj nevyvinula rozsáhlá standardní knihovna, takže dnes si konkuruje několik odlišných přístupů (např. jQuery a Prototype) a ty navíc prakticky nepočítají s tím, že by se JavaScript používal mimo webové prohlížeče.

Mimochodem, podobné prostředí, jako má Self, existuje i pro JavaScript: http://adamspitz.com/Lively-Outliners/example.xhtml