星球直播被指涉赌下注 “女主播”欠债40多万

C++
Клас мовы	百度 彼时，恒大健康董事长谈朝晖曾表示，2014年中国美容产业总产值就已超5100亿元，按年增幅15%，预计2018年市场规模可达万亿。 шматпарадыгмавая: аб’ектна-арыентаванае, структурнае, працэдурнае, абагульненае праграмаванне, метапраграмаванне
Тып выканання	камп?ляваная
З’яв?лася ?	1983
А?тар(ы)	Б’ёрн Стра?струп
Пашырэнне файла?	.c++, .cpp, .cxx, .cc, .h++, .hpp, .hxx, .hh, .h
Тып?зацыя даных	строгая, статычная
Асно?ныя рэал?зацы?	GNU C++, Microsoft Visual C++, Intel C++ compiler, Comeau C/C++, Borland C++ Builder, Watcom C++ compiler, Digital Mars C++, Sun Studio C++ compiler
Дыялекты	ISO/IEC 14882:1998 C++ ISO/IEC 14882:2003 C++
Зведала ?плы?	C, Simula, Ада 83, Алгол 68, CLU
Па?плывала на	Java, C#, Ада 95, D, PHP, Perl, Python
Сайт	isocpp.org (англ.)

C++ (С?++) — камп?ляваная статычна тып?заваная мова праграмавання агульнага прызначэння. Падтрымл?вае розныя парадыгмы праграмавання, але, у пара?нанн? са сваёй папярэдн?цай мовай С?, найбольшая ?вага ск?равана на падтрымку аб’ектна-арыентаванага ? абагульненага праграмавання.

Назва ?C++? паходз?ць ад назвы мовы С? (C), у якой унарны (аднамесны) аператар ++ пазначае прырост зменнай на адз?нку.

У 1990-х гадах мова стала адной з самых ?жывальных мо? праграмавання агульнага прызначэння.

Пры стварэнн? C++ ?мкнул?ся захаваць сумяшчальнасць з мовай С?. Большасць праграм на С? можна, амаль не змяняючы, сабраць ? з дапамогай камп?лятара C++. Мова C++ мае с?нтакс?с, заснаваны на с?нтакс?се С?.

Г?сторыя

Мова з’яв?лася напачатку 1980-х гадо?, кал? супрацо?н?к ф?рмы Bell Laboratories Б’ёрн Стра?струп прыдума? шэраг удасканалення? да мовы С? пад уласныя патрэбы. Да пачатку аф?цыйнай стандартызацы? мова разв?валася гало?ным чынам с?лам? Стра?струпа ? адказ на запыты праграм?сцкай супольнасц?. У 1998 годзе бы? прынят м?жнародны стандарт мовы C++: ISO/IEC 14882:1998 ?Standard for the C++ Programming Language?; пасля прыняцця тэхн?чных выпра?лення? да стандарту ? 2003 годзе — цяперашняя верс?я гэтага стандарту — ISO/IEC 14882:2003.

Ранн?я верс?? мовы, вядомыя пад назвай ?C з класам??, пачал? з’я?ляцца ? 1980-я гады. ?дэя стварэння новай мовы бярэ пачатак з доследа? Стра?струпа ? праграмаванн? падчас працы над дысертацыяй. Ён выяв??, што мова мадэлявання С?мула (Simula) мае так?я магчымасц?, як?я был? б вельм? карысным? пры распрацо?цы вял?кага праграмнага забеспячэння, але працуе занадта павольна. У той жа час мова BCPL давол? хуткая, але занадта бл?зкая да мо? н?зкага ?зро?ню ? не падыходз?ць для распрацо?к? вял?кага праграмнага забеспячэння. Стра?струп пача? працаваць у Bell Labs над задачам? тэоры? чэрг (у прыкладаннях да мадэлявання тэлефонных выкл?ка?). Спробы прымян?ць ?снава?шыя ? той час мовы мадэлявання застал?ся безвын?ковым?. Успомн??шы доследы са сваёй дысертацы?, Стра?струп вырашы? дапо?н?ць мову С? (пераемн?цу BCPL) магчымасцям? мовы С?мула. Мова С?, якая была асно?най мовай с?стэмы UNIX, на якой працавал? камп’ютары Bell, хуткая, шматфункцыянальная ? пераносная. Стра?струп дада? да яе магчымасць працы з класам? ? аб’ектам?. У вын?ку, практычныя задачы мадэлявання стал? даступным? для развязання як з пункту гледжання часу распрацо?к? (дзякуючы выкарыстанню С?мула-падобных класа?) так ? з пункту гледжання часу выл?чэння? (дзякуючы хуткадзеянню С?). Напачатку ? С? был? ?ключаны класы (з ?нкапсуляцыяй), вытворныя класы, строгая праверка тыпа?, inline-функцы? ? аргументы па зма?чанн?.

Распрацо?ваючы С? з класам? (пазней C++), Стра?струп таксама нап?са? праграму cfront — транслятар, як? пераклада? зыходны код С? з класам? у зыходны код звычайнай С?. Новая мова, нечакана для а?тара, набыла вял?кую папулярнасць сярод калег, ? не?забаве Стра?струп ужо не мог падтрымл?ваць яе асаб?ста, адказваючы на тысячы пытання?.

У 1983 годзе адбылося перайменаванне мовы з С? з класам? у C++. Акрамя таго, у яе был? ?ключаны новыя магчымасц?, так?я як в?ртуальныя функцы?, перагрузка функцый ? аператара?, спасылк?, канстанты (сталыя), карыстальн?цк? кантроль над к?раваннем свабоднай памяццю, палепшаная праверка тыпа? ? новы стыль каментарыя? (//). Яе першы камерцыйны выпуск адбы?ся ? кастрычн?ку 1985 года.

Разв?ццё ? ?парадкаванне мовы

У 1985 годзе выйшла першае выданне кн?г? ?Мова праграмавання C++?, першае ап?санне гэтай мовы, што было надзвычай важным з-за адсутнасц? аф?цыйнага стандарту. У 1989 годзе адбы?ся выхад C++ верс?? 2.0. Яго новыя магчымасц? ?ключал? множнае наследаванне, абстрактныя класы, статычныя функцы?-члены, функцы?-канстанты ? ахаваныя члены.

У 1990 годзе выйшла ?Каментаванае даведачнае к?ра?н?цтва па C++?, якое пасля легла ? аснову стандарту. Апошн?я абна?ленн? ?ключал? шаблоны, выключэнн?, прасторы ?мён, новыя спосабы прывядзення тыпа? ? буле?ск? тып.

Стандартная б?бл?ятэка мовы C++ таксама разв?валася разам з ёю. Першым даба?леннем к стандартнай б?бл?ятэцы C++ стал? паток? ?воду/вываду, як?я даюць сродк? для замены традыцыйных функцый С? printf ? scanf. Пазней самым значным крокам у разв?цц? стандартнай б?бл?ятэк? стала ?ключэнне ? яе Стандартнай б?бл?ятэк? шаблона?.

У 1998 годзе, пасля некальк?х гадо? працы, сумесны кам?тэт ANSI-ISO прыня? стандарт мовы C++ (ISO/IEC 14882:1998 — Мова праграмавання C++). На працягу некальк?х гадо? пасля аф?цыйнага выхаду стандарту кам?тэт апрацо?ва? паведамленн? пра памылк? ? ? вын?ку выпусц?? выпра?леную верс?ю стандарту C++ у 2003 годзе. У наш час працо?ная група МОС (ISO) працуе над новай верс?яй стандарту пад кодавай назвай C++09 (раней вядомы як C++0X), як? пав?нен выйсц? ? 2009 годзе.

Н?хто не валодае правам? на мову C++, гэта свабодная мова праграмавання. Аднак сам дакумент стандарту мовы (за выключэннем чарнав?ко?) бясплатна не даступны.

Г?сторыя назвы

Назва ?C++? была прыдумана Рыкам Мас?цц? (Rick Mascitti) ? ?першыню была выкарыстана ? снежн? 1983 года. Раней, на ступен? распрацо?к?, новая мова называлася ?С? з класам??.

?мя, атрыманае ? вын?ку, паходз?ць ад аператара мовы С? ?++? (павел?чэнне значэння зменнай на адз?нку). ?мя ?C+? не было выкарыстана таму, што з’я?ляецца с?нтакс?чнай памылкай у С? ?, акрамя таго, гэта ?мя было занята ?ншай мовай. Мова таксама не названа ?D?, бо ?з’я?ляецца пашырэннем С? ? не спрабуе здымаць праблемы шляхам выдалення элемента? С??.

Ф?ласоф?я C++

У кн?зе ?Дызайн ? эвалюцыя C++? Б’ёрн Страуструп ап?свае прынцыпы, як?х ён прытрымл?ва?ся пры распрацо?цы мовы C++. Гэтыя прынцыпы тлумачаць, чаму C++ менав?та такая, якой яна ёсць. Некаторыя з ?х:

• Атрымаць ун?версальную мову са статычным? тыпам? даных, эфекты?насцю ? пераноснасцю мовы С?.
• Непасрэдна ? ?себакова падтрымл?ваць мноства стыля? праграмавання, у тым л?ку працэдурнае праграмаванне, абстракцыю даных, аб’ектна-арыентаванае праграмаванне ? абагульненае праграмаванне.
• Даць праграм?сту свабоду выбару, нават кал? гэта дасць яму магчымасць выб?раць няправ?льна.
• Макс?мальна захаваць сумяшчальнасць з С?, тым самым спрашчаючы пераход з мовы С?.
• Пазбегнуць розначытання? пам?ж С? ? C++: любая канструкцыя, якая дапушчальная ? абедзвюх мовах, пав?нна ? кожнай з ?х абазначаць адно ? тое ж ? прыводз?ць да адных ? тых жа паводз?н праграмы.
• Пазбягаць асабл?васцей, як?я залежаць ад платформы ц? не з’я?ляюцца ?н?версальным?.
• Н?як? мо?ны сродак не пав?нен прыводз?ць да зн?жэння прадукцыйнасц? праграм, як?я не выкарысто?ваюць яго.
• Не патрабаваць занадта складанага асяроддзя праграмавання.

Агляд мовы

Стандарт C++ на 1998 год складаецца з дзвюх асно?ных частак: ядра мовы ? стандартнай б?бл?ятэк?.

Стандартная б?бл?ятэка C++ увабрала ? сябе б?бл?ятэку шаблона? STL, якая распрацо?валася адначасова са стандартам. Цяпер назва STL аф?цыйна не ?жываецца, аднак у кругах праграм?ста? на C++ ? ? навучанн? гэта назва выкарысто?ваецца для пазначэння частк? стандартнай б?бл?ятэк?, якая змяшчае азначэнн? шаблона? кантэйнера?, ?тэратара?, алгарытма? ? функтара?.

Стандарт C++ утрымо?вае нарматы?ную спасылку на стандарт С? ад 1990 года ? не вызначае самастойна тыя функцы? стандартнай б?бл?ятэк?, як?я пазычаны са стандартнай б?бл?ятэк? С?.

Акрамя таго, ?снуе вел?зарная колькасць б?бл?ятэк C++, як?я не ?ваходзяць у стандарт. У праграмах на C++ можна выкарысто?ваць шматл?к?я б?бл?ятэк? С?.

Мова праграмавання C++ вызначана стандартам, аднак за гэтай назвай могуць хавацца таксама няпо?ныя, абмежаваныя, дастандартныя адмены мовы. Напачатку свайго ?снавання мова разв?валася па-за фармальным? рамкам?, адказваючы на задачы, як?я став?л?ся перад ёю. Разв?ццю мовы спадарожн?чала разв?ццё крос-камп?лятара cfront. Змены ? новыя ?ласц?вац? ? мове адлюстро?вал?ся ? змене нумара верс?? крос-камп?лятара. Гэтыя нумары верс?й крос-камп?лятара распа?сюджвал?ся ? на саму мову. Аднак цяпер звычайна пра верс?? мовы C++ не кажуць.

Новыя магчымасц? ? пара?нанн? з С?

Нова?вядзенням? C++ у пара?нанн? з С? з’я?ляюцца:

• падтрымка аб’ектна-арыентаванага праграмавання;
• падтрымка абагульненага праграмавання праз шаблоны;
• дадатковыя тыпы даных;
• выключэнн?;
• прасторы ?мён;
• убудавальныя функцы?;
• перагрузка аператара?;
• перагрузка ?мён функцый;
• спасылк? ? аператары дынам?чнага размеркавання памяц?;
• дадатк? к стандартнай б?бл?ятэцы.

Мова C++ шмат у чым з’я?ляецца надмноствам С?. Новыя магчымасц? C++ уключаюць аб’я?ленн? ? выглядзе выраза?, пера?тварэнн? тыпа? у выглядзе функцый, аператары new ? delete, тып bool, спасылк?, пашыранае паняцце нязменнасц? аб’екта?, падста?ляльныя (убудавальныя) функцы?, аргументы па зма?чанн?, пераазначэнн?, прасторы ?мён, класы (разам з ус?м? спалучаным? магчымасцям?, так?м? як наследаванне, функцы?-члены, в?ртуальныя функцы?, абстрактныя класы ? канструктары), пераазначэнн? аператара?, шаблоны, аператар развязання прасторы ?мён ::, апрацо?ку выключэння?, дынам?чнае атаясамленне ? многае ?ншае. Таксама, мова C++ ? мног?х выпадках стражэйшая за мову С? ? дачыненн? да праверк? тыпа?.

У C++ з’яв?л?ся каментары ? выглядзе падвойнай касой рысы (//), як?я был? ? папярэдн?ку мовы С? — мове BCPL.

Некаторыя асабл?васц? C++ пазней был? перанесены ? С?, напрыклад ключавыя словы const ? inline, аб’я?ленн? ? цыклах for ? каментары ? стыл? C++ (//). У пазнейшых рэал?зацыях С? таксама з’яв?л?ся магчымасц?, як?х няма ? C++, напрыклад макрасы vararg ? палепшаная праца з мас?вам?-параметрам?.

Магчымасц?, не звязаныя з ААП

У гэтым раздзеле ап?сваюцца магчымасц?, непасрэдна не звязаныя з аб’ектна-арыентаваным праграмаваннем (ААП). Аднак, мног?я з ?х набываюць асабл?вую важнасць ?менна ? спалучэнн? з ААП.

• Ап?сальн?к inline азначае, што функцыя з’я?ляецца добрым кандыдатам на аптым?зацыю, пры якой у месцах звароту да функцы? камп?лятар устав?ць цела гэтай функцы?, а не код выкл?ку. Прыклад: inline double Sqr(double x) {return x*x;}. inline з’я?ляецца не дырэктывай (?казаннем), а тольк? парадай камп?лятару — камп?лятар не абавязан падста?ляць цела для ?будавальных (inline) функцый, але можа, зыходзячы з даных настроек аптым?зацы?, выконваць падстано?ку цела для функцый, як?я не пазначаны як inline.
• Ап?сальн?к volatile выкарысто?ваецца ? ап?санн? зменных ? кажа камп?лятару, што значэнне пэ?най зменнай можа быць зменена спосабам, як? камп?лятар не ? стане адсачыць. Для зменных, пазначаных як volatile, камп?лятар не пав?нен ужываць сродк? аптым?зацы?, як?я змяняюць станов?шча зменнай у памяц? (напрыклад, перамяшчаць яе ? рэг?стр) ц? разл?чваюць на нязменнасць значэння зменнай у прамежку пам?ж дзвюма прысвойванням? ёй значэння.
• Замест функцый malloc ? free (як?я пак?нуты тольк? для зваротнай сумяшчальнасц?), уведзены новыя аператары new ? delete. Кал? T — адвольны тып, то
  • new T выдзяляе памяць, дастатковую для размяшчэння аднаго аб’екта тыпу Т, магчыма, задае значэнне аб’екта ? гэтай памяц?, ? вяртае указальн?к тыпу Т* (напрыклад, Т* p = new T).
  • new T[n] выдзяляе памяць, дастатковую для размяшчэння n аб’екта? тыпу Т, магчыма, задае кожны аб’ект у гэтай памяц?, ? вяртае указальн?к тыпу Т* (напрыклад, Т* p = new T[n]).
  • delete p — зн?шчае аб’ект, на як? спасылаецца указальн?к p, ? вызваляе вобласць памяц?, выдзеленую для яго раней аператарам new T.
  • delete [] p — зн?шчае кожны аб’ект у мас?ве, на як? спасылаецца указальн?к p, ? вызваляе вобласць памяц?, выдзеленую для гэтага мас?ва раней аператарам new T[n].

Аператар delete правярае, што яе аргумент не NULL, у адваротным выпадку ён н?чога не роб?ць. Пры стварэнн? ? выдаленн? асобн?ка? (аб’екта?) класа? з дапамогай new ? delete камп?лятар уста?ляе выкл?к? канструктара ? дэструктара класа (гл. н?жэй).

• Функцы? могуць прымаць аргументы па спасылцы. Напрыклад, функцыя void f(int& x) {x=3;} прысвойвае свайму аргументу значэнне 3. Таксама, функцы? могуць вяртаць вын?к па спасылцы. Спасылк? можна выкарысто?ваць не тольк? ? функцыях. Напрыклад, {double&b=a[3]; b=sin(b);} ра?назначна коду a[3]=sin(a[3]);. Спасылк? ? пэ?най ступен? падобны да ?казальн?ка?, але з наступным? асабл?васцям?: пры аб’я?ленн? спасылк? задаюцца ?казаннем на ?жо ?снуючую зменную пэ?нага тыпу; на працягу свайго ?снавання спасылка паказвае на адз?н ? той жа адрас (па сутнасц?, спасылка ёсць нязменным няя?ным указальн?кам); пры звароце па спасылцы а?таматычна прымяняецца аператар * . ?снуюць ? ?ншыя адрозненн? ва ?жыванн? ?казальн?ка? ? спасылак.
• Дапускаецца ?снаванне некальк?х функцый з аднолькавым ?менем, але розным? тыпам? ц? колькасцю аргумента? (перагрузка функцый; пры гэтым тып значэння, якое функцыя вяртае, на перагрузку не ?плывае). Напрыклад, цалкам дапушчальна п?саць:

void Print(int x);
void Print(double x);
void Print(int x, int y);

• Адз?н або некальк? апошн?х аргумента? функцы? могуць задавацца па зма?чанн?. Напрыклад, кал? функцыя ап?сана як void f(int x, int y=5, int z=10), выкл?к? f(1), f(1,5) ? f(1,5,10) ра?назначныя.
• Пры аб’я?ленн? функцый адсутнасць аргумента? у дужках азначае (у адрозненне ад С?), што аргумента? няма, а не тое, што невядома ?х колькасць. Кал? л?к аргумента? невядомы, трэба карыстацца шматкроп’ем, напрыклад, int printf(const char* fmt, …).
• Можна азначаць аперацы? (перагружаць аператары) над новым? тыпам?. Напрыклад, так:

struct Date {int day, month, year;};
void operator ++(struct Date& date);

Аператары н?чым не адрозн?ваюцца ад звычайных функцый (па сутнасц?, аператар ёсць функцыяй, ? ?се адрозненн? складаюцца ? тым, як выглядае выкл?к аператара ? зыходным кодзе). Аднак ?снуе шэраг абмежавання? на перагрузку аператара?: нельга перагружаць аператары над прадвызначаным? (убудаваным?) тыпам? (скажам, пераазначаць множанне цэлых л?ка? тыпу int); нельга выдумляць новыя аператары, як?х няма ? C++ (скажам, **); нельга змяняць меснасць (колькасць аргумента?) аператара?; прыярытэты аператара? захо?ваюцца (скажам, у выразе a+b*c спачатку будзе выконвацца множанне, а потым складанне, як?х бы тыпа? н? был? a, b ? c). Можна пераазначаць аператары [] (з адным параметрам) ? () (з любым л?кам параметра?).

• Даба?лены прасторы ?мён (namespace). Напрыклад, кал? нап?саць

namespace Foo {
   const int x=5;
   typedef int** T;
   void f(y) {return y*x};
   double g(T);
  ...
}

то па-за ф?гурным? дужкам? мы пав?нны звяртацца да T, x, f, g як Foo::T, Foo::x, Foo::f, Foo::g. Кал? мы ? нейк?м файле жадаем звяртацца да ?х непасрэдна, мы можам нап?саць

using namespace Foo;

або

using Foo::T;

Прасторы ?мён патрэбны, каб не ?зн?кала накладак пам?ж пакетам?, як?я маюць глабальныя зменныя, функцы? ц? тыпы з аднолькавым? ?мёнам?. Адмысловым выпадкам з’я?ляецца безыменная прастора ?мён

namespace {
   ...
}

Усе ?мёны, азначаныя ? ёй, даступныя тольк? ? бягучай адз?нцы трансляцы? ? больш н?дзе.

• Уведзен новы тып bool, як? можа прымаць значэнн? true (??сц?на?, або ?так?) ? false (?фальш?, або ?не?). Аператары пара?нання вяртаюць тып bool. Выразы ? дужках пасля if, while прыводзяцца да тыпу bool. (За?вага, па сутнасц?, у большасц? камп?лятара? тып bool уя?ляе сабой цэлы тып int, пры гэтым 0 разглядаецца як false, а любое ненулявое значэнне — як true).
• // азначае, што ?ся астатняя частка радка ёсць каментаром.
• Даба?лены шаблоны (template). Напрыклад, template<class T> T Min(T x, T y) {return x<y?x:y;} азначае функцыю Min для любых тыпа? (для як?х вызначан аператар ?<?). Шаблонам? можна задаваць не тольк? функцы?, але ? тыпы (класы ? структуры). Напрыклад, template<class T> struct Array{int len; T* val;}; азначае мас?? значэння? любога тыпу, пасля чаго мы можам п?саць Array<float> x;
• Уведзена стандартная б?бл?ятэка шаблона? (STL, Standard Template Library), у якой азначаны шаблоны ? функцы? для вектара? (аднамерных мас?ва? адвольнай да?жын?), мноства?, сло?н?ка? (асацыяты?ных мас?ва? map), сп?са?, знакавых радко?, патока? уводу-вываду ? ?ншыя шаблоны ? функцы?.
• Кал? ап?сана структура, клас, аб’яднанне (union) ц? перал?к (enum), яе ?мя з’я?ляецца ?менем тыпу, напрыклад:

struct Time {
    int hh, mm, ss;
};
Time t1, t2;

• Усярэдз?не класа можна азначаць укладзеныя тыпы, як праз typedef, так ? праз ап?санне ?ншых класа?, а таксама перал?ка?. Для доступу да так?х тыпа? па-за класам, да ?мя тыпу дадаецца ?мя класа ? два двукроп’?:

struct S {
    typedef int** T;
    T x;
};
S::T y;

Аб’ектна-арыентаваныя асабл?васц? мовы

Мова C++ дадае да С? аб’ектна-арыентаваныя магчымасц?. Яна уводз?ць класы, як?я забяспечваюць тры самыя важныя уласц?васц? ААП: ?нкапсуляцыю, наследаванне ? пол?марф?зм.

?снуе два значэнн? слова клас. У шырок?м сэнсе клас — гэта карыстальн?цк? тып, аб’я?лены з выкарыстаннем аднаго з ключавых сло? class, struct ц? union. У вузк?м сэнсе клас — гэта карыстальн?цк? тып, аб’я?лены з выкарыстаннем ключавога слова class.

?нкапсуляцыя (абарона даных)

Асно?ным спосабам уладкавання ?нфармацы? ? мове C++ з’я?ляюцца класы. У адрозненне ад тыпу структура (struct) мовы С?, якая можа складацца тольк? з палё? ? укладзеных тыпа?, клас (class) C++ можа складацца з палё?, укладзеных тыпа? ? функцый-члена? (member functions). Члены класа бываюць адкрытым? (public), абароненым? (protected) ? закрытым? (private). У C++ тып структура падобны да тыпу клас, адрозненне ? тым, што па зма?чанн? члены ? наследаванне ? структуры адкрытыя, а ? класа — закрытыя.

З адкрытым? членам? класа можна раб?ць ?сё, што за?годна, як унутры так ? звонку класа. Да закрытых жа члена? нельга звяртацца па-за класам; гэта зроблена адмыслова, каб не парушыць цэласнасць даных класа. Спроба такога звароту выкл?ча памылку камп?ляцы?. Да так?х члена? могуць звяртацца тольк? функцы?-члены класа (а таксама так званыя функцы?-сябры ? функцы?-члены класа?-сябро?; пра паняцце сябро? у C++ гл. н?жэй). Апроч адкрытых ? закрытых члена? класа, могуць быць яшчэ ? абароненыя — гэта члены, даступныя свайму класу-?ладальн?ку, яго сябрам, а таксама вытворным ад яго класам (наследн?кам). Такая ахова члена? называецца ?нкапсуляцыяй (або абаронай даных).

Выкарысто?ваючы ?нкапсуляцыю, а?тар класа можа абаран?ць свае даныя ад няслушнага выкарыстання. Акрамя таго, ахо?ванне ?кладзеных даных задумвалася для палягчэння сумеснай распрацо?к? класа?. Мелася на ?вазе, што пры змене спосабу захо?вання даных, кал? яны аб’я?лены як абароненыя ц? закрытыя, не патрабуецца адпаведных змен у класах, як?я выкарысто?ваюць зменены клас. Напрыклад, кал? ? старой верс?? класа закрытыя ц? абароненыя даныя захо?вал?ся ? выглядзе л?нейнага сп?су, а ? новай верс?? — у выглядзе дрэва, не трэ будзе перап?сваць н?як?я функцы?, акрамя функцый-члена? класа, а таксама функцый-сябро? ? функцый-члена? класа?-сябро?, а ? выпадку абароненых члена? так?х жа функцый для вытворных класа?. З ?ншага боку, кал? гэтыя даныя был? адкрытым?, трэ будзе, увогуле кажучы, перап?сваць усе функцы?, як?я напрамую працуюць з гэтым? палям?: як члены любых класа?, так ? функцы?, як?я не з’я?ляюцца членам? н?як?х класа?.

Доступ	private (закрыты)	protected (ахаваны)	public (адкрыты)
Сам класс	ёсць	ёсць	ёсць
Сябры	ёсць	ёсць	ёсць
Наследн?к?	няма	ёсць	ёсць
Па-за класам	няма	няма	ёсць

Выкарысто?ваючы ахо?ванне даных, аднамерны мас?? можна ап?саць наступным чынам:

class Array {
public:
    void Alloc(int new_len);
    void Free();
    inline double Elem(int i);
    inline void ChangeElem(int i, double x);
protected:
    int len;
    double* val;
};

void Array::Alloc(int new_len) 
    {if (len>0) Free(); len=new_len; val=new double[new_len];}
void Array::Free() {delete [] val; len=0;}
inline double Array::Elem(int i) 
    {assert(i>=0 && i<len ); return val[i];}
inline void Array::ChangeElem(int i, double x) 
    {assert(i>=0 && i<len); val[i]=x;}

? далей

Array a;
a.Alloc(10);
a.ChangeElem(3, 2.78);
double b = a.Elem(3);
a.Free();

Тут мас?? a мае 4 адкрытыя функцы?-члены ? 2 ахаваныя пал?. Ап?сальн?к inline падказвае камп?лятару, што замест выкл?ку функцы? яе код варта падстав?ць у кропку выкл?ку. Часта гэтым можна дасягнуць большай эфекты?насц?.

Азначэнне функцый у целе класа

У целе класа можна ап?саць тольк? загаловак функцы?, а можна цалкам азначыць функцыю. У апошн?м выпадку яна л?чыцца ?будавальнай (або падста?ляльнай) (inline), напрыклад:

class Array {
public:
    void Alloc(int _len) {
    	if (len == 0) Free();
    	len = _len;
    	val = new double[len];
    }

? гэтак далей.

Канструктары ? дэструктары

Аднак у прыведзеным прыкладзе не развязана важная праблема: функцы? Alloc ? Free па-ранейшаму трэба выкл?каць уручную. ?ншая праблема гэтага прыкладу — небяспечнасць аператара прысвойвання.

Каб развязаць гэтыя праблемы ? мову был? ?ведзены канструктары ? дэструктары. Канструктар выкл?каецца кожны раз, кал? ствараецца аб’ект дадзенага тыпу; дэструктар — пры зн?шчэнн?. Пры пера?тварэннях тыпа? з удзелам асобн?ка? (аб’екта?) класа? таксама выкл?каюцца канструктары ? дэструктары.

З канструктарам? ? дэструктарам клас выглядае так:

class Array {
public:
    Array() : len(0), val(NULL) {}
    Array(int _len) : len(_len) {val = new double[_len];}
    Array(const Array& a);
    ~Array() { Free(); }
    inline double Elem(int i);
    inline void ChangeElem(int i, double x);
protected:
    void Alloc(int _len);
    void Free();
    int len;
    double* val;
};

Array::Array(const Array& a) : len(a.len)
{
    val = new double[len];
    for (int i=0; i<len; i++)
        val[i] = a.val[i];
}

Тут Array::Array — канструктар, а Array::~Array — дэструктар. Канструктар кап?равання Array::Array(const Array&) выкл?каецца пры стварэнн? новага аб’екта, як? з’я?ляецца коп?яй ужо ?снуючага аб’екта. Зараз аб’ект класа Array нельга сапсаваць: як бы мы яго н? стварал?, што б мы н? раб?л?, яго пал? будуць несупярэчл?вым?, таму што канструктар выкл?каецца а?таматычна. Усе небяспечныя аперацы? з указальн?кам? схаваны ? закрытых функцыях-членах.

Array a(5); // выкл?каецца Array::Array(int)
Array b;    // выкл?каецца Array::Array()
Array c(a); // выкл?каецца Array::Array(const Array&)
Array d=a;  // тое ж самае
b=c;        // адбываецца выкл?к аператара =
            // кал? ён не азначан (як у гэтым выпадку), то выкл?каецца аператар прысвойвання па зма?чанн?, як?
            // ажыцця?ляе кап?раванне ?с?х падаб’екта? ? пачасткавае кап?раванне нестатычных члена?-дадзеных.
            // як прав?ла канструктар кап?равання ? аператар прысвойвання перавызначаюцца парам?

Аператар new таксама выкл?кае канструктары, а delete — дэструктары.

Па зма?чанн?, кожны клас мае няя?на аб’я?лены канструктар без параметра?, як? будуе падаб’екты класа?-продка? ? задае пал? класа, выкл?каючы для ?х канструктары па зма?чанн?. Кал? ? класе няма я?на аб’я?ленага дэструктара, то клас мае няя?на аб’я?лены дэструктар.

Клас можа мець кольк? за?годна канструктара? (з розным? наборам? параметра?), але тольк? адз?н дэструктар (у дэструктара не можа быць параметра?).

?ншыя магчымасц? функцый-члена?

Функцы?-члены могуць быць ? аператарам?:

class Array {
...
    inline double &operator[] (int n)
    {
         return val[n];
    }

? далей

Array a(10);
...
double b = a[5];

Функцы?-члены (? тольк? яны) могуць мець ап?сальн?к const

class Array {
...
    inline double operator[] (int n) const;

Так?я функцы? не маюць права змяняць пал? класа (акрамя палё?, пазначаных як mutable). Кал? яны спрабуюць гэта зраб?ць, камп?лятар пав?нен выдаць паведамленне аб памылцы.

Наследаванне

Для стварэння класа? з дадатковай функцыянальнасцю ?водзяць наследаванне. Клас-наследн?к мае пал? ? функцы?-члены класа-продка, але не мае права звяртацца да закрытых (private) палё? ? функцый бацько?скага класа. У гэтым ? складаецца розн?ца пам?ж закрытым? ? ахаваным? членам?.

Клас-наследн?к можа даба?ляць свае пал? ? функцы? або пераазначаць функцы?-члены класа-продка.

Па зма?чанн?, канструктар наследн?ка без параметра? выкл?кае канструктар класа-продка, а затым канструктары тых нестатычных члена?-даных, як?я з’я?ляюцца асобн?кам? пэ?ных класа?. Дэструктар працуе ? адваротным парадку. Канструктары класа?-наследн?ка? даводз?цца азначаць кожны раз нанова. На шчасце, гэта можна зраб?ць выкл?кам канструктара класа-продка.

class ArrayWithAdd : public Array {
    ArrayWithAdd(int n) : Array(n) {}
    ArrayWithAdd() : Array() {}
    ArrayWithAdd(const Array& a) : Array(a) {}
    void Add(const Array& a);
};

Наследн?к змяшчае больш палё? ? функцый-члена? чым продак, таму, кал? наследаванне адкрытае, аб’екта класа-наследн?ка можна выкарысто?ваць усюды, дзе выкарысто?ваюцца асобн?к? (аб’екты) класа-продка, але не наадварот.

Наследаванне бывае адкрытым, ахаваным ? закрытым. Пры адкрытым наследаванн?, адкрытыя ? ахаваныя члены класа-продка захо?ваюць свой узровень ахо?вання, а да закрытых не могуць звяртацца нават функцы?-члены наследн?ка. Ахаванае наследаванне адрозн?ваецца тым, што пры ?м адкрытыя члены класа-продка з’я?ляюцца ахаваным? членам? наследн?ка. Пры закрытым наследаванн? ?се члены класа-продка становяцца закрытым? членам? класа-наследн?ка; так?м чынам, карыстальн?к вытворнага класа не можа звяртацца да члена? бацько?скага класа, нават кал? яны аб’я?лены як адкрытыя. Клас-наследн?к роб?ць ?х закрытым? з дапамогай закрытага наследавання. Як прав?ла, адкрытае наследаванне ужываецца значна часцей за ?ншыя.

\Доступ к членам класа-продка Узровень ахо?вання наследавання	закрыты член (private)	ахаваны член (protected)	адкрыты член (public)
закрытае наследаванне (private)	недаступны	закрыты (private)	закрыты (private)
ахаванае наследаванне (protected)	недаступны	ахаваны (protected)	ахаваны (protected)
адкрытае наследаванне (public)	недаступны	ахаваны (protected)	адкрыты (public)

Клас можа быць наследн?кам некальк?х класа?. Такое наследаванне называецца множным наследаваннем. Так? клас валодае палям? ? функцыям?-членам? ?с?х сва?х продка?. Напрыклад, клас FlyingCat (ЛятучыКот) можа быць наследн?кам класа? Cat (Кот) ? FlyingAnimal (ЛятучаяЖывёла)

class Cat {
   ...
    void Purr();
   ...
};
class FlyingAnimal {
   ...
    void Fly();
   ...
};
class FlyingCat : public Cat, public FlyingAnimal {
   ...
    PurrAndFly() {Purr(); Fly();}
   ...
};

Пол?марф?зм (разнастайнасць падкласа?)

Пол?марф?змам у праграмаванн? завецца пераазначэнне наследн?кам функцый-члена? базавага класа, напрыклад

class Figure {
   ...
    void Draw() const;
   ...
};

class Square : public Figure {
   ...
    void Draw() const;
   ...
};

class Circle : public Figure {
   ...
    void Draw() const;
   ...
};

У гэтым прыкладзе, якая з функцый будзе выкл?кана — Circle::Draw(), Square::Draw() ц? Figure::Draw(), вызначаецца падчас камп?ляцы?. Напрыклад, кал? нап?саць

Figure* x = new Circle(0,0,5);
x->Draw();

то будзе выкл?кана Figure::Draw(), бо x — аб’ект класа Figure. Так? пол?марф?зм называецца статычным.

Але ? C++ ёсць ? дынам?чны пол?марф?зм, кал? функцыя, якую трэба выкл?каць, вызначаецца падчас выканання. Для гэтага функцы?-члены пав?нны быць в?ртуальным?.

class Figure {
   ...
    virtual void Draw() const;
   ...
};

class Square : public Figure {
   ...
    virtual void Draw() const;
   ...
};

class Circle : public Figure {
   ...
    virtual void Draw() const;
   ...
};

Figure* figures[10];
figures[0] = new Square(1, 2, 10);
figures[1] = new Circle(3, 5, 8);
...
for (int i = 0; i < 10; i++)
    figures[i]->Draw();

У гэтым выпадку для кожнага элемента будзе выкл?кана Square::Draw() ц? Circle::Draw() у залежнасц? ад ф?гуры.

Чыста в?ртуальнай функцыяй называецца в?ртуальная функцыя-член, якая аб’я?лена са ап?сальн?кам = 0:

class Figure {
   ...
    virtual void Draw() const = 0;
);

Чыста в?ртуальная функцыя можа быць пак?нута без азначэння, акрамя выпадку, кал? неабходна яе выкл?каць.

Абстрактным класам называецца так?, у якога ёсць хоць адна чыста в?ртуальная функцыя-член. Аб’екты так?х класа? ствараць забаронена. Абстрактныя класы часта выкарысто?ваюцца як ?нтэрфейсы.

Сябры класа

Функцы?-сябры — гэта функцы?, як?я не ёсць функцыям?-членам?, але маюць доступ да ахаваных ? закрытых палё? ? функцый-члена? класа. Яны пав?нны быць ап?саны ? целе класа як friend. Напрыклад:

class Matrix {
   ...
    friend Matrix Multiply(Matrix m1, Matrix m2);
   ...
};

Matrix Multiply(Matrix m1, Matrix m2) {
   ...
}

Тут функцыя Multiply можа звяртацца да любых палё? ? функцый-члена? класа Matrix.

?снуюць таксама класы-сябры. Кал? клас A — сябар класа B, то ?се яго функцы?-члены могуць звяртацца да любых палё? ? функцый члена? класа B. Напрыклад:

class Matrix {
   ...
    friend class Vector;
   ...
};

Аднак у C++ не дзейн?чае прав?ла ?сябар майго сябра — мой сябар?.

Па стандарце C++03 укладзены клас не мае доступу да закрытых члена? класа, як? агортвае яго, ? не можа быць аб’я?лен яго сябрам (апошняе вын?кае з азначэння тэрм?на сябар як нечлена класа). Аднак, мног?я пашыраныя камп?лятары парушаюць абодва гэтыя прав?лы (в?даць, з прычыны сукупнай дз??насц? гэтых прав?л).

Будучае разв?ццё

Бягучы стандарт мовы бы? прыняты ? 2003 годзе. Наступная верс?я стандарту нос?ць неаф?цыйную назву C++0x.

C++ працягвае разв?вацца, каб адказваць сучасным патрабаванням. Адна з груп, як?я займаюцца мовай C++ у яе сучасным выглядзе ? нак?ро?ваюць кам?тэту па стандартызацы? C++ парады па яе паляпшэнн? — гэта Boost. Напрыклад, адз?н з к?рунка? дзейнасц? гэтай групы — удасканаленне магчымасцей мовы шляхам даба?лення ? яе асабл?васцей метапраграмавання.

Стандарт C++ не ап?свае спосабы наймення аб’екта?, некаторыя падрабязнасц? апрацо?к? выключэння? ? ?ншыя магчымасц?, спалучаныя з асабл?васцям? рэал?зацы?, што прыводз?ць да несумяшчальнасц? аб’ектнага кода, створанага розным? камп?лятарам?. Аднак, каб зняць гэту праблему, трэц?м? асобам? было створана мноства стандарта? для розных арх?тэктур ? аперацыйных с?стэм.

Тым не менш (па стане на час нап?сання гэтага артыкула) сярод камп?лятара? C++ усё яшчэ працягваецца б?тва за по?ную рэал?зацыю стандарту C++, асабл?ва ? вобласц? шаблона? — частк? мовы, зус?м няда?на распрацаванай кам?тэтам стандартызацы? ? по?ным аб’ёме.

Ключавое слова export

Адной са спрэчных пункта? у гэтым пытанн? з’я?ляецца ключавое слова export, якое ?ведзена з мэтай зняць патрэбу ? абавязковым папярэдн?м азначэнн? шаблона.

Першым камп?лятарам, як? падтрымл?вае export у шаблонах, ста? Comeau C++ напачатку 2003 года (праз пяць гадо? пасля выхаду стандарту). У 2004 годзе бета-верс?я камп?лятара Borland C++ Builder X таксама ?ключыла яго падтрымку.

Абодва гэтых камп?лятара заснаваны на вонкавым ?нтэрфейсе EDG. ?ншыя камп?лятары, так?я як Microsoft Visual C++ ц? GCC (GCC 3.4.4), наогул не падтрымл?ваюць гэта ключавое слова. Хёрб Саттэр, сакратар кам?тэта па стандартызацы? C++, рэкамендава? прыбраць export з будучых верс?й стандарту з прычыны сур’ёзных складанасцей у па?навартаснай рэал?зацы?, аднак у вын?ку яго вырашыл? пак?нуць.

Са сп?су ?ншых праблем, спалучаных з шаблонам?, можна прывесц? пытанн? пабудовы частковай спецыял?зацы? шаблона?, як?я дрэнна падтрымл?вал?ся на працягу мног?х гадо? пасля выхаду стандарту C++.

Стандартная б?бл?ятэка

Асно?ны артыкул: Стандартная б?бл?ятэка ? C++

У склад стандартнай б?бл?ятэк? C++ уваходз?ць стандартная б?бл?ятэка мовы С? з невял?к?м? зменам?, як?я робяць яе больш прыдатнай для мовы C++. Друг?м ?стотным складн?кам б?бл?ятэк? C++ ёсць Стандартная Б?бл?ятэка Шаблона? (STL). Яна дае так?я важныя прылады, як тыпы-скрын? (або кантэйнеры) (напрыклад, вектары ? сп?сы) ? ?тэратары (абагульненыя указальн?к?), як?я дазваляюць працаваць са тыпам?-скрыням? (кантэйнерам?) як з мас?вам?. Акрамя таго, STL дазваляе падобным чынам працаваць ? з ?ншым? скрыневым? тыпам? (тыпам? кантэйнера?), напрыклад, сло?н?кам? (асацыяты?ным? сп?сам?), стэкам?, чэргам?.

Выкарысто?ваючы шаблоны, можна п?саць абагульненыя алгарытмы, здольныя працаваць з любым? скрыневым? тыпам? (кантэйнерам?) ц? паслядо?насцям?, вызначаным? ?тэратарам?.

Гэтак жа, як ? ? С?, доступ к магчымасцям б?бл?ятэк ажыцця?ляецца з дапамогай указання #include для ?ключэння стандартных файла?. Усяго ? стандарце C++ вызначана 50 так?х файла?.

STL да ?ключэння ? стандарт C++ была незалежнай распрацо?кай, напачатку — ф?рмы HP, а затым SGI. Стандарт мовы не называе яе ?STL?, бо гэта б?бл?ятэка стала неад’емнай часткай мовы, аднак шмат хто ? дагэтуль выкарысто?вае гэту назву, каб адрозн?ваць яе ад астатняй частк? стандартнай б?бл?ятэк? (паток? ?воду/вываду (iostream), падмноства С? ? ?нш.).

Праект пад назвай STLport, заснаваны на SGI STL, ажыцця?ляе сталае абна?ленне STL, IOstream ? радковых класа?. Некаторыя ?ншыя праекты таксама займаюцца распрацо?кай асобных дастасавання? стандартнай б?бл?ятэк? для розных канструктарск?х задач. Кожны вытворца камп?лятара? C++ абавязкова паста?ляе якую-небудзь рэал?зацыю гэтай б?бл?ятэк?, бо яна з’я?ляецца вельм? важнай часткай стандарту ? шырока выкарысто?ваецца.

C++ не ?ключае ? сябе С?

Нягледзячы на тое, што вял?кая частка кода С? будзе слушнай ? на мове C++, C++ не ёсць надмноствам мовы С? ? не ?ключае яе ? сябе. ?снуе ? так? код, як? слушны на С?, але няслушны для C++. Гэта адрозн?вае яго ад Аб’ектнага С?, яшчэ аднаго ?дасканалення С? для ААП, як? якраз ? ёсць надмноствам С?.

У прыватнасц? крын?цай несумяшчальнасц? з’я?ляюцца новыя (адносна С?) ключавыя словы. Так, ап?санне пераменнай

    int try;

з’я?ляецца цалкам слушным на С?, але х?бным на мове C++, бо слова try з’я?ляецца ? C++ ключавым.

?снуюць ? ?ншыя адрозненн?. Напрыклад, C++ не дазваляе выкл?каць функцыю main() усярэдз?не праграмы, у той час як у С? гэта дзеянне правамернае. Акрамя таго, C++ стражэйшы ? некаторых пытаннях: напрыклад, ён не дапускае няя?нага прывядзення тыпа? пам?ж нязвязаным? тыпам? ?казальн?ка? ? не дазваляе выкарысто?ваць функцы?, як?я яшчэ не аб’я?лены.

Да таго ж код, слушны на абедзвюх мовах, можа даваць розныя вын?к? ? залежнасц? ад таго, камп?лятарам якой мовы ён апрацаваны. Напрыклад, на большасц? платформ наступная праграма друкуе ?C?, кал? камп?люецца камп?лятарам С?, ? ?C++? — кал? камп?лятарам C++. Так адбываецца з-за таго, што знакавыя канстанты ? С? (напрыклад 'a') маюць тып int, а ? C++ — тып char, а памеры гэтых тыпа? звычайна адрозн?ваюцца.

#include <stdio.h>

int main()
{
    printf("%s\n", (sizeof('a') == sizeof(char)) ? "C++" : "C");
    return 0;
}

Прыклады праграм на C++

Прыклад № 1

Гэта прыклад праграмы, якая н?чога не роб?ць. Яна пачынае выконвацца ? адразу завяршаецца. Яна складаецца з асно?нага патоку: функцы? main(), якая пазначае кропку пачатку выканання праграмы на C++.

int main()
{
    return 0;
}

Стандарт C++ патрабуе, каб функцыя main() вяртала тып int. Праграма, у якой функцыя main() вяртае значэнне ?ншага тыпу, не адпавядае стандарту C++.

Стандарт не кажа пра тое, што насамрэч азначае вяртаймае значэнне функцы? main(). Традыцыйна яно вытлумачваецца як код вяртання праграмы. Стандарт гарантуе, што вяртанне 0 функцыяй main() паказвае, што праграма была завершана паспяхова.

Завяршэнне праграмы на C++ з памылкай традыцыйна пазначаецца шляхам вяртання ненулявога значэння.

Прыклад № 2

Гэта праграма таксама н?чога не роб?ць, але карацейшая.

int main(){}

У C++, кал? выкананне праграмы даходз?ць да канца функцы? main(), гэта ра?назначна return 0;. Для ?с?х астатн?х функцый (акрамя main()) гэта не так.

Прыклад № 3

Гэта прыклад праграмы Hello World, якая выводз?ць гэта знакам?тае паведамленне, выкарысто?ваючы стандартную б?бл?ятэку, ? завяршаецца.

#include <iostream> // гэта неабходна для std::cout ? std::endl
 
int main()
{
    std::cout << "Hello, world!" << std::endl;
}

Прыклад № 4

Сучасны C++ дазваляе развязваць простым спосабам ? больш складаныя задачы. Гэты прыклад паказвае акрамя ?сяго ?ншага выкарыстанне тыпа?-скрыня? (кантэйнера?) стандартнай б?бл?ятэк? шаблона? (STL).

#include <iostream>   // для выкарыстання std::cout
#include <vector>     // для std::vector<>
#include <map>        // для std::map<> ? std::pair<>
#include <algorithm>  // для std::for_each()
#include <string>     // для std::string

using namespace std;  // выкарыстанне прасторы ?мён "std"

void display_item_count(pair< string const, vector<string> > const& person) {
   // person — гэта пары двух аб’екта?: person.first — гэта яго ?мя,
   // person.second — гэта сп?с яго прадмета? (вектар радко?)
   cout << person.first << " is carrying " << person.second.size() << " items" << endl;
}

int main()
{
   // аб’я?ляем сло?н?к (мапу, адлюстраванне) з радковым? ключам? ? дадзеным? ? выглядзе вектара? радко?
   map< string, vector<string> > items;

   // Дабав?м у гэту карту некальк? чалавек ? дадз?м ?м некальк? рэча?
   items["Anya"].push_back("scarf");
   items["Dimitri"].push_back("tickets");
   items["Anya"].push_back("puppy");

   // Перабяром усе аб’екты ? скрын? (кантэйнеры)
   for_each(items.begin(), items.end(), display_item_count);
}

У гэтым прыкладзе для прастаты выкарысто?ваецца ?казанне выкарыстанай прасторы ?мён з дапамогай ключавых сло? using namespace. Аднак у вял?к?х прамысловых праграмах звычайна раяць выкарысто?ваць аб’я?ленн? асобных класа? ? функцый, бо з-за магчымага супадзення ?мён у розных прасторах могуць узн?кнуць шматл?к?я цяжка ?ло?ныя памылк?. Таму лепш п?саць, напрыклад, так:

#include <vector>

int main()
{
    using std::vector;

    vector<int> my_vector;
}

Тут дырэктыва (указанне) змешчана ? вобласць функцы?, што памяншае шанцы сутыкнення? ?мён (гэта ? стала прычынай увядзення ? мову прастор ?мён). Ужыванне аб’я?лення?, як?я зл?ваюць розныя прасторы ?мёна? у адну, руйнуе сам замысел прасторы ?мён.

Прыклад № 5

Папулярныя б?бл?ятэк? (напрыклад, boost) у спалучэнн? са стандартным? сродкам? мовы дазваляюць вельм? коратка ? наглядна зап?сваць код. У прыведзеным н?жэй прыкладзе выл?чаецца скалярны здабытак вектара? няцотных л?ка? ? квадрата?. У кодзе вектары значэння? прадста?лены STL-падобным? паслядо?насцям?.

#include <iostream>
#include <numeric>
#include <boost/iterator/counting_iterator.hpp>
#include <boost/iterator/transform_iterator.hpp>

int odd(int i)
{
  return 2 * i + 1;
}

int square(int i)
{
  return i * i;
}

typedef boost::counting_iterator <int> counter;
typedef boost::transform_iterator <int (*)(int), counter> transformer;

transformer odds(int n)
{
  return transformer(counter(n), odd);
}

transformer squares(int n)
{
  return transformer(counter(n), square);
}

int main()
{
  using namespace std;

  cout << "Enter vector length: ";
  int n; cin >> n;

  cout << inner_product( odds(0), odds(n), squares(0), 0 ) << endl;
}

Гэты прыклад паказвае так званы ?плоск?? стыль зап?су. Гэта назва звязана з тым, што алгарытмы STL дазваляюць зап?сваць код без цыкла?, адпаведна шырыня водступа? у адфарматаваным кодзе не дужа змяняецца. Прых?льн?к? такога падыходу л?чаць, што праграм?сту, знаёмаму са стандартнай б?бл?ятэкай C++, дастаткова радка з выкл?кам inner_product(), каб зразумець, што роб?ць праграма. З гэтага пункту гледжання выкл?к inner_product бл?зк? да славеснага ап?сання задачы: ?выл?чыць скалярны здабытак вектара? няцотных л?ка? ? квадрата? для значэння? ад нуля да n?.

Пара?нанне C++ з мовам? Java ? C#

Мэтай стварэння C++ было пашырэнне магчымасцей С?, найбольш распа?сюджанай мовы с?стэмнага праграмавання. Нак?раваная на той жа абсяг ужытку, што ? мова С?, мова C++ пераняла ад яе ? спадчыну мноства не самых лепшых, з тэарэтычнага пункту гледжання, асабл?васцей. Перал?чаныя вышэй прынцыпы, як?х прытрымл?ва?ся а?тар мовы, прадвызначыл? мног?я недахопы C++.

У гал?не прыкладнога праграмавання альтэрнатывай C++ стала мова Java. Нягледзячы на пераемнасць у аднос?нах да C++, Java будавалася на прынцыпова ?ншай аснове, яе распрацо?шчык? не был? абмежаваны патрабаванням? сумяшчальнасц? з мовай-продкам ? забеспячэння найбольшай дасягальнай эфекты?насц?, дзякуючы гэтаму яны змагл? карэнным чынам перапрацаваць мову, адмов?цца ад мноства с?нтакс?чных сродка?, каб дамагчыся ?дэалаг?чнай цэласнасц? мовы. Пазней ф?рма Майкрасофт прапанавала мову C#, якая ?я?ляе сабой яшчэ адну перапрацо?ку мовы C++ у тым жа к?рунку, што ? Java. Пасля з’яв?лася мова Nemerle, у якой да сродка? C# далучаны сродк? функцыйнага праграмавання. Яшчэ пазней з’яв?лася спроба аб’яднання эфекты?насц? C++ з бяспекай ? хуткасцю распрацо?к? Java ? C# — была прапанавана мова D, якая пакуль не атрымала шырокага прызнання.

Java ? C++ можна разглядаць як дзве мовы-пераемн?цы С?, распрацаваныя з розных меркавання?, у вын?ку чаго ?х шлях? разышл?ся. У гэтай сувяз? ц?кава пара?наць гэтыя мовы (усё, сказанае н?жэй пра Java, можна з аднолькавым поспехам аднесц? да мо? C# ? Nemerle, бо на так?м узро?н? разглядання гэтыя мовы адрозн?ваюцца тольк? вонкава).

С?нтакс?с

C++ захо?вае сумяшчальнасць з C, накольк? гэта магчыма. Java захо?вае вонкавае падабенства да C ? C++, але, у рэча?снасц?, моцна адрозн?ваецца ад ?х — з мовы выдалена вял?кая колькасць с?нтакс?чных сродка?, абвешчаных неабавязковым?. У вын?ку праграмы на Java бываюць больш грувастк?я ? пара?нанн? з ?х аналагам? на C++. З ?ншага боку, Java прасцешая за C++, што палягчае як вывучэнне мовы, так ? стварэнне транслятара? для яе.

Выкананне праграмы

Java-код камп?люецца ? прамежкавы код, як? ? далейшым ?нтэрпрэтуецца ц? камп?люецца, тады як мова C++ першапачаткова ск?равана на камп?ляцыю ? машынны код для пэ?най платформы (хоць, тэарэтычна, н?што не перашкаджае стварыць для C++ транслятар у прамежкавы код). Ужо гэта вызначае розн?цу ? абласцях ужытку мо?: мову Java на?рад ц? можна выкарыстаць пры нап?санн? так?х адмысловых праграм, як драйверы прыстасавання? ц? н?зка?зро?невыя с?стэмныя ?тыл?ты. Дзякуючы механ?зму выканання, нап?саныя на Java праграмы, нават адкамп?ляваныя (у байт-код), цалкам пераносныя. Стандартнае асяроддзе ? асяроддзе выканання дазваляюць выконваць праграмы на Java на любой апаратнай платформе ? ? любой АС, без як?х-небудзь змен, намаганн? па пераносе праграм м?н?мальныя (а пры выкананн? парад па стварэнн? пераносных праграм — ? зус?м нулявыя). Коштам пераноснасц? станов?цца страта эфекты?насц? — праца асяроддзя выканання прыводз?ць да дадатковых накладных выдатка?.

К?раванне рэсурсам?

C++ дазваляе выкарысто?ваць прынцып ?захоп рэсурса? шляхам ?н?цыял?зацы?? (RAII), пры як?м рэсурсы спалучаюцца з аб’ектам ? а?таматычна вызваляюцца пры разбурэнн? аб’екта (напрыклад, std::vector <T> ? std::ifstream). Таксама магчымы падыход, кал? праграм?ст, выдзяляючы рэсурсы (памяць пад аб’екты, адкрытыя файлы ? т. п.), абавязаны я?на паклапац?цца пра своечасовае ?х вызваленне. Java працуе ? асяроддз? са зборкай смецця, якая а?таматычна адсочвае спыненне выкарыстання аб’екта? ? вызваляе занятую ?м? памяць, кал? ? гэтым ёсць неабходнасць, у некаторы нявызначаны момант часу. Ручное к?раванне мае пераваг? ? с?стэмным праграмаванн?, дзе патрэбен по?ны кантроль над рэсурсам?, а RAII ? зборка смецця зручнейшыя ? прыкладным праграмаванн?, бо ? значнай ступен? вызваляюць праграм?ста ад неабходнасц? адсочваць, кал? рэсурсы больш не выкарысто?ваюцца. Зборшчык смецця Java патрабуе с?стэмных рэсурса?, што змяншае эфекты?насць выканання праграм, пазба?ляе праграмы на Java прадвызначанасц? выканання, акрамя таго ён здольны сачыць тольк? за памяццю. Файлы, каналы, гнёзды (сокеты), аб’екты граф?чнага ?нтэрфейсу праграм?ст на Java за?сёды вызваляе я?на.

Стандартызацыя асяроддзя

У Java ёсць дакладна вызначаныя стандарты на ?вод-вывад, граф?ку, геаметрыю, дыялог, доступ к базам даных ? ?ншым тыпавым прыкладанням. У гэтых пытаннях у мове C++ значна больш свабоды. Стандарты на граф?ку, доступ к базам даных ? г. д. з’я?ляюцца недахопам, кал? праграм?ст жадае вызначыць свой уласны стандарт.

Указальн?к?

C++ захо?вае магчымасць працы з н?зка?зро?невым? ?казальн?к?. У мове Java ?казальн?ка? няма. Выкарыстанне ?казальн?ка? часта ёсць прычынаю цяжка ?ло?ных памылак, але праца з указальн?кам? неабходна для н?зка?зро?невага праграмавання. У прынцыпе, C++ валодае наборам сродка? (канструктары ? дэструктары, стандартныя шаблоны, спасылк?), як?я дазваляюць амаль цалкам выключыць ручное выдзяленне ? вызваленне памяц? ? небяспечныя аперацы? з указальн?кам?. Аднак такое выключэнне патрабуе пэ?най культуры праграмавання, у той час як у мове Java яно рэал?зуецца а?таматычна.

Парадыгма праграмавання

У адрозненне ад C++, Java з’я?ляецца чыста аб’ектна-арыентаванай мовай, без магчымасц? працэдурнага праграмавання. Каб аб’яв?ць проста функцыю ц? глабальную зменную у Java неабходна ствараць ф?кты?ныя класы, як?я змяшчаюць тольк? статычныя (static) члены . Для задання гало?най функцы? нават самай простай праграмы на Java неабходна змясц?ць яе ? клас .

Дынам?чная ?нфармацыя пра тыпы

у C++ ?дынам?чнае атаясамленне тыпа? даных? (RTTI) абмежавана магчымасцю пара?но?ваць тыпы аб’екта? пам?ж сабой ? з л?таральным? значэнням? тыпа?. У с?стэме Java даступна больш падрабязная ?нфармацыя пра тыпы. Гэту магчымасць можна было б рэал?заваць у C++, маючы по?ную ?нфармацыю пра тыпы падчас камп?ляцы? (?атаясамленне тыпа? даных падчас камп?ляцы?? CTTI).

Папярэдняя апрацо?ка (прэпрацэсар)

C++ выкарысто?вае прэпрацэсар для ?ключэння азначэння? функцый ? класа?, для падключэння б?бл?ятэк, цалкам выкананых у зыходным кодзе, а таксама дазваляе ажыцця?ляць метапраграмаванне з выкарыстаннем прэпрацэсара, якое, у прыватнасц?, развязвае складаныя праблемы высока?зро?невага па?тарэння кода. Ёсць меркаванне, што гэты механ?зм небяспечны, бо ?мёны макраса? прэпрацэсара глабальныя, а сам? макрасы амаль н?як не звязаны з пабудовам? самой мовы. Гэта можа прыводз?ць да складаных супярэчнасцей ?мёна?. З ?ншага пункту гледжання, C++ дае дастатковыя сродк? (канстанты, шаблоны, убудавальныя функцы?) для таго, каб амаль цалкам выключыць выкарыстанне прэпрацэсара. Java выключыла прэпрацэсар цалкам, пазбав??шыся за раз ад ус?х праблем з яго выкарыстаннем, але ? страц??шы пры гэтым магчымасц? метапраграмавання прэпрацэсара ? тэкставых замен у кодзе сродкам? мовы.

Адрозненн? мо? прыводзяць да разлютаваных спрэчак пам?ж прых?льн?кам? дзвюх мо? пра тое, якая мова лепшая. Спрэчк? гэтыя шмат у чым беспрадметныя, бо прых?льн?к? Java л?чаць, што адрозненн? сведчаць на карысць Java, а прых?льн?к? C++ мяркуюць адваротнае. Некаторыя довады з часам састарэл?, напрыклад, папрок? ? неэфекты?насц? Java з-за ная?насц? асяроддзя выканання, як?я был? справядл?вым? ? першай палове 1990-х гадо?, у вын?ку лав?нападобнага росту прадукцыйнасц? камп’ютара? ? з’я?лення больш эфекты?най тэхн?к? выканання (JIT) у значнай меры страц?л? актуальнасць. Мова C++, у сваю чаргу, разв?валася, ? шэраг яе недахопа? выпра?лены ? апошн?х верс?ях стандарту (напрыклад, з’яв??ся механ?зм частковай спецыф?кацы? шаблона?).

Далёка не ?се праграм?сты з’я?ляюцца прых?льн?кам? тольк? аднае з мо?. Паводле меркавання большасц? праграм?ста?, Java ? C++ не з’я?ляюцца канкурэнтам?, таму што ? ?х розныя вобласц? ?жытку. ?ншыя л?чаць, што выбар мовы для большасц? задач з’я?ляецца пытаннем асаб?стага густу.

Добрыя якасц? ? недахопы мовы

Перш за ?сё, неабходна падкрэсл?ць, што ацэньваць добрыя якасц? ?, асабл?ва, недахопы C++ неабходна з ул?кам тых прынцыпа?, на як?х будавалася мова, ? патрабавання?, як?я да яе першапачаткова прад’я?лял?ся.

Добрыя якасц?

C++ — надзвычай магутная мова, як?я мае сродк? для стварэння эфекты?ных праграм амаль любога прызначэння, ад н?зка?зро?невых утыл?т ? драйвера? да складаных праграмных комплекса? самага рознага прызначэння. У прыватнасц?:

• Падтрымл?ваюцца розныя стыл? ? тэхналог?? праграмавання, у тым л?ку традыцыйнае дырэкты?нае праграмаванне, ААП, абагульненае праграмаванне, метапраграмаванне (шаблоны, макрасы).
• Прадказальнае выкананне праграм з’я?ляецца важнай якасцю пры пабудове с?стэм рэальнага часу. Увесь код, як? няя?на ствараецца камп?лятарам для рэал?зацы? мо?ных магчымасцей (напрыклад, пры пера?тварэнн? зменнай да ?ншага тыпу), вызначаны ? стандарце. Таксама строга вызначаны месцы праграмы, у як?х гэты код выконваецца. Гэта дае магчымасць замяраць ц? разл?чваць час рэакцы? праграмы на вонкавую падзею.
• А?таматычны выкл?к дэструктара? аб’екта? пры ?х зн?шчэнн?, прычым у парадку, зваротным выкл?ку канструктара?. Гэта спрашчае (дастаткова аб’яв?ць зменную) ? павядичвае надзейнасць вызвалення рэсурса? (памяц?, файла?, семафора? ? т. п.), а таксама дазваляе гарантавана выконваць пераходы пам?ж станам? праграмы, не абавязкова звязаныя з вызваленнем рэсурса? (напрыклад, зап?с у часоп?с).
• Карыстальн?цк?я функцы?-аператары дазваляюць коратка ? ём?ста зап?сваць выразы над карыстальн?цк?м? тыпам? ? натуральнай алгебра?чнай форме.
• Мова падтрымл?вае паняцц? ф?з?чнай (const) ? лаг?чнай (mutable) нязменнасц? (канстантнасц?). Гэта павял?чвае надзейнасць праграмы, бо, напрыклад, дазваляе камп?лятару знаходз?ць памылковыя спробы змены значэння зменнай. Аб’я?ленне з ап?сальн?кам канстантнасц? дае праграм?сту, як? чытае тэкст праграмы, дадатковае ?я?ленне пра прав?льнае выкарыстанне класа? ? функцый, а таксама можа быць падказкай для аптым?зацы?. Перагрузка функцый-члена? па прыкмеце канстантнасць дазваляе вызначаць знутры аб’екта мэты выкл?ку метаду (канстантны для чытання, неканстантны для змянення). Ап?сальн?к mutable дазваляе захо?ваць лаг?чную канстантнасць пры выкарыстанн? кэша? ? лян?вых выл?чэння?.
• Выкарысто?ваючы шаблоны, можна ствараць абагульненыя кантэйнеры ? алгарытмы для розных тыпа? даных, а таксама спецыял?заваць ? выл?чваць на этапе камп?ляцы?.
• Магчымасць ?м?тацы? пашырэння мовы для падтрымк? парадыгма?, як?я не падтрымл?ваюцца камп?лятарам? напрамую. Напрыклад, б?бл?ятэка Boost.Bind дазваляе звязваць аргументы функцый.
• Магчымасць стварэння ?будаваных прадметна-арыентаваных мо? праграмавання. Так? падыход выкарысто?вае, напрыклад б?бл?ятэка Boost.Spirit, якая дазваляе задаваць EBNF-граматыку с?нтакс?чных разборшчыка? прама ? кодзе C++.
• Выкарысто?ваючы шаблоны ? множнае наследаванне можна ?м?таваць класы-прымес? ? камб?наторную параметрызацыю б?бл?ятэк. Так? падыход ужыты ? б?бл?ятэцы Loki, клас SmartPrt якой дазваляе, к?руючы ?сяго некальк?м? параметрам? часу камп?ляцы?, згенераваць каля 300 в?да? ?разумных указальн?ка?? для к?равання рэсурсам?.
• Пераноснасць: стандарт мовы накладвае м?н?мальныя патрабаванн? на ЭВМ для запуску скамп?ляваных праграм. Каб вызначыць сапра?дныя уласц?васц? с?стэмы выканання ? стандартнай б?бл?ятэцы прысутн?чаюць адпаведныя магчымасц? (напрыклад, std::numeric_limits <T>). Камп?лятары даступны для вял?кай колькасц? платформ, на мове C++ распрацо?ваюць праграмы для самых розных платформ ? с?стэм.
• Эфекты?насць. Мова распрацавана так, каб даць праграм?сту магчымасць усебаковага кантролю над унутранай структурай праграмы ? парадкам яе выканання. Н?водная з мо?ных магчымасцей, якая прыводз?ць да дадатковых накладных выдатка?, не з’я?ляецца абавязковай для выкарыстання — пры неабходнасц? мова дазваляе забяспечыць макс?мальную эфекты?насць праграмы.
• ?снуе магчымасць працы на н?зк?м узро?н? з памяццю, адрасам?.
• Высокая сумяшчальнасць з мовай С?, што дазваляе выкарысто?ваць увесь ?снуючы С?-код (код на С? можна з нязначным? пераробкам? сабраць камп?лятарам C++; б?бл?ятэк?, нап?саныя на С?, звычайна можна выкл?каць непасрэдна з праграмы на C++ без як?х-небудзь дадатковых выдатка?, у тым л?ку ? на ?зро?н? функцый зваротнага выкл?ку, што дазваляе б?бл?ятэкам, нап?саным на С?, выкл?каць код, нап?саны на С?++).

Недахопы

Большасць сва?х недахопа? мова C++ атрымала ? спадчыну ад мовы-продка — С?, — ? выкл?каны яны першапачаткова паста?леным патрабаваннем як мага большай сумяшчальнасц? з С?. Гэта так?я недахопы, як:

• С?нтакс?с, як? проста падштурхо?вае на памылк?:
  • Аперацыя прысвойвання абазначаецца як =, а аперацыя пара?нання як ==. ?х лёгка зблытаць, пры гэтым аперацыя прысвойвання вяртае значэнне, таму прысвойванне на месцы выразу з’я?ляецца с?нтакс?чна дапушчальным, а ? канструкцыях цыклу ? гал?навання з’я?ленне л?ку на месцы лаг?чнага значэння таксама дапушчальна, у вын?ку недарэчны выраз з’я?ляецца с?нтакс?чна прав?льным. Тыповы прыклад падобнай памылк?:

    if (x=0) { аператары }
    

    Тут ва ?мо?ным аператары памылкова нап?сана прысвойванне замест пара?нання. У вын?ку, замест таго, каб пара?наць бягучае значэнне x з нулём, праграма прысво?ць зменнай x нулявое значэнне, а потым вытлумачыць яго як значэнне ?мовы ? аператары if. А як нуль адпавядае лаг?чнаму значэнню ?фальш? (false), то блок аператара? ва ?мо?най канструкцы? не выканаецца н?кол?. Памылк? такога роду вельм? цяжка выя?ляць, але ? мног?х сучасныя камп?лятары могуць выя?ляць некаторыя падобныя канструкцы?.
  • Аператары прысвойвання (=), адз?нкавага прыросту (?нкрэмента) (++), адз?нкавага змяншэння (дэкрэмента) (--) ? ?ншыя вяртаюць значэнне. У спалучэнн? з багаццем аператара? гэта дазваляе, хоць ? не абавязвае, ствараць неразборл?выя выразы. Ная?насць гэтых аперацый у С? было выкл?кана жаданнем атрымаць прыладу ручной аптым?зацы? кода, але ? наш час аптым?зуючыя камп?лятары звычайна ствараюць аптымальны код ? на традыцыйных выразах. З ?ншага боку, адз?н з асно?ных прынцыпа? мо? С? ? C++ — дазваляць праграм?сту п?саць у любым стыл?, а не навязваць ?добры? стыль.
  • Макрасы (#define) з’я?ляюцца магутным, але дужа небяспечным сродкам. ?х пак?нул? ? C++ нягледзячы на тое, што неабходнасць у ?х, дзякуючы шаблонам ? ?будавальным функцыям, не такая ?жо ? вял?кая. У атрыманых у спадчыну стандартных С?-б?бл?ятэках шмат магчыма небяспечных макраса?.
  • Некаторыя пера?тварэнн? тыпа? працуюць не так, як можна было б меркаваць. У прыватнасц?, аперацыя над бяззнакавым ? знакавым л?кам? дае бяззнакавы вын?к.
  • C++ дазваляе прапускаць break у гал?нах аператара switch з мэтай паслядо?нага выканання некальк?х гал?н. Так? ж падыход прыняты ? мове Java . ?снуе меркаванне, што гэта абцяжарвае разуменне кода. Напрыклад, у мове C# неабходна за?сёды п?саць або break, або выкарысто?ваць goto case N для я?нага ?казання парадку выканання .
• Прэпрацэсар, атрыманы ? спадчыну ад С?, вельм? сц?плы. Гэта прыводз?ць з аднаго боку да таго, што з яго дапамогай нельга (ц? цяжка) развязаць некаторыя задачы метапраграмавання, а з другога боку, з-за сваёй неразв?тасц? ён часта прыводз?ць да памылак ? патрабуе шмат дзеяння? для абыходу магчымых праблем. Некаторыя мовы праграмавання (напрыклад, Scheme ? Nemerle) маюць намнога магутнейшыя ? бяспечнейшыя с?стэмы метапраграмавання (як?я таксама называюцца макрасам?, аднак яны мала нагадваюць макрасы С?/C++).
• Слабая падтрымка модульнасц? (па сутнасц?, у клас?чным С? модульнасць на ?зро?н? мовы адсутн?чае, яе забеспячэнне перакладзена на прэпрацэсар ? камп?лятар). Падключэнне ?нтэрфейсу вонкавага модуля праз прэпрацэсарнае ?ключэнне загало?кавага файла (#include) можа ?стотна запавол?ць зборку пры падключэнн? вял?кай колькасц? модуля? (бо вын?ковы файл, як? апрацо?ваецца камп?лятарам, станов?цца вельм? вял?к?м). Гэта схема без змен перанесена ? C++. Каб пазбав?цца ад гэтай заганы, мног?я камп?лятары рэал?зуюць механ?зм папярэдняй зборк? загало?кавых файла? (англ.: Precompiled header).

Да ?ласных недахопа? C++ можна аднесц?:

• Складанасць ? празмернасць, з-за як?х C++ цяжка вывучаць, а пабудова камп?лятара спалучана з вял?кай колькасцю праблем. У прыватнасц?:
  • Мног?я канструкцы? C++ дазваляюць раб?ць тое ж самае, што ? канструкцы? С?, таксама прысутныя ? C++. Гэта часам зб?вае з панталыку пачатко?ца?. Напрыклад, прывядзенне тыпа? пры дапамозе dynamic_cast дазваляе прывесц? указальн?к ц? спасылку строга ? межах ?ерарх?? класа?. Гэта павял?чвае надзейнасць кода, роб?ць яго больш выразным ? дазваляе знаходз?ць прывядзенн? ? межах ?ерарх?? пры дапамозе прылад, падобных да grep. Аднак з прычыны патрабавання высокай ступен? сумяшчальнасц? з С? старое прывядзенне тыпа? усё яшчэ падтрымл?ваецца.
  • Падтрымка множнага наследавання рэал?зацы? ? ААП-падс?стэме мовы выкл?кае цэлы шэраг лаг?чных праблем, а таксама стварае дадатковыя цяжкасц? ? рэал?зацы? камп?лятара. Напрыклад, указальн?к на клас, як? мае некальк? розных продка?, больш не можа разглядацца (з выкарыстаннем старога прывядзення тыпу ? стыл? С?) як указальн?к на аб’ект тыпу аднаго з класа?-продка?, бо бацько?ская частка аб’екта можа быць размешчана з некаторым зрушэннем адносна пачатку аб’екта (то бок адносна значэння указальн?ка). Па гэтай жа прычыне нельга прыводз?ць указальн?к на бацько?ск? клас да тыпу ?казальн?ка на вытворны без выкарыстання аператара? прывядзення C++ (dynamic_cast).
  • Часам шаблоны прыводзяць да параджэння кода вельм? вял?кага аб’ёму. Каб паменшыць памер машыннага кода можна адмысловым чынам падрыхтаваць зыходны код. ?ншым развязкам праблемы з’я?ляецца стандартызаваная яшчэ ? 1998 годзе магчымасць экспарту шаблона?. Некаторыя а?тары л?чаць, што яе цяжка рэал?заваць ? таму яна даступна не ва ?с?х камп?лятарах. Праблема ?раздз?мання? машыннага кода з-за выкарыстання шаблона? часта перабольшваецца, ? сучасныя камп?лятары ? мног?х выпадках паспяхова прадух?ляюць гэту з’яву.
• Метапраграмаванне на аснове шаблона? C++ складанае ? пры гэтым абмежавана па сва?х магчымасцях. Яно складаецца з рэал?зацы? сродкам? шаблона? C++ ?нтэрпрэтатара прым?ты?най функцыйнай мовы праграмавання, як? выконваецца падчас камп?ляцы?. Сама па сабе гэта магчымасць вельм? прывабная, але так? код вельм? цяжка ?спрымаць ? адладжваць. Меней распа?сюджаныя мовы Lisp/Scheme, Nemerle маюць больш магутныя ? адначасова прасцейшыя для ?спрымання падс?стэмы метапраграмавання. Акрамя таго, у мове D рэал?завана пара?нальная па магчымасцях, але значна прасцейшая ва ?жыванн? падс?стэма шаблоннага метапраграмавання.
• Я?ная падтрымка функцыйнага праграмавання прысутн?чае тольк? ? будучым стандарце c++0x. Гэты прабел запа?няецца розным? б?бл?ятэкам? (Loki, Boost), як?я выкарысто?ваюць сродк? метапраграмавання для пашырэння мовы функцыйным? канструкцыям? (напрыклад, падтрымкай лямбда-метада? (або т.зв. безыменных функцый)), але якасць падобных рашэння? значна саступае якасц? сродка?, убудаваных у функцыйныя мовы. Так?я магчымасц? функцыйных мо?, як супаста?ленне з узорам, наогул вельм? складана дасягнуць сродкам? метапраграмавання.
• Некаторыя л?чаць недахопам мовы C++ адсутнасць убудаванай с?стэмы зборк? смецця. З ?ншага боку, сродк? C++ дазваляюць рэал?заваць зборку смецця на ?зро?н? б?бл?ятэк? . Прац??н?к? зборк? смецця мяркуюць, што RAII з’я?ляецца больш годнай альтэрнатывай. C++ дазваляе карыстальн?ку самому выб?раць як к?раваць рэсурсам?.

Гл. таксама

• C (мова праграмавання)
• Java (мова праграмавання)
• C#
• D (мова праграмавання)
• Objective C
• wxWidgets
• Qt
• Стандартная б?бл?ятэка ? C++
• Стандартная б?бл?ятэка шаблона? C++
• Функцы? ? C++
• Мас?вы ? C++
• Аргументы функцы? main, C++

Л?таратура

• Страуструп Б. Язык программирования C++ = The C++ Programming Language / Пер. з англ.. — 3-е изд. — СПб; М: Невский диалект — Бином, 1999. — 991 с. — 3 000 экз. — ISBN 5-7940-0031-7 (Невский диалект), ISBN 5-7989-0127-0 (Бином), ISBN 0-201-88954-4 (англ.).
• Страуструп Б. Язык программирования C++. Специальное издание = The C++ programming language. Special edition. — М.: Бином-Пресс, 2007. — 1104 с. — ISBN 5-7989-0223-4.
• Герберт Шилдт. Полный справочник по C++ = C++: The Complete Reference. — 4-е изд. — М.: Вильямс, 2006. — 800 с. — ISBN 0-07-222680-3.
• Джесс Либерти, Дэвид Хорват. Освой самостоятельно C++ за 24 часа = Sams Teach Yourself C++ in 24 Hours, Complete Starter Kit. — 4-е изд. — М.: Вильямс, 2007. — 448 с. — ISBN 0-672-32681-7.
• Стефенс Д. Р. C++. Сборник рецептов. — КУДИЦ-ПРЭС, 2007. — 624 с. — ISBN 5-91136-030-6.

Спасылк?

• Даведка, дакументацыя па мове C++, форум ? многа ?ншага (англ.)
• C++ у DMOZ
• Кам?тэт па стандартызацы? мовы C++ (англ.)

• працо?ныя матэрыялы кам?тэта па стандартызацы? за 2009-й год

Артыкулы ? кн?г?, б?бл?ятэк? матэрыяла? па C++

• Тодд Велдхуйзен. Techniques for scientific C++ Арх?вавана 13 кастрычн?ка 2006. (англ.)
• Бьерн Страуструп. Каротк? агляд C++0x (англ.)
• Б?бл?ятэка матэрыяла? па C++ Арх?вавана 27 сакав?ка 2010. на сайце codenet.ru
• Б?бл?ятэка матэрыяла? па C++ (англ.) на сайце freecomputerbooks.com
• C++ падручн?к для праграм?ста?-пачатко?ца?
• C++ частка электроннай б?бл?ятэк? Руск?я Дакументы
• Кн?г? ? артыкулы па C/C++ (руск.)
• Прыклады праграмавання структур даных ? алгарытма? на мове C/C++ на сайце Учитесь.ру (руск.)
• Прыклады праграмавання на C++ (руск.)
• Нестандартныя прыёмы праграмавання на C++ Арх?вавана 25 красав?ка 2010.

Форумы

• forum.vingrad.ru — Найбуйнейшы рускамо?ны форум па C++ (руск.)
• Рускамо?ны форум па C++ Арх?вавана 15 верасня 2008. (руск.)
• cpp, cpp.applied — форумы па мове C++ ? пытаннях прыкладнога ?жывання C++ на RSDN (руск.)
• comp.lang.c++.moderated (англ.)

Класы, б?бл?ятэк?

• Blitz++ Арх?вавана 4 мая 2011. — б?бл?ятэка навуковых праграм на C++, з упорам на л?нейную алгебру
• The Matrix Template Library Арх?вавана 27 лютага 2009. — л?нейная алгебра на C++
• Boost C++ Libraries — вольныя кросплатформенныя б?бл?ятэк? на C++
• GNU Scientific Library — вольная матэматычная б?бл?ятэка для C/C++
• VivaCore Арх?вавана 9 мая 2008. — вольная б?бл?ятэка для стварэння с?стэм статычнага анал?зу С?/C++ кода

Асяроддз? распрацо?к?

• Bloodshed Dev-C++ — бясплатнае ? свабоднае асяроддзе распрацо?к? для мовы C++ пад Windows.
• Code::Blocks IDE — бясплатнае ? свабоднае пераноснае асяроддзе распрацо?к?.