Рассмотрим два следующих:
template <class Function>
void apply(Function&& function)
{
std::forward<Function>(function)();
}
а также
template <class Function>
void apply(Function&& function)
{
function();
}
В каком случае есть разница, и какая это конкретная разница?
Есть разница, если Function
«s operator()
имеет ссылки на классификаторы. С std::forward
, категория значения аргумента распространяется, без него категория значения теряется, и функция всегда будет вызываться как l-значение. Живой пример.
#include <iostream>
struct Fun {
void operator()() & {
std::cout << "L-Value\n";
}
void operator()() && {
std::cout << "R-Value\n";
}
};
template <class Function>
void apply(Function&& function) {
function();
}
template <class Function>
void apply_forward(Function&& function) {
std::forward<Function>(function)();
}
int main () {
apply(Fun{}); // Prints "L-Value\n"apply_forward(Fun{}); // Prints "R-Value\n"}