Template <class T> struct A { void f(T arg) {

Question

Template <class T> struct A { void f(T arg) {

??? }
};
как правильно внутри такой конструкции форвардить аргументы? мне кажется, ни forward<T>, ни move не дадут ожидаемого результата.
для A<B>::f хочу мувать аргумент, для A<const B&>::f передавать по ссылке далее

#c #embedded #programming #russian

0

20.11.2020

14 ответов

21 просмотр

Alexander Karaev Автор вопроса

Ofee Oficsu
template <class T> struct A { template <same_as<...

нет, метод не должен быть шаблонным, у него строго зафиксированы аргументы

0

20.11.2020

Alexander Karaev Автор вопроса

Ofee Oficsu
template <class T> struct A { template <same_as<...

так они не выведутся

0

20.11.2020

Constantine Drozdov

А что не так с форвардом?

0

20.11.2020

Alexander Karaev Автор вопроса

Constantine Drozdov
А что не так с форвардом?

я его использовал только в контексте T&&, поэтому сомневаюсь

0

20.11.2020

Ofee Oficsu

Точно так же принимаем T&&. В таком случае, сжатие ссылок должно работать всё ещё правильно

0

20.11.2020

Constantine Drozdov

Alexander Karaev
я его использовал только в контексте T&&, поэтому ...

А, это нормально, просто сопоставь табличку.

0

20.11.2020

Alexander Karaev Автор вопроса

Ofee Oficsu
Точно так же принимаем T&&. В таком случае, сжатие...

да нельзя принимать T&&, потому что тогда для A<int> сигнатура метода будет void f(int&&)

0

20.11.2020

Ofee Oficsu

Alexander Karaev
да нельзя принимать T&&, потому что тогда для A<in...

Может, что-то такое? template <class T> using try_add_ref = typename std::conditional<std::is_reference_v<T>, T&&, T>::type; template <class T> struct A { void f(try_add_ref<T> arg) { } };

0

20.11.2020

Alexander Karaev Автор вопроса

Ofee Oficsu
Может, что-то такое? template <class T> using try...

какой смысл от этой конструкции?

0

20.11.2020

Ofee Oficsu

Alexander Karaev
какой смысл от этой конструкции?

Для ссылочных аргументов мы принимаем тип по форвард-ссылке, получая при сжатии ссылок либо lvalue, либо rvalue ref, для нессылочных типов принимаем по значению

0

20.11.2020

Alexander Karaev Автор вопроса

Ofee Oficsu
Для ссылочных аргументов мы принимаем тип по форва...

принимать мне нужно именно T в том виде, в котором я прописал в шаблоне класса (если будет проще: template <class... Args> struct func { void operator()(Args...); }, просто потом нужно: T -> T&& T& -> T& const T& -> const T& T&& -> T&&, где T - не forwarding ref, а конкретный тип

0

20.11.2020

Kirill Bolshakov

Alexander Karaev
принимать мне нужно именно T в том виде, в котором...

Вроде если ты тут форвард сделаешь всё збс будет

0

20.11.2020

Ofee Oficsu

Alexander Karaev
принимать мне нужно именно T в том виде, в котором...

Вроде бы, всё правильно За исключением того, что пришлось бороться с copy elision странным образом

0

20.11.2020