maly kviz z C++ - vysvetleni

11.3.2008 18:36 | Přečteno: 1175× | programovani

Tak slibovane vysvetleni minuleho zapisku

Prvni pomerne casta chyba (i z diskuze to bylo videt) je, ze si lide pletou ciste virtualni(dale cv) metodu s interfacem. I kdyz se cv metoda pouziva casto v definici interfacu, tak se da pouzit i jinde. Cv metoda je proste normalni metoda, kde jediny co ma navic je nutnost ji predefinovat v predkovi.

No a kde se to pouziva? Napriklad vsude, kde se chcete vyhnout duplicite kodu, kdy zakladni virtualni fce udela cast prace, ale to klicovy se udela az v potomkovi a sama o sobe nema ta metoda smysl (v horsim pripade udela jen cast prace a tvari se ze udelala vsechno). Mozna nekdo namitne ze to same lze udelat v predkovi s protected metodou s jinym nazvem, ale tim se zanasi dalsi slozitost(ve smyslu porozumeni kodu) pro pripadneho ctenare kodu.

No a v jednom doporuceni na netu co jsem cetl je dokonce napsano, ze by to telo melo byt vzdy, aspon s vyhozenim vyjimky. Jako protipriklad bylo ladeni kodu, ktery se proti tomu povede trikem zkompilovat (priznam se, ze sem to nezvladl). Ale znam z wine jakej je boj hledat funkci, kterou wine vubec nema, protoze to je volani NULL a hledat to je peklo, zvlaste kdyz nemate ten stroj u sebe, ale delate support.

Nemam patent na rozum, tak uvitam jakekoliv postrehy k tematu v diskuzi a treba se necemu dalsimu priucim

       

Komentáře

[H4wk]

je nutnost ji predefinovat v predkovi. Spis v potomkovi ne?
Myslim, ze uz chapu jak by se to dalo pouzit, ja si vetsinou dam jako abstraktni tu metodu, kterou vubec nedefinuju. Vzdycky jsem to =0 chapal tak, ze "tuhle funkci at si kazdy potomek naimplementuje sam", ne jako "strcim to treba sem at je trida abstraktni".

[Let_Me_Be]

No a kde se to pouziva? Napriklad vsude, kde se chcete vyhnout duplicite kodu, kdy zakladni virtualni fce udela cast prace, ale to klicovy se udela az v potomkovi a sama o sobe nema ta metoda smysl (v horsim pripade udela jen cast prace a tvari se ze udelala vsechno). Mozna nekdo namitne ze to same lze udelat v predkovi s protected metodou s jinym nazvem, ale tim se zanasi dalsi slozitost(ve smyslu porozumeni kodu) pro pripadneho ctenare kodu.

No teda jestli tomuhle rikas zajimave dusledky, tak dobry IMHO je pro ctenare ciste virtualni metoda s telem dostatecny sok.

[qk]

Nejzajimavejsi dusledek melo byt ten kod a jak ho slinkovat aby spatne detekovatelne spadl, ale nejak se nepovedlo (teda krome urciteho poruseni binarni kompatibility sdilenych knihoven, coz neni zrovna dobry).
No pro neznaleho ctenare verim ze to sok muze byt...ale tak staci pouzit trochu vic trikoveji templaty a pulka lidi netusi co se tam deje.

[Let_Me_Be]

Templaty jsou dost pohoda, jenom to proste neni proceduralni programovani.

[zde]

> IMHO je pro ctenare ciste virtualni metoda s telem dostatecny sok.

To ze je metoda ciste virtualni znamena jedinnou vec: prekladac do VMT dane tridy "defaultne" vrazi odkaz na funkci, ktera vypise runtime error. To jestli se to prerazi az v subclassu nebo rovnou v implementaci base classu je logicky naprosto jedno. C++ je proste okridlene prase.

[depka]

abstrakni metoda se v bazove(tudiz taky abstraktni) tride nijak neprerazi, jeji implemetace se vubec v nicem neuplatnuje

[zde]

> abstrakni metoda se v bazove(tudiz taky abstraktni) tride nijak neprerazi,

Sorry, špatně jsem si to přečetl. C++ je ještě dojebanější než jsem se obával.

> jeji implemetace se vubec v nicem neuplatnuje

Právě že uplatňuje. Třída A má ve svém interfacu nadefinováno, že obsahuje jednu pure virtual funkci, a proto překladač odmítne vytvořit její instanci. To mu ale nebrání tu pure funkci v base classu implementovat, a dokonce i staticky zavolat. Opravdu netuším k čemu může být tahle zvrhlost dobrá- máš třídu kde MUSÍŠ overridovat virtuální funkci, a přitom ten base class už poskytuje nějakou její defaultní implementaci, kterou můžeš zavolat. Inu když někomu přišlo roztomilé psát cout << nl; nelze se divit ničemu.

[Let_Me_Be]

Sorry, špatně jsem si to přečetl. C++ je ještě dojebanější než jsem se obával.

Znas neco lepsiho? Ale ne, jenom tak rypu, kazdy si sam kope svuj hrob. Mne napriklad od C++ nic neodtrhne. Jenom se ted musim konecne poradne naucit nejaky skriptovaci jazyk.

[zde]

> Znas neco lepsiho?

Python, Ruby, Perl, .NET, Delphi, dokonce i Java nebo Visual Basic :)

> Mne napriklad od C++ nic neodtrhne. Jenom se ted musim konecne poradne naucit nejaky skriptovaci jazyk.

Signifikantní korelace, řekl bych :)

[Let_Me_Be]

Signifikantní korelace, řekl bych :)

Skriptovaci jazyk potrebuji pro rychle prototypovani (radove minuty).

Python, Ruby, Perl, .NET, Delphi, dokonce i Java nebo Visual Basic :)

Jedine co z toho neznam je Visual Basic. V Delphi jsem dlouho programoval a uz nikdy vic, ani to neumi spravne vyhodnocovat podminky (if ((index<size) && (array[index] != 0)) je v delphi nutne rozdelit do dvou ifu). Java je fajn jazyk pro slabe programatory, ale v podstate se v tom neda psat nic velkeho (pokud to neni serverova zalezitost). .NET je mimo muj zaber. Ve skritpovacich jazycich delam zasadne jenom prototypy a systemove skripty.

[zde]

Nojo, to striktní vyhodnocování výrazů v Delphi bude asi dědictví po Pascalu... Ale aspoň jsou tam na rozdíl od Javy nebo C++ pořádně udělaný properties, kód je kompaktní a pěkně se čte. Ve skriptovacích jazycích se dají psát i větší systémy. Pro vysokoúrovňové věci (gui, aplikační logika, zpracování textu) je režie opravdu zcela minimální, a dynamické typování je neskutečně užitečná a příjemná věc.

[Let_Me_Be]

Jo, properties mi chybi, to uznavam.

Pro vysokoúrovňové věci (gui, aplikační logika, zpracování textu) je režie opravdu zcela minimální, a dynamické typování je neskutečně užitečná a příjemná věc.

No a tomu se rika prototypovani. Program se napise ve skriptovacim jazyku a narocne casti se prepisou do C/C++.

[Ignor]

ani to neumi spravne vyhodnocovat podminky (if ((index <size) && (array[index] != 0)) je v delphi nutne rozdelit do dvou ifu)

To není pravda. Ani u Turbo Pascalu to není pravda. Defaultní bylo "líné" vyhodnocování a přepínačem šlo zapnout to druhé (nějaké to {$neco+} ve zdrojáku).

[Jakub Hájek]

Ty jo teď fakt nevím. Tuším že ta direktiva byla {$B+} a defaultně to imho bylo právě s tím plus, coź je úplné vyhodnocovaní. A o to líné si musel explicitně poprosit tím {$B-}.

Ale dost možná kecám, pascal a delphi jsem dlouho neviděl.

[Luboš Doležel (Doli)]

Python, Ruby, Perl, .NET, Delphi, dokonce i Java nebo Visual Basic

Kromě té Javy samé skriptovací věci nebo věci na hraní.

[LS_999]

Hmmm, uz vidim jak v tomhle pises ovladace anebo cpes ten kod do nejakeho jednocipu... Vsichni programuji "high level" a pak to stoji za h**** - mezi zmacknutim tlacitka a reakci pristroje se pak clovek naceka... Ne ze bych mel neco proti Pythonu, Jave atd., naopak, ale i kdyz je to trendy, OPRAVDU SE TO NEDA POUZIT NA VSECHNO.

[PMD]

A tihle odborníci potom říkají, že Java je špatný jazyk, protože to v ní nejde;)

[depka]

nejde co? ta definice abstraktni metody nema vubec zadny vyznam, muzes ji akorat explicitne zavolat pokud chces

[PMD]

Definice abstraktní metody je prostě krystalická chyba v návrhu a mně osobně vyhovuje, když programovací jazyk prasárny nepodporuje (a tím omezuje bastlíře, kteří pak ovšem křičí, že je "nedokonalost" toho jazyka omezuje v rozletu). Ale nic ve zlém, každému co jeho jest.

[qk]

No nevim jestli to bylo mireny na mne, ale muzu rict ze ja rozhodne vyvijim velmi ruznorode veci a pouzivam jazyky dle potreby od asm/C, pres C++ na vetsi systemovy az po javu na projekty v rady desitek tisic LOC. Jinak toto samozrejme ma odlisne vyznamy pouziti. V jave abstract hodne souvisi s interfaci, kdy se pouziva pro tridy, ktere definuji pouze cast interfacu a zbytek daji jako abstraktni. Tady se ale da vsimnout ze cilem techto castecne implementovanych trid je take se vyhnout duplicite kodu (coz delaji i tela u ciste virtualnich funkci) Akorat to ma trochu jine vyznamy, protoze ty jazyky maji jine cile.

[zde]

Java není vyloženě špatný jazyk. Jen to není dobrý jazyk, protože nepřináší nic dobrého. Programy v Javě nejsou ani rychlé, ani portabilní, ani (když přičteme JRE) krátké, a díky ukecanosti knihoven se špatně čtou.

[rADOn]

Ne, Java je spatny jazyk protoze jsou z ni odstraneny sikovne konstrukce jen proto, ze existuje sance ze se s nimi nejaky pitomec muze strelit do nohy.

[Let_Me_Be]

To mi pripomelo:

"C makes it easy to shoot yourself in the foot; C++ makes it harder, but when you do it blows your whole leg off." -- Bjarne Stroustrup

[PMD]

A C++ je "špatný" jazyk, protože ty konstrukce obsahuje a v naprosto každé učebnici tě od nich odrazují, což ovšem neodradí programátory;)

[Let_Me_Be]

Problem je v tom ze ty konstrukce jsou uzitecne. Sice je pouzijes naprosto vyjimecne, ale uzitecne jsou. Konkretne tohle je sice zbytecnost, ale zase to neni nebezpecna konstrukce, ktera by nejak spatnym zpusobem ovlivnovala funkcnost programu.

[PMD]

Nejsem nějaký militantní odpůrce pluska, ale mám s ním své (vesměs špatné) zkušenosti, takže si dovolím oponovat:

a) ty užitečné konstrukce jsou možná potřeba pro rychlé řešení, ale v ideálním případě by se měl programátor spíš zamyslet nad svým návrhem.

b) ty užitečné konstrukce jsou možná užitečné tobě, ale ten, co to bude luštit a udržovat, tě prokleje;)

[Let_Me_Be]

a) ty užitečné konstrukce jsou možná potřeba pro rychlé řešení, ale v ideálním případě by se měl programátor spíš zamyslet nad svým návrhem.

Ty uzitecne konstrukce jsou potreba pro to aby nebylo nutne hackovat jazyk. Porovnej si hardcore kod v Cecku a C++. Nebo jeste lip to porovnej s hardcore kodem v Jave.

b) ty užitečné konstrukce jsou možná užitečné tobě, ale ten, co to bude luštit a udržovat, tě prokleje;)

Proc by mne proklinal? Samozrejme kdyz to bude nekdo, kdo neumi C++, tak asi ano, ale ten mne bude proklinat za cokoliv, protoze proste neumi C++.

[PMD]

a) Co je prosímtě hardcore kód? Nechceš doufám psát jádro OS v Javě, že ne?

b) Oni jsou i programátoři, kteří musí číst kód po ostatních. Pokud se nechováš jako člen týmu, ale jako obfuscator, nebudou tě mít ostatní rádi.

[Ladicek]

Co je prosímtě hardcore kód? Nechceš doufám psát jádro OS v Javě, že ne?

Proč ne, i takoví jsou. A nastojte, jsou i lidi, co píšou OS v Adě (Nevím teda, jaký je aktuální stav AdaOS, když jsem se o to naposled zajímal, vypadalo to poněkud mrtvě.)

[Let_Me_Be]

Hardcore kod je u mne libovolny od ktereho se chce vic nez jenom aby "nejak" fungoval. Napr. aby byl rychly, bezpecny, portabilni, etc...

[PMD]

Jo takhle, tak to jsme asi každej na jiný planetě:) Pas.

[Messa]

To je sice zajímavý, ale stejně si myslím, že je to prasárna Pevně doufám, že to nikdy nebudu muset napsat a ještě víc doufám, že nikdy nic takového nebudu muset po někom luštit - tento trik teď už sice znám, ale když ho někdo používá, pak bůhví co používá ještě (třeba si myslel že píše "hardcore" kód).