void flip(F f, T1 &&t1, T2 &&t2) {
f(std::forward
}
Если происходит вызов функции flip(g, i, 42)
, то параметр i
будет передан функции g()
, поскольку int&
и 42
будут переданы как int&&
.
std::move()
, для функции std::forward()
не стоит предоставлять объявление using
. Причина описана в разделе 18.2.3.
Упражнение 16.47. Напишите собственную версию функции обращения и проверьте ее, вызывав функции с параметрами ссылок на r-значение и l-значение.
Шаблоны функций могут быть перегружены другими шаблонами или обычными, не шаблонными функциями. Как обычно, функция с тем же именем должна отличаться либо количеством, либо типом своих параметров.
На подбор функции (см. раздел 6.4) присутствие шаблона функции влияет следующими способами.
• В набор функций-кандидатов на вызов включаются любые экземпляры шаблона функции, для которой успешна дедукция аргумента шаблона (см. раздел 16.2).
• Шаблоны функций-кандидатов всегда подходящие, поскольку дедукция аргумента шаблона устранит все неподходящие шаблоны.
• Как обычно, подходящие функции (шаблонные и нешаблонные) ранжируются по преобразованиям, если таковые вообще имеются. Конечно, набор применимых преобразований при вызове шаблона функции весьма ограничен (см. раздел 16.2.1).
• Так же как обычно, если только одна функция обеспечивает наилучшее соответствие, она и выбирается. Но если одинаково хорошее соответствие обеспечивают несколько функций, то:
• если в наборе одинаково хороших соответствий есть только одна нешаблонная функция, то выбрана будет она;
• если в наборе нет нешаблонных функций, но есть несколько шаблонных, и одна из них более специализированна, чем любые другие, то будет выбран более специализированный шаблон функции;
• в противном случае вызов неоднозначен.
В качестве примера создадим набор функций, которые могли бы пригодиться во время отладки. Назовем отладочные функции debug_rep()
, каждая из них возвратит строковое представление предоставленного объекта. Начнем с создания самой общей версии этой функции в качестве шаблона, получающего ссылку на константный объект:
//
template
ostringstream ret; //
ret << t; //
return ret.str(); //
}
Эта функция применяется для создания строки, соответствующей объекту любого типа, у которого есть оператор вывода.
Теперь определим версию функции debug_rep()
для вывода указателя:
//
//
//
//
template
ostringstream ret;
ret << "pointer: " << p; //
if (p)
ret << " " << debug_rep(*p); //
//
else
ret << " null pointer"; //
return ret.str(); //
}
Эта версия создает строку, содержащую собственное значение указателя и вызывает функцию debug_rep()
для вывода объекта, на который указывает этот указатель. Обратите внимание, что эта функция не может использоваться для вывода символьных указателей, поскольку библиотека ввода-вывода определяет версию оператора <<
для значения указателя char*
. Эта версия оператора <<
подразумевала, что указатель обозначает символьный массив с нулевым символом в конце и выводит содержимое массива, а не его адрес. Обработка символьных указателей рассматривается в разделе 16.3.
Эти функции можно использовать следующим образом:
string s("hi");
cout << debug_rep(s) << endl;