Ясно, это с какой целью делается?

Ну конечно, move как cast для вызова это одно а auto x = move это создание второго объекта. Если callable например std function то это ещё и виртуальный move

0

10.05.2023

olim Автор вопроса

что за виртуальный мув?

0

10.05.2023

Dmitry Sokolov

olim
что за виртуальный мув?

std::function например, это type erasure. Соответственно copy и move у него виртуальные.

0

10.05.2023

Evgeny Sh.

Dmitry Sokolov
std::function например, это type erasure. Соответс...

Он же внутри себя содержит указатель на кучу (unique_ptr), при муве std::function мувается этот std::unique_ptr, без никаких "виртуальных мувов"

0

10.05.2023

Alex

Evgeny Sh.
Он же внутри себя содержит указатель на кучу (uniq...

вот это больше похоже на правду, писал классы с type erasure (в т. ч. callable), ни разу виртуальное присваивание делать не приходилось

0

10.05.2023

Dmitry Sokolov

Evgeny Sh.
Он же внутри себя содержит указатель на кучу (uniq...

Ну обычно же все рассчитывают что там работает small object optimization, не так ли? Если функция вписывается в soo, move/copy всегда виртуальные. И что хреново, эти самые copy/move всегда генерируются и не могут быть удалены.

0

10.05.2023

Kelbon

Dmitry Sokolov
std::function например, это type erasure. Соответс...

мув там самый обыкновенный

0

10.05.2023

Kelbon

Dmitry Sokolov
Ну обычно же все рассчитывают что там работает sma...

также можно сказать про любой нетривиальный мув, типа просто он сложнее

0

10.05.2023

Dmitry Sokolov

Kelbon
мув там самый обыкновенный

В std function? Обыкновенный?

0

10.05.2023

Kelbon

Dmitry Sokolov
В std function? Обыкновенный?

да, все мув конструкторы бывают обыкновенные и тривиальные, так что этот обыкновенный

0

10.05.2023

olim Автор вопроса

Dmitry Sokolov
Ну обычно же все рассчитывают что там работает sma...

где про это почитать?

0

10.05.2023

Dmitriy [Отпуск]

Dmitry Sokolov
Если это только для перегрузки, тут пессимизация, ...

Возможно, идея - "call-once" семантика function wrapper

0

10.05.2023

Dmitry Sokolov

Dmitriy [Отпуск]
Возможно, идея - "call-once" семантика function wr...

Ну если это просто шаблонный код можно конечно сделать call через move, но для этого не нужен move constructor. Если говорить например про std function, там вообще по барабану, она в стандарте даже не истинно const.

0

10.05.2023

Kelbon

Dmitry Sokolov
Ну если это просто шаблонный код можно конечно сде...

выше описывались причины почему может потребоваться мувать

0

10.05.2023

Dmitry Sokolov

Dmitriy [Отпуск]
Возможно, идея - "call-once" семантика function wr...

А вообще с call-once всё сложно. Нужно учитывать что функтор может иметь доступ сам к себе если что. То есть безопасный call-once должен перед вызовом обязательно сам себя через move скопировать.

0

10.05.2023

Dmitry Sokolov

Kelbon
выше описывались причины почему может потребоватьс...

Согласен, это нормально если функтор переписывает сам себя.

0

10.05.2023

Kelbon

Dmitry Sokolov
А вообще с call-once всё сложно. Нужно учитывать ч...

ну нет, это уже проблема самого объекта, если потенциально он делает рекурсию в себя. И вообще-то вызов сколько угодно раз функции помеченной как && не является ошибкой, просто семантически это неверно

0

10.05.2023

Dmitry Sokolov

Kelbon
ну нет, это уже проблема самого объекта, если поте...

Например интегрированный в state machine callback который мы все время переписываем при переходе между состояниями. Тут как раз опасно иметь дело с reference в качестве контекса выполнения текущего callback вместо moved out state.

0

10.05.2023

Aleksander Spichak · Accepted Answer

Aleksander Spichak

Тут, вероятно, это бесполезно (если брать комплишен хендлеры в тех либах, с которыми я знаком)

0

10.05.2023

170 похожих чатов

Ясно, это с какой целью делается?

26 ответов

Похожие вопросы