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

выполняется, как будто было написано:

print(cerr, debug_rep(fcnName), debug_rep(code.num()),

debug_rep(otherData), debug_rep("otherData"),

debug_rep(item));

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

// передает пакет debug_rep(); print(os, debug_rep(a1, a2, an))

print(os, debug_rep(rest...)); // ошибка: нет функции, соответствующей

// вызову

Проблема здесь в том, что пакет restразвернут в вызове функции debug_rep(). Этот вызов выполнился бы так, как будто было написано:

print(cerr, debug_rep(fcnName, code.num(),

otherData, "otherData", item));

В этом развертывании осуществляется попытка вызова функции debug_rep()со списком из пяти аргументов. Нет никакой версии функции debug_rep(), соответствующей этому вызову. Функция debug_rep()имеет постоянное количество аргументов, и нет никакой ее версии с пятью параметрами.

Схема при развертывании применяется по отдельности к каждому элементу в пакете.

Упражнение 16.56. Напишите и проверьте версию функции errorMsg()с переменным количеством аргументов.

Упражнение 16.57. Сравните свою версию функции errorMsg()с переменным количеством аргументов с функцией error_msg()из раздела 6.2.6. Каковы преимущества и недостатки каждого подхода?

По новому стандарту можно использовать шаблоны с переменным количеством аргументов совместно с функцией forward()для написания функций, которые передают свои аргументы неизменными некой другой функции. Чтобы проиллюстрировать такие функции, добавим в класс StrVec(см. раздел 13.5) функцию-член emplace_back(). Такая функция-член библиотечных контейнеров является шаблоном-членом с переменным количеством аргументов (см. раздел 16.1.4), которая использует их для создания элементов непосредственно в области, управляемой контейнером.

Версия функции emplace_back()для класса StrVecтакже должна быть с переменным количеством аргументов, поскольку у класса stringмного конструкторов, которые отличаются своими параметрами.

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

Как уже упоминалось, сохранение информации типа — двухступенчатый процесс. Во-первых, для сохранения информации типа аргументов параметры функции emplace_back()следует определить как ссылки на r-значение параметра типа шаблона (см. раздел 16.2.7):

class StrVec {

public:

template void emplace_back(Args&&...);

// остальные члены, как в разделе 13.5

};

Схема &&в развертывании пакета параметров шаблона означает, что каждый параметр функции будет ссылкой на r-значение на соответствующий ей аргумент.

Во-вторых, функцию forward()следует использовать для сохранения первоначальных типов аргументов, когда функция emplace_back()передает их функции construct()(см. раздел 16.2.7):

template

inline

void StrVec::emplace_back(Args&&... args) {

chk_n_alloc(); // пересоздает StrVec при необходимости

alloc.construct(first_free++, std::forward(args)...);

}

Тело функции emplace_back()вызывает функцию chk_n_alloc()(см. раздел 13.5), чтобы гарантировать наличие достаточного места для элемента, и вызывает функцию construct(), чтобы создать элемент в позиции, на которую указывает указатель first_free.

std::forward(args)...

Развертывание в вызове функции construct()разворачивает оба пакета: параметров шаблона Argsи параметров функции args. Эта схема создает элементы в формате:

std::forward< T i >( t i )

где T i представляет тип i -го элемента в пакете параметров шаблона, a t i представляет i -й элемент в пакете параметров функции. Например, если svecимеет тип StrVec, то при вызове

svec.emplace_back(10, 'c'); // добавит cccccccccc как новый последний

// элемент

схема в вызове функции construct()развернется в

std::forward(10), std::forward(c)

Использование функции forward()в этом вызове гарантирует, что если функция emplace_back()будет вызвана с r-значением, то функция construct()также получит r-значение. Например, в вызове