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 that you have read and understand our privacy policy and code of conduct.

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