5

В чём разница между следующими двумя способами передачи параметров?

template <typename ...Args> smth(Args &&...args) : base(args...) {}
template <typename ...Args> smth(Args &&...args) : base(std::forward<Args>(args)...) {}
6
  • Наверное все таки std::forward<Args>(args)... 8 окт 2019 в 23:10
  • 2
    вопрос придуман от скуки?...Сейчас AnT напишет статью 8 окт 2019 в 23:15
  • @AnT, да, точно. Забыл указать.
    – Qwertiy
    8 окт 2019 в 23:37
  • @ARHovsepyan, неа. Вот тут написал без forward - вроде работает, а пока искал точный синтаксис (несколько попутал, в каком порядке амперсанды, многоточия и переменную надо писать), попалась версия с forward. Но что он даёт, я что-то не понял - вроде ж и так работает...
    – Qwertiy
    8 окт 2019 в 23:38
  • @Qwertiy, без std::forward компилятор предпологает, что вы передаете аргументы по ссыльке, и ели у base есть и конструктор перемещения, то будет работать конструктор копирования, т.е. пересылать туда не получится. С std::forward компилятор сохранит "rvalue ness" и переместит содержимо аргументов, после чего оригиналы окажутся пустыми 8 окт 2019 в 23:46

1 ответ 1

9

Предположим, что конструктор base принимает move-only параметр по значению:

struct base {
  base(std::unique_ptr<int> value);
};

В таком случае первый вариант не скомпилируется:

template <typename ...Args> smth(Args &&...args) : base(args...) {}
                                  попытка сделать копию ^^^^

Тут можно написать std::move и это будет работать:

template <typename ...Args> smth(Args &&...args) : base(std::move(args)...) {}

Однако в случае если у base два конструктора, один из которых перемещает значение, а другой принимает ссылку:

struct base {
  base(std::unique_ptr<int>&& value);
  base(std::unique_ptr<int>& value);
};

И если мы хотим чтобы smth передавал в base именно те типы аргументов, с которыми его вызвали, то std::move нам не подойдет - он всегда будет превращать аргумент в r-value ссылку.

Для этого есть std::forward<T>, который сохраняет оригинальный тип аргумента:

struct smth : base {
  template <typename ...Args> smth(Args &&...args) : base(std::forward<Args>(args)...) {}
};

std::unique_ptr<int> p;
smth s1(p);            // OK, будет вызван base(std::unique_ptr<int>&);
smth s2(st::move(p));  // OK, будет вызван base(std::unique_ptr<int>&&);

Примечание: std::forward<T>(t) работает только с "универсальнами ссылками", т.е. когда T - это параметр шаблона функции (конструктора), а t - аргумент этой функции с типом T&& (это специальное исключение в языке, такой тип T&& не является r-value ссылкой, а заставляет T повторять тип того, что передали в функцию).

0

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.