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

svec.emplace_back(s1 + s2); // использует конструктор перемещения

аргумент функции emplace_back()является r-значением, которое передается функции construct()как

std::forward(string("the end"))

Типом результата вызова forwardбудет strings&, поэтому функция construct()будет вызвана со ссылкой на r-значение. Функция construct(), в свою очередь, перенаправит этот аргумент конструктору перемещения класса string, чтобы создать этот элемент.

Функции с переменным количеством аргументов зачастую перенаправляют свои параметры другим функциям. Форма таких функций, как правило, подобна функции emplace_back():

// у функции fun() может быть любое количество параметров, каждый

// из которых является ссылкой r-значения на тип параметра шаблона

template

void fun(Args&&... args) // развертывание Args в список ссылок

// на r-значения

{

// аргумент work() развертывает как Args, так и args

work(std::forward(args)...);

}

Здесь предполагается перенаправить все аргументы функции fun()другой функции, work(), которая, по-видимому, осуществляет реальную работу. Как и вызов функции construct()в функции emplace_back(), развертывание в вызове функции work()разворачивает и пакет параметров шаблона, и пакет параметров функции.

Поскольку параметры функции fun()являются ссылками на r-значение, функции fun()можно передать аргументы любого типа; поскольку для передачи этих аргументов используется функция std::forward(), вся информация о типах этих аргументов будет сохраняться в вызове функции work().

Упражнение 16.58. Напишите функцию emplace_back()для собственного класса StrVecи для класса Vec, написанного в упражнении раздела 16.1.2.

Упражнение 16.59. С учетом того, что sимеет тип string, объясните вызов svec.emplace_back(s).

Упражнение 16.60. Объясните, как работает функция make_shared()(см. раздел 12.1.1).

Упражнение 16.61. Определите собственную версию функции make_shared().

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

Функция compare()— хороший пример шаблона функции, общее определение которого не подходит для специфического типа, а именно символьных указателей. Хотелось бы, чтобы функция compare()сравнивала символьные указатели, используя функцию strcmp(), а не сравнивала значения указателей. Действительно, ведь уже есть перегруженная функция compare(), обрабатывающая символьные строковые литералы (см. раздел 16.1.1):

// первая версия; может сравнить любые два типа

template int compare(const T&, const T&);

// вторая версия, для обработки строковых литералов

template

int compare(const char (&)[N], const char (&)[M]);

Однако версия функции compare()с двумя параметрами значения шаблона будет вызвана только при передаче строкового литерала или массива. Если происходит вызов функции compare()с символьными указателями, будет вызвана первая версия шаблона:

const char *p1 = "hi", *p2 = "mom";

compare(p1, p2); // вызывает первый шаблон

compare("hi", "mom"); // вызывает шаблон с двумя параметрами значения

Нет никакого способа преобразовать указатель в ссылку на массив, поэтому вторая версия функции compare()не подходит для передачи указателей p1и p2как аргументов.

Для обработки символьных указателей (в отличие от массивов) можно определить специализацию шаблона (template specialization) для первой версии функции compare(). Специализация — это отдельное определение шаблона, в котором определяется один или несколько параметров шаблона для получения специфического типа.

При специализации шаблона функции следует предоставить аргументы для каждого параметра первоначального шаблона. Для указания специализации шаблона используется ключевое слово template, сопровождаемое парой пустых угловых скобок ( <>). Пустые скобки означают, что аргументы будут предоставлены для всех параметров первоначального шаблона: