Расскажите о префиксной перенаправке (perfect forwarding) в C++.

Префиксная перенаправка (Perfect forwarding) в C++ позволяет передавать аргументы функции в другую функцию, сохраняя при этом их категории значений (lvalue или rvalue) и const/volatile квалификаторы.

Это достигается за счет использования комбинации двух механизмов:

• Шаблоны функций: Функция, использующая perfect forwarding, должна быть шаблонной.
• Универсальные ссылки (universal references): Параметры такой шаблонной функции объявляются как T&&. В зависимости от того, является ли аргумент lvalue или rvalue, T будет выведено как тип аргумента (при передаче rvalue) или как ссылка на тип аргумента (при передаче lvalue).
• std::forward<T>(): Эта функция-шаблон используется для приведения аргумента param с типом T&& к нужному типу. Если T - ссылочный тип, std::forward<T>(param) вернет lvalue-ссылку. Если T - нессылочный тип, он вернет rvalue-ссылку или lvalue в зависимости от контекста.

Пример использования:

cpp