4.6.3 Передача параметров

      При вызове функции выделяется память для ее формальных параметров,       и каждый формальный параметр инициализируется значением       соответствующего фактического параметра. Семантика передачи       параметров тождественна семантике инициализации. В частности, сверяются       типы формального и соответствующего ему фактического параметра, и       выполняются все стандартные и пользовательские преобразования типа.       Существуют специальные правила передачи массивов ($$4.6.5).       Есть возможность передать параметр, минуя контроль типа ($$4.6.8),       и возможность задать стандартное значение параметра ($$4.6.7).       Рассмотрим функцию:       void f(int val, int& ref)       {       val++;       ref++;       }       При вызове f() в выражении val++ увеличивается локальная копия       первого фактического параметра, тогда как в ref++ - сам второй       фактический параметр увеличивается сам. Поэтому в функции       void g()       {       int i = 1;       int j = 1;       f(i,j);       }       увеличится значение j, но не i. Первый параметр i передается по       значению, а второй параметр j передается по ссылке. В $$2.3.10       мы говорили, что функции, которые изменяют свой передаваемый       по ссылке параметр, труднее понять, и что поэтому лучше их избегать       (см. также $$10.2.2). Но большие объекты, очевидно, гораздо       эффективнее передавать по ссылке, чем по значению. Правда можно       описать параметр со спецификацией const, чтобы гарантировать, что       передача по ссылке используется только для эффективности, и       вызываемая функция не может изменить значение объекта:       void f(const large& arg)       {       // значение "arg" нельзя изменить без явных       // операций преобразования типа       }       Если в описании параметра ссылки const не указано, то это       рассматривается как намерение изменять передаваемый объект:       void g(large& arg); // считается, что в g() arg будет меняться       Отсюда мораль: используйте const всюду, где возможно.       Точно так же, описание параметра, являющегося указателем, со       спецификацией const говорит о том, что указуемый объект не будет       изменяться в вызываемой функции. Например:       extern int strlen(const char*); // из <string.h>       extern char* strcpy(char* to, const char* from);       extern int strcmp(const char*, const char*);       Значение такого приема растет вместе с ростом программы.       Отметим, что семантика передачи параметров отличается от семантики       присваивания. Это различие существенно для параметров, являющихся       const или ссылкой, а также для параметров с типом, определенным       пользователем ($1.4.2).       Литерал, константу и параметр, требующий преобразования,       можно передавать как параметр типа const&, но без спецификации       const передавать нельзя. Допуская преобразования для параметра типа       const T&, мы гарантируем, что он может принимать значения из того же       множества, что и параметр типа T, значение которого передается       при необходимости с помощью временной переменной.       float fsqrt(const float&); // функция sqrt в стиле Фортрана       void g(double d)       {       float r;       r = fsqrt(2.0f); // передача ссылки на временную       // переменную, содержащую 2.0f       r = fsqrt(r); // передача ссылки на r       r = fsqrt(d); // передача ссылки на временную       // переменную, содержащую float(d)       }       Запрет на преобразования типа для параметров-ссылок без спецификации       const введен для того, чтобы избежать нелепых ошибок, связанных       с использованием при передаче параметров временных переменных:       void update(float& i);       void g(double d)       {       float r;       update(2.0f); // ошибка: параметр-константа       update(r); // нормально: передается ссылка на r       update(d); // ошибка: здесь нужно преобразовывать тип       }