Задача этой книги дать краткое и четкое изложение языка С++ в соответствии со стандар том iso/iec 14882. Она предназначена для студентов, изучающих язык «с нуля»

Функции с переменным числом параметров

Åñëè ñïèñîê ôîðìaëüíûõ ïaðaìåòðîâ ôóíêöèè çaêaí÷èâaåòñя ìíîãîòî÷èåì, ýòî îçía÷aåò, ÷òî ïðè åå âûçîâå ía ýòîì ìåñòå ìîæíî óêaçaòü åùå íåñêîëüêî ïaðaìåò- ðîâ. Ïðîâåðêa ñîîòâåòñòâèя òèïîâ äëя ýòèõ ïaðaìåòðîâ íå âûïîëíяåòñя, Char è shOrt ïåðåäaþòñя êaê int, a flOat — êaê dOuble.  êa÷åñòâå ïðèìåða ìîæíî ïðèâåñ- òè ôóíêöèþ printf, ïðîòîòèï êîòîðîé èìååò âèä:
int printf(COnst Char*, …);
Ýòî îçía÷aåò, ÷òî âûçîâ ôóíêöèè äîëæåí ñîäåðæaòü ïî êðaéíåé ìåðå îäèí ïaða- ìåòð òèïa Char* è ìîæåò ëèáî ñîäåðæaòü, ëèáî íå ñîäåðæaòü äðóãèå ïaðaìåòðû:
printf("Ââåäèòå èñõîäíûå äaííûå"); // îäèí ïaðaìåòð printf("Cóììa: %5.2f ðóáëåé", sum); // äâa ïaðaìåòða printf("%d %d %d %d", a, b, C, d); // ïяòü ïaðaìåòðîâ

Äëя äîñòóïa ê íåîáяçaòåëüíûì ïaðaìåòðaì âíóòðè ôóíêöèè èñïîëüçóþòñя ìaê- ðîñû áèáëèîòåêè va_start, va_arg è va_end, íaõîäяùèåñя â çaãîëîâî÷íîì ôaéëå

. Ýòè ìaêðîñû îïèñaíû â ïðèëîæåíèè 5.
Ïîñêîëüêó êîìïèëяòîð íå èìååò èíôîðìaöèè äëя êîíòðîëя òèïîâ, âìåñòî ôóíê- öèé ñ ïåðåìåííûì ÷èñëîì ïaðaìåòðîâ ïðåäïî÷òèòåëüíåå ïîëüçîâaòüñя ïaðaìåò- ðaìè ïî óìîë÷aíèþ èëè ïåðåãðóæåííûìè ôóíêöèяìè (ñì. «Ïåðåãðóçêa ôóíê- öèé», ñ. 83), õîòя ìîæíî ïðåäñòaâèòü ñëó÷aè, êîãäa ïåðåìåííîå ÷èñëî ïaðaìåòðîâ яâëяåòñя ëó÷øèì ðåøåíèåì.

Рекурсивные функции

Ðåêóðñèâíîé íaçûâaåòñя ôóíêöèя, êîòîðaя âûçûâaåò ñaìó ñåáя. Òaêaя ðåêóðñèя íaçûâaåòñя ïðяìîñ. Cóùåñòâóåò åùå nîñâåííaя ðåêóðñèя, êîãäa äâå èëè áîëåå ôóíêöèé âûçûâaþò äðóã äðóãa. Åñëè ôóíêöèя âûçûâaåò ñåáя, â ñòåêå ñîçäaåòñя êîïèя çía÷åíèé åå ïaðaìåòðîâ, êaê è ïðè âûçîâå îáû÷íîé ôóíêöèè, ïîñëå ÷åãî óïðaâëåíèå ïåðåäaåòñя ïåðâîìó èñïîëíяåìîìó îïåðaòîðó ôóíêöèè. Ïðè ïîâòîð- íîì âûçîâå ýòîò ïðîöåññ ïîâòîðяåòñя. ßñíî, ÷òî äëя çaâåðøåíèя âû÷èñëåíèé êa- æäaя ðåêóðñèâíaя ôóíêöèя äîëæía ñîäåðæaòü õîòя áû îäíó íåðåêóðñèâíóþ âåòâü aëãîðèòìa, çaêaí÷èâaþùóþñя îïåðaòîðîì âîçâðaòa. Ïðè çaâåðøåíèè ôóíê- öèè ñîîòâåòñòâóþùaя ÷añòü ñòåêa îñâîáîæäaåòñя, è óïðaâëåíèå ïåðåäaåòñя âûçû- âaþùåé ôóíêöèè, âûïîëíåíèå êîòîðîé ïðîäîëæaåòñя ñ òî÷êè, ñëåäóþùåé ça ðå- êóðñèâíûì âûçîâîì.
Êëaññè÷åñêèì ïðèìåðîì ðåêóðñèâíîé ôóíêöèè яâëяåòñя âû÷èñëåíèå ôaêòî- ðèaëa (ýòî íå îçía÷aåò, ÷òî ôaêòîðèaë ñëåäóåò âû÷èñëяòü èìåííî òaê). Äëя òîãî
÷òîáû ïîëó÷èòü çía÷åíèå ôaêòîðèaëa ÷èñëa n, òðåáóåòñя óìíîæèòü ía n ôaêòîðè- aë ÷èñëa (n–1). Èçâåñòíî òaêæå, ÷òî 0!=1 è 1!=1.
lOng faCt(lOng n){
if (n==0 || n==1) return 1; return (n * faCt(n - 1));
}
Òî æå ñaìîå ìîæíî çaïèñaòü êîðî÷å:
lOng faCt(lOng n){
return (n>1)?n* faCt(n - 1) : 1;
}
Ðåêóðñèâíûå ôóíêöèè ÷aùå âñåãî ïðèìåíяþò äëя êîìïaêòíîé ðåaëèçaöèè ðå- êóðñèâíûõ aëãîðèòìîâ, a òaêæå äëя ðaáîòû ñî ñòðóêòóðaìè äaííûõ, îïèñaííûìè ðåêóðñèâíî, íaïðèìåð, ñ äâîè÷íûìè äåðåâüяìè (ñ. 122). Ëþáóþ ðåêóðñèâíóþ ôóíêöèþ ìîæíî ðåaëèçîâaòü áåç ïðèìåíåíèя ðåêóðñèè, äëя ýòîãî ïðîãðaììèñò äîëæåí îáåñïå÷èòü õðaíåíèå âñåõ íåîáõîäèìûõ äaííûõ ñaìîñòîяòåëüíî. Äîñòî- èíñòâîì ðåêóðñèè яâëяåòñя êîìïaêòíaя çaïèñü, a íåäîñòaòêaìè — ðañõîä âðåìå- íè è ïaìяòè ía ïîâòîðíûå âûçîâû ôóíêöèè è ïåðåäa÷ó åé êîïèé ïaðaìåòðîâ, è, ãëaâíîå, îïañíîñòü ïåðåïîëíåíèя ñòåêa.