AB
А есть в std функция, которая сделает move, если аргумент lvalue (или rvalue reference), и просто передаст дальше, если lvalue ссылка? Типа forward, но с добавлением случая для lvalue.
Что в этом случае lvalue не ссылка? И какой у нее тип
Size: a a a
2020 December 16
AB
При передаче в функцию любое главлуе будет лвалуе ссылкой
AB
Трейтами не проверить валуев категорию, потому что она не тип
AB
не понял, не ссылка не может сама собой стать ссылкой
Если на место универсальной ссылки передать имя переменной, будет левая ссылка. Твой вопрос об этом?
AB
Тогда я не понимаю, чем форвард не подходит
A
template <class Invokable, typename... Args>
struct Functor final : ... {
explicit Functor(Invokable&& invokable) : _invokable{ std::move(invokable) }
{}
void operator()(Args... args) const override
{
_invokable(std::move(args)...);
}
private:
const Invokable _invokable;
};
Есть вот такой код, он принимает копии аргументов и делает move, но если аргумент изначально ссылка - это не работает
AB
Делай ктор шаблоном
A
Делай ктор шаблоном
Не понял идею
AB
template <class Invokable, typename... Args>
struct Functor final : ... {
explicit Functor(Invokable&& invokable) : _invokable{ std::move(invokable) }
{}
void operator()(Args... args) const override
{
_invokable(std::move(args)...);
}
private:
const Invokable _invokable;
};
Есть вот такой код, он принимает копии аргументов и делает move, но если аргумент изначально ссылка - это не работает
Invokable может быть ссылкой?
AB
Ну так, нет конструктора от Invokable&