Стенли Липпман - Язык программирования C++. Пятое издание

При передаче последовательности значений в параметре типа initializer_listпоследовательность следует заключить в фигурные скобки:

// expected и actual - строки

if (expected != actual)

error_msg({"functionX", expected, actual});

else

error_msg({"functionX", "okay"});

Здесь той же функции error_msg()передаются при первом вызове три значения, а при втором — два.

У функции с параметром initializer_listмогут быть также и другие параметры. Например, у нашей системы отладки мог бы быть класс ErrCode, представляющий различные виды ошибок. Мы можем пересмотреть свою программу так, чтобы в дополнение к списку initializer_listпередавать параметр типа ErrCodeследующим образом:

void error_msg(ErrCode е, initializer_list il) {

cout << e.msg() << ": ";

for (const auto &elem : il)

cout << elem << " ";

cout << endl;

}

Поскольку класс initializer_listимеет члены begin()и end(), мы можем использовать для обработки элементов серийный оператор for(см. раздел 5.4.3). Эта программа, как и предыдущая версия, перебирает элементы заключенного в фигурные скобки списка значений, переданных параметру il.

Для этой версии необходимо пересмотреть вызовы так, чтобы передать аргумент типа ErrCode:

if (expected != actual)

error_msg(ErrCode(42), {"functionX", expected, actual});

else

error_msg(ErrCode(0), {"functionX", "okay"});

Параметр в виде многоточия

Параметры в виде многоточия предоставляются языком С++ для взаимодействия программам с кодом на языке С, использующим такое средство библиотеки С, как varargs. В других целях параметр в виде многоточия не следует использовать. Использование varargsописано в документации компилятора С.

Параметры в виде многоточия должны использоваться только для таких типов, которые есть и у языка С, и у С++. В частности, большинство объектов типа класса копируются неправильно, когда передаются параметру в виде многоточия.

Параметр в виде многоточия может быть только последним элементом в списке параметров и может принять любую из двух форм:

void foo(parm_list, ...);

void foo(...);

Первая форма определяет тип (типы) для нескольких параметров функции foo(). Контроль типов аргументов, соответствующих определенным параметрам, осуществляется как обычно. Для аргументов, соответствующих параметру в виде многоточия, никакого контроля типов нет. В первой форме запятая после объявления параметра необязательна.

Упражнение 6.27. Напишите функцию, получающую параметр типа initializer_listи возвращающую сумму элементов списка.

Упражнение 6.28. Во второй версии функции error_msg(), где у нее есть параметр типа ErrCode, каков тип элемента в цикле for?

Упражнение 6.29. При использовании типа initializer_listв серийном операторе forиспользовали бы вы ссылку как управляющую переменную цикла? Объясните почему.

Оператор returnзавершает выполнение функции и возвращает управление той функции, которая вызвала текущую. Существуют две формы оператора return:

return;

return выражение ;

Оператор returnбез значения применим только в такой функции, типом возвращаемого значения которой объявлен void. Функции, возвращаемым типом которых объявлен void, необязательно должны содержать оператор return. В функции типа voidоператор returnнеявно размещается после последнего оператора.

Как правило, функции типа voidиспользуют оператор returnдля преждевременного завершения выполнения. Это аналогично использованию оператора break(см. раздел 5.5.1) для выход из цикла. Например, можно написать функцию swap(), которая не делает ничего, если значения идентичны:

void swap(int &v1, int &v2) {

// если значения равны, их замена не нужна; можно выйти сразу

if (v1 == v2)

return;

// если мы здесь, придется поработать

int tmp = v2;

v2 = v1;

v1 = tmp;

// явно указывать оператор return не обязательно

}

Сначала эта функция проверяет, не равны ли значения, и если это так, то завершает работу. Если значения не равны, функция меняет их местами. После последнего оператора присвоения осуществляется неявный выход из функции.

Функции, для возвращаемого значения которых указан тип void, вторую форму оператора returnмогут использовать только для возвращения результата вызова другой функции, которая возвращает тип void. Возвращение любого другого выражения из функции типа voidприведет к ошибке при компиляции.

Вторая форма оператора returnпредназначена для возвращения результата из функции. Каждый случай возвращения значения типа, отличного от void, должен возвратить значение. Возвращаемое значение должно иметь тип, либо совпадающий, либо допускающий неявное преобразование (см. раздел 4.11) в тип, указанный для возвращаемого значения функции при определении.

Хотя язык С++ не может гарантировать правильность результата, он способен гарантировать, что каждое возвращаемое функцией значение будет соответствовать объявленному типу. Это может получиться не во всех случаях, компилятор попытается обеспечить возвращение значения и выход только через допустимый оператор return. Например:

// некорректное возвращение значения, этот код не будет откомпилирован

bool str_subrange(const string &str1, const string &str2) {

// размеры одинаковы: возвратить обычный результат сравнения

if (str1.size() == str2.size())

return str1 == str2; // ok: == возвращает bool

// найти размер меньшей строки; условный оператор см. раздел 4.7

auto size = (str1.size() < str2.size())

? str1.size() : str2.size();

// просмотреть все элементы до размера меньшей строки

for (decltype(size) i = 0; i != size; ++i) {

if (str1[i] != str2[i])

return; // ошибка #1: нет возвращаемого значения; компилятор

// должен обнаружить эту ошибку

}

// ошибка #2: выполнение может дойти до конца функции, так и

// не встретив оператор return

// компилятор может и не обнаружить эту ошибку

}