Р
Size: a a a
2020 July 15
CD
Ребят кто может объяснить мне почему std::forward выкидывает ссылку из типа если аргумент const?
MyClass myClass; // простая структура из пары переменных
MyClass& class_ref = myClass;
std::forward<MyClass&>(class_ref); // всё ок
const MyClass& class_const_ref = myClass;
std::forward<const MyClass&>(class_const_ref); // no instance of overloaded function "std::forward" matches the argument list: (const MyClass)
MyClass myClass; // простая структура из пары переменных
MyClass& class_ref = myClass;
std::forward<MyClass&>(class_ref); // всё ок
const MyClass& class_const_ref = myClass;
std::forward<const MyClass&>(class_const_ref); // no instance of overloaded function "std::forward" matches the argument list: (const MyClass)
как вы это выяснили?
CD
CD
Ну вообще
Пример:
std::forward используется только в forwarding reference и я не знаю юзкейсов иныхПример:
template <typename T>
void foo(T&& obj) {
bar(std::forward<T>(obj));
}зафорвардь аргументы в
[] (auto&&... args) {}
[] (auto&&... args) {}
D
зафорвардь аргументы в
[] (auto&&... args) {}
[] (auto&&... args) {}
Ой вот не надо тут вашими авто разбрасываться...
CD
Ой вот не надо тут вашими авто разбрасываться...
так ты зафорвардь, а потом говори, как std::forward используется, там будет стоять std::forward<decltype(args)>(args)...
CD
и std::forward будет с rvalue reference инстанцирован, и всё будет зашибись
AT
как вы это выяснили?
D
так ты зафорвардь, а потом говори, как std::forward используется, там будет стоять std::forward<decltype(args)>(args)...
[]<typename T>(T&& obj){}CD
[]<typename T>(T&& obj){}зачем
D
зачем
Потому что могу
CD
Потому что могу
а теперь полную твою версию
#define LIFT(foo) \
[](auto&&... x) \
noexcept(noexcept(foo(std::forward<decltype(x)>(x)...))) \
-> decltype(foo(std::forward<decltype(x)>(x)...)) \
{ return foo(std::forward<decltype(x)>(x)...); }