Программирование. Принципы и практика использования C++ Исправленное издание, стр. 117

Такие программы часто используют передачу по ссылке или по константной ссылке. Если передача по ссылке используется только для того, чтобы избежать копирования, следует использовать константную ссылку. Следовательно, если мы видим аргумент, передаваемый по обычной ссылке, то это значит, что существует функция, изменяющая этот аргумент. Иначе говоря, если мы видим аргумент, передаваемый по ссылке, не являющейся константной, то должны прийти к выводу, что эта функция не только может, но и обязана модифицировать этот аргумент. Таким образом, мы обязаны тщательно проверить, действительно ли эта функция делает то, для чего предназначена. 

8.5.7. Проверка аргументов и преобразование типов

 Передача аргумента представляет собой инициализацию формального аргумента функции фактическим аргументом, указанным при ее вызове. Рассмотрим пример.

void f(T x);

f(y);

T x=y; // инициализация переменной x значением переменной y

       // (см раздел 8.2.2)

Вызов

f(y)
является корректным, если инициализация
T x=y;
произошла и если обе переменные с именем
x
могут принимать одно и то же значение. Рассмотрим пример.

void f(double);

void g(int y)

{

  f(y);

  double x(y); // инициализируем переменную x значением

               // переменной y (см. раздел 8.2.2)

}

Обратите внимание на то, что для инициализации переменной

x
значением переменной
y
необходимо преобразовать переменную типа
int
в переменную типа
double
. То же самое происходит при вызове функции
f()
. Значение типа
double
, полученное функцией
f()
, совпадает со значением, хранящимся в переменной
x
.

 

Программирование. Принципы и практика использования C++ Исправленное издание - _003.png
 Преобразования часто оказываются полезными, но иногда преподносят сюрпризы (см. раздел 3.9.2). Следовательно, работая с преобразованиями, следует проявлять осторожность. Передача переменной типа
double
в качестве аргумента функции, ожидающей переменную типа
int
, редко можно оправдать.

void ff(int);

void gg(double x)

{

  ff(x); // как понять, имеет ли это смысл?

}

Если вы действительно хотите усечь значение типа

double
до значения типа
int
, то сделайте это явно.

void ggg(double x)

{

  int x1 = x; // усечение x

  int x2 = int(x);

  ff(x1);

  ff(x2);

  ff(x);      // усечение x

  ff(int(x));

}

Таким образом, следующий программист, просматривая этот код, сможет увидеть, что вы действительно думали об этой проблеме. 

8.5.8. Реализация вызова функции

 Как же на самом деле компилятор выполняет вызов функции? Функции

expression()
,
term()
и
primary()
, описанные в главах 6 и 7, прекрасно подходят для иллюстрации этой концепции за исключением одной детали: они не принимают никаких аргументов, поэтому на их примере невозможно объяснить механизм передачи параметров. Однако погодите! Они должны принимать некую входную информацию; если бы это было не так, то они не смогли бы делать ничего полезного. Они принимают неявный аргумент, используя объект
ts
класса
Token_stream
для получения входной информации; объект
ts
является глобальной переменной. Это несколько снижает прозрачность работы программы. Мы можем улучшить эти функции, позволив им принять аргумент типа
Token_stream&
. Благодаря этому нам не придется переделывать ни один вызов функции.

Во-первых, функция expression() совершенно очевидна; она имеет один аргумент (

ts
) и две локальные переменные (
left
и
t
).

double expression(Token_stream& ts)

{

  double left = term(ts);

  Token t = ts.get();

  // ...

}

Во-вторых, функция

term()
очень похожа на функцию
expression()
, за исключением того, что имеет дополнительную локальную переменную (
d
), которая используется для хранения результата деления (раздел
case '/'
).

double term(Token_stream& ts)

{

  double left = primary(ts);

  Token t = ts.get();

  // ...

  case '/':

  {

    double d = primary(ts);

    // ...

  }

  // ...

}

В-третьих, функция

primary()
очень похожа на функцию
term()
, за исключением того, что у нее нет локальной переменной
left
.

double primary(Token_stream& ts)

{