Идеальная пересылка функтора

Question

Интересно, как правильно использовать идеальный перенаправленный функтор? Вот два фрагмента кода. Какой из них лучший, а если нет, то какая лучшая форма?

template<typename T, typename... Args> 
void callMe(T&& func, Args&&... args) { 
    func(std::forward<Args>(args)...); 
} 

Или

template<typename T, typename... Args> 
void callMe(T&& func, Args&&... args) { 
    std::forward<T>(func)(std::forward<Args>(args)...); 
} 

EDIT:

Повлияет ли это разрешение перегрузки? Если funcoperator() имеет ref-квалификатор для && или const &, должен ли я использовать последнюю версию и должен ли я беспокоиться о том, какую перегрузку я звоню?

Спасибо!

Answer 1

С исх квалифицированных operator() существует, первая версия может делать неправильные вещи. Рассмотрим:

struct C { 
    void operator()() && { std::cout << "rval\n"; } 
    void operator()() const & { std::cout << "lval\n"; } 
}; 

callMe(C{}); 

Я даю вам RValue - и ожидали бы увидеть "rval" - но в первой версии, вы всегда обрабатывать объект функции, как Lvalue - так что я действительно вижу "lval".

Таким образом, правильным решением будет второе - forward s func.

---

На практике я не знаю, как часто выполняются рефлексированные функции-члены, поэтому первая, вероятно, прекрасна.

Answer 2

Идеальная пересылка полезна в том случае, если вы отправляетесь в доставляете объект (возможно, rvalue) на какую-либо другую функцию, и вы не уверены, что это значение rvalue или lvalue. В этом случае вы только используетеfunc, так что нет никакой выгоды или вреда при его пересылке.

Помните, std::forward является условным std::move, который является только отлитой для ссылки на r-значение.

Кроме того, это действительно полезно, если есть вероятность, что конструктор копирования или перемещения может быть вызван для вещи, которую вы пересылаете. Во многих случаях const T& будет прекрасно.

редактировать:

Как ягодный указывает, что делает дело, если func имеет исх квалификацию operator(). Я никогда не видел или не использовал рефлексивный метод (насколько я знаю, это очень редко). Больше в ответе Барри.

Было бы прочитать также: What is "rvalue reference for *this"?

struct C { 
    void operator()() && { std::cout << "rval\n"; } 
    void operator()() const & { std::cout << "lval\n"; } 
}; 

callMe(C{});