C++
C++ je viacparadigmový programovací jazyk vyššej úrovne na všeobecné použitie, ktorý umožňuje pracovať aj s prostriedkami nízkej úrovne. Má statickú typovú kontrolu, podporuje procedurálne programovanie, dátovú abstrakciu, objektovo orientované programovanie, ale aj generické programovanie. Od 90-tych rokov 20. storočia patrí k najpopulárnejším programovacím jazykom.
Bjarne Stroustrup vyvinul C++ (pôvodne nazvaný "C with Classes") v roku 1983 v Bell Labs ako rozšírenie jazyka C. Rozširovanie začalo pridaním tried a neskôr pokračovalo pridávaním ďalších vlastností ako sú virtuálne funkcie, prekrývanie operátorov, viacnásobná dedičnosť, šablóny a ošetrenie výnimiek. Štandard jazyka C++ bol schválený v roku 1998 ako ISO/IEC 14882:1998, aktuálna verzia je z roku 2003 (ISO/IEC 14882:2003). Nová verzia štandardu (neformálne známa pod označením C++0x) sa vyvíja.
Dejiny
Ešte v roku 1979 Stroustrup začal pracovať na C with Classes (C s triedami). Pri tvorbe nového jazyka vychádzal zo skúseností z dizertačnej práce. Stroustrup zistil, že niektoré črty Simuly by boli mimoriadne užitočné pri vývoji veľkých softvérových produktov, ale Simula je príliš pomalá na praktické používanie, zatiaľ čo BCPL je rýchle, ale príliš nízko-úrovňové a nevhodné na vývoj väčších projektov. Keď Struostrup začínal pracovať pre Bell Labs jeho úlohou bolo analyzovať unixové jadro s prihliadnutím na distribuované výpočty. Využijúc skúsenosti z dizertačnej práce smeroval k rozšíreniu jazyka C o črty aké mala Simula. Jazyk C si vybral kvôli jeho zameraniu na všeobecné použitie, rýchlosti a portabilite. Okrem jazykov C a Simula ho inšpirovali aj jazyky ALGOL 68, Ada, CLU a ML. Postupne pridával triedy, dedičnosť tried, silnú typovú kontrolu, inline funkcie a štandardné hodnoty parametrov do jazyka C pomocou nástroja Cfront. Prvú štandardnú verziu vydal v októbri 1985.[1]
V roku 1983 sa zmenil názov jazyka z C with Classes na C++. Pribúdali nové črty ako virtuálne funkcie, preťažovanie funkcií a operátorov, referencie, konštantné premenné, práca s haldou, zlepšená typová kontrola a nový štýl komentárov na jeden riadok zapísaný pomocou dvoch lomiek (//). Keď bola v roku 1985 vydaná prvá verzia programovacieho jazyka C++ poskytovala dôležité odkazy na jazyk, ktoré sa ale ešte nestali oficiálnym štandardom. V roku 1989 vyšla verzia jazyka 2.0. Novými vlastnosťami boli viacnásobná dedičnosť, abstraktné triedy, funkcie triedy (statické funkcie), konštantné členské funkcie, neverejné atribúty (protected members). O rok nato vyšla referenčná príručka (The Annotated C++ Reference Manual). Táto práca sa stala základom pre budúci štandard. Nedávno boli doplnené ďalšie črty vrátane šablón, výnimiek, menných priestorov, pretypovania a booleovského dátového typu.
Ako sa vyvíjal jazyk samotný, spolu s ním sa vyvíjali aj knižnice. Prvá knižnica pridaná k štandardu C++ bola knižnica vstupno-výstupných streamov, ktorá poskytoval nástroje nahrádzajúce funkcie jazyka C ako sú printf, alebo scanf. Neskôr sa k najvýznamnejším rozšíreniam štandardu pridala STL (Standard Template Library).
Po rokoch práce po spojení komisie ANSI a ISO bol jazyk C++ štandardizovaný v roku 1998 (ISO/IEC 14882:1998). O niekoľko rokov po oficiálnom vydaní štandardu komisia zapracovala hlásenia chýb a vydala opravenú verziu štandardu v roku 2003. V roku 2005 bol schválená odborná správa nazvaná Library Technical Report 1 (často skrátene označovaná TR1). Kým nie je oficiálnou časťou štandardu, poskytuje množstvo rozšírení štandardnej knižnice, pri ktorých sa očakáva, že budú zahrnuté do ďalšej verzie jazyka. Podpora TR1 pribúda vo väčšine kompilátorov, ktoré sú v súčasnosti udržiavané.
Aj keď jazyk C++ je bezplatný, štandard nie je voľne dostupný.
Názov C++
Toto meno bolo vytvoril Rick Mascitti (v roku 1983) a prvý krát bolo použité v decembri 1983. Predtým, počas výskumu sa jazyk označoval ako "nové C", potom "C s triedami" (C with classes). Konečný názov C++ pochádza z operátora "++" v jazyku C (ktorý zvyšuje hodnotu premennej) a častej konvencie, že "+" sa používa vo význame vylepšený. Podľa Stroustrupa: "Meno znamená evolučnú povahu zmien z jazyka C". Predtým existoval nepríbuzný programovací jazyk nazvaný C+.
Stroustrup sa nového mena ujal v začiatkoch a v predslove k neskorším vydaniam knihy dodáva, že "C++" by mohlo byť odvodené z prílohy knihy "1948" od George Orwella. Z troch častí fiktívneho jazyka Newspeak, časť "C vocabulary" je určená pre technické výrazy a slang. Dvojité plus sa v Newspeaku používa na vyjadrenia superlatívu prídavných mien. Teda "C++" by mohlo mať význam "najtechnickejší, alebo najslangovejší".
Keď sa v roku 1992 Rick Mascitti neformálne pýtal na meno jazyka, Stroustrup naznačoval, že to bolo len také vnuknutie a nikdy by si nemyslel, že by sa mohlo stať oficiálnym menom jazyka.
Častým terčom vtipov býva názov jazyka. Postfix ++ znamená, že pripočítavať sa bude až po operácii a teda jazyk by sa mal volať ++C.
Ďalší vývoj
Vývoj C++ pokračuje, aby jazyk dokázal uspokojiť aj budúce potreby. Najmä skupina Boost.org vytvára väčšinu C++ v jeho súčasnej podobe a radí štandardizačnej komisii, ktoré rysy jazyka pracujú správne a ktoré by bolo dobré vylepšiť. Súčasná práca ukazuje, že C++ bude získavať stále viac na svojej multiparadigmovej povaje. Napríklad knižnica Boost veľmi rozširuje možnosti funkcionálneho programovania, ako aj metaprogramovania. Na novej verzii štandardu C++ sa pracuje. Nazýva sa C++0x (očakáva sa, že výjde v roku 2010) a bude zahŕňať veľa nových rozšírení.
Filozofia
V knihe The Design and Evolution of C++ (1994), Bjarne Stroustrup popisuje niektoré pravidlá, ktoré používa pri návrhu C++. Poznanie týchto pravidiel pomáha porozumieť, prečo je tento jazyk taký aký je. Nasledujú tie pravidlá, oveľa podrobnejšie sú v The Design and Evolution of C++.
▪ C++ je navrhnutý, aby to bol jazyk so statickou typovou kontrolou všeobecne použiteľný, ktorý má efektivitu a prenositeľnosť jazyka C.
▪ C++ je navrhnutý tak, aby priamo a vyčerpávajúco podporoval niekoľko štýlov programovania (procedurálne programovanie, dátovú abstrakciu, objektovo-orientované programovanie a generické programovanie).
▪ C++ je navrhnutý tak, aby dal programátorovi na výber. Dokonca mu umožňuje rozhodnúť sa nesprávne.
▪ C++ je navrhnutý tak, aby bol kompatibilný s jazykom C, tak ako je to možné. Preto je možný hladký prechod z jazyka C.
▪ C++ sa vyhýba črtám, ktoré by boli platformovo závislé, alebo orientované len na istú sadu problémov.
▪ C++ nevynakladá žiadnu réžiu na rozšírenia, ktoré v programe nepoužijeme.
▪ C++ je navrhnutý na fungovanie bez zložitého programovacieho prostredia.
Stanley B. Lippman podrobne popisuje rozličné modely v knihe Inside the C++ Object Model (1996) ako kompilátor môže previesť výrazy jazyka C++ na pamäťový model. Dodávatelia kompilátora nie sú obmedzovaný akým spôsobom implementujú štandard. Lippman pracoval na implementácii a údržbe Cfront-u - prvotnej implementácie C++ v Bell Labs.
Štandardná knižnica
Štandard C++ z roku 1998 sa skladá z dvoch častí: samotného jazyka (tiež niekedy aj jadro jazyka) a C++ štandardnej knižnice. Neskôr zahŕňa väčšinu z Standard Template Library a mierne upravenej verzie štandardnej knižnice jazyka C. Existuje veľa knižníc C++, ktoré nie sú časťou štandardu a používajú externé linkovanie. Knižnicou dokonca môžu byť napísané aj v jazyku C.
Štandardná knižnica jazyka C++ zahŕňa štandardnú knižnicu jazyka C s niekoľkými malými úpravami, aby umožňovala lepšiu prácu v jazyku C++. Ďalšia veľká časť knižnice C++ je založená na Standard Template Library (STL). Táto poskytuje také užitočné nástroje ako sú kontajnery (napríklad vektor - pole, list - zreťazený zoznam), iterátory (zovšeobecnené ukazovatele. Tieto kontajnery poskytujú podobný prístup ako pole a poskytujú operácie ako ako vyhľadávanie a triedenie.Knižnica ďalej ponúka (multi)mapy (asociatívne polia), (multi)množiny, ktoré ponúkajú podobné interfejsy. Potom s použitím šablón je možné napísať generické algoritmy, ktoré pracujú s ľubovoľným kontajnerom, alebo s ľubovoľnou postupnosťou definovanou pomocou iterátorov. Funkcie knižnice sa rovnako ako v jazyku C zahrnú do programu pomocou direktívy #include. C++ poskytuje šesťdesiatdeväť štandardných hlavičkových súborov, ďalších devätnásť sa neodporúča používať (sú depricated).
Používanie štandardnej knižnice-- napríklad používanie std::vector, alebo std::string namiesto polí v štýle jazyka C-- môže viesť k bezpečnejšiemu a ľahšie upraviteľnému softvéru.
STL bola pôvodne knižnica vyrobená a používaná firmou Hewlett-Packard a neskôr Silicon Graphics, pred jej začlenením do štandardu C++. Štandard sa na ňu neodkazuje ako na "STL", alen len ako na časť štandardnej knižnice, ale veľa ľudí stále používa tento pojem na odlíšenie od ostatných častí knižnice.
Väčšina kompilátorov poskytuje implementáciu štandardu C++ vrátane STL. Existujú aj implementácie štandardu nezávislé na kompilátore (napr. STLPort). Iné projekty tiež vyrábajú rozličné zákaznícke implementácie knižnice jazyka a STL s rozličnými cieľmi návrhu.
Vlastnosti, ktoré priniesol jazyk C++
V porovnaní z jazykom C, C++ prináša nové vlastnosti, vrátane deklarácii, pretypovanie so syntaxou funkcií, new/delete, bool, referencie, inline funkcie, implicitné argumenty, preťaženie funkcií, priestory mien, triedy (zo všetkými ich črtami ako dedičnosť, členské funkcie, virtuálne funkcie, abstraktné triedy a konštruktory), preťaženie operátorov, šablóna, operátor ::, ošetrenie výnimiek, RTTI.
V rozpore s populárnou domnienkou, jazyk C++ nezaviedol kľúčové slovo const ako prvý. Const bolo formálne pridané do jazyka C krátko predtým ako ho prevzalo C++.
C++ tiež v niektorých prípadoch poskytuje presnejšiu typovú kontrolu ako C (pozri. "Nekompatibilitu s jazykom C" dole).
Komentáre začínajúce s dvomi lomítkami ("//") boli pôvodne časťou BCPL (predchodca C) a boli znovuzavedené v C++.
Niektoré rozšírenia C++ boli neskôr prevzaté jazykom C. Je to deklarácia premennej v cykle for, jednoriadkový komentár (používajúci symbol //), direktíva inline (aj keď definícia inline podľa C99 nie je plne zlúčiteľná s C++). Avšak C99 tiež prichádza s novými rozšíreniami, ktoré v C++ neexistujú, napríklad makro s premenným počtom parametrov, alebo polia s dĺžkou známou až za behu. Niektoré kompilátory môžu implementovať časť týchto rozšírení, ale niektoré rozšírenia neumožňujú kompatibilitu s C++.
Veľmi častým zdrojom nedorozumenia býva terminológia. Pretože C++ je odvodené z jazyka C, pojem objekt znamená oblasť v pamäti (presne ako v C) a nie inštancia triedy, čo je význam vo väčšine ostatných objektovo orientovaných jazykoch. Napríklad, v oboch jazykoch (C aj C++) deklarácia int i; definuje objekt typu int, čiže oblasť v pamäti, kde bude premenná i uložená.
Hello, world!
Tu je ukážka programu "Hello, world!":
#include <iostream>
using namespace std;
int main()
{
cout << "Hello, world!" << endl;
return 0;
}
Úvod
Výhodou C++ je, že už má zabudovanú podporu objektov. Objekty sú dobré na rôzne veci. Sú aj modernejšie jazyky ktoré zvládajú prefíkanejšie metódy ako napr. C#, ale C++ je z objektových jazykov najrýchlejší (samozrejme v rukách skúseného programátora).
Zabalenie funkcionality (enkapsulácia)
V C alebo asembleri treba na naštartovanie nejakej funcionality zavolať veľa funkcií, napr. na inicializáciu, alokáciu pamäte a po skončení zas na ukončenie a uvoľnenie pamäte. Niekedy to môže byť dosť komplikované a neprehľadné a dajú sa tu hlavne pod stresom robiť chyby ktoré sa potom ťažko hľadajú.
V C++ môžeme vyrobiť objekt, ktorý toto všetko zprehladní a pekne čisto zabalí, takže hlavne pri častom znovupoužití nám zníži chybovosť drasticky.
Príklad
Chceme vytvoriť jednoduchú strielačku s obludami ktoré poletujú po obrazovke. Čo budeme potrebovať, sú obludy, čo sú vlastne sprity - takže obludu vyrobíme tak, že ju odvodíme od spritu, čo je v príklade už hotová trieda Sprite. Tiež potrebujeme scénu na ktorej sa to odohráva a tu vyrobíme tak, že ju odvodíme od okna, čo je hotová trieda Okno.
class Obluda : public Sprite //<-- odvodime od spritu
{
public:
Obluda(Okno* pOkno): Sprite(pOkno)
{
}
~Obluda()
{
}
};
class Scena : public Okno //<-- odvodime od okna
{
public:
int pridajObludu(Obluda)
{
}
};