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

Когда необходимо узнать, сколько элементов находится в пакете, можно использовать оператор sizeof.... Как и оператор sizeof(см. раздел 4.9), оператор sizeof...возвращает константное выражение (см. раздел 2.4.4) и не вычисляет свой аргумент:

template void g(Args ... args) {

cout << sizeof...(Args) << endl; // количество параметров типа

cout << sizeof...(args) << endl; // количество параметров функции

}

Упражнение 16.51. Определите, что возвратят операторы sizeof...(Args)и sizeof...(rest)для каждого вызова функции foo()в этом разделе.

Упражнение 16.52. Напишите программу, проверяющую ответы на предыдущий вопрос.

В разделе 6.2.6 упоминалось, что для определения функции, способной получать переменное количество аргументов, можно использовать класс initializer_list. Однако у аргументов должен быть одинаковый тип (или типы, преобразуемые в общий тип). Функции с переменным количеством аргументов используются тогда, когда не известно ни количество, ни типы аргументов. Для примера определим функцию, подобную прежней функции error_msg(), только на сей раз обеспечим и изменение типов аргумента. Начнем с определения функции print()с переменным количеством аргументов, которая выводит содержимое заданного списка аргументов в указанный поток.

Функции с переменным количеством аргументов зачастую рекурсивны (см. раздел 6.3.2). Первый вызов обрабатывает первый аргумент в пакете и вызывает себя для остальных аргументов. Новая функция print()будет работать таким же образом — каждый вызов выводит свой второй аргумент в поток, обозначенный первым аргументом. Для остановки рекурсии следует определить также обычную функцию print(), которая получает поток и объект:

// Функция для завершения рекурсии и вывода последнего элемента

// ее следует объявить перед определением версией print() с переменным

// количеством аргументов

template

ostream &print(ostream &os, const T &t) {

return os << t; // нет разделителя после последнего элемента в пакете

}

// эта версия print() будет вызвана для всех элементов в пакете, кроме

// последнего

template

ostream &print(ostream &os, const T &t, const Args&... rest) {

os << t << ", "; // выводит первый аргумент

return print(os, rest...); // рекурсивный вызов; вывод других

// аргументов

}

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

Ключевая часть — вызов функции print()в функции с переменным количеством аргументов:

return print(os, rest...); // рекурсивный вызов; вывод других

// аргументов

Версия функции print()с переменным количеством аргументов получает три параметра: ostream&, const T&и пакет параметров. Но в этом вызове передаются только два аргумента. В результате первый аргумент в пакете restпривязывается к t. Остальные аргументы в пакете restформируют пакет параметров для следующего вызова функции print(). Таким образом, при каждом вызове первый аргумент удаляется из пакета и становится аргументом, связанным с t. Соответственно, получаем:

print(cout, i, s, 42); // два параметра в пакете

Рекурсия выполнится следующим образом:

Вызов print(cout, 42)вызывает обычную версию функции print().

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

Для последнего вызова в рекурсии, print(cout, 42), подходят обе версии функции print(). Этот вызов передает два аргумента, и типом первого являются ostream&. Таким образом, подходящей является обычная версия функции print().