PK
для последнего тебе нужен незабаненный мув-конструктор, но он не будет использоваться
Size: a a a
2020 March 25
PK
а для mandatory copy elision вообще пофигу -- есть он или нет
P
для последнего тебе нужен незабаненный мув-конструктор, но он не будет использоваться
да, я понимаю
PZ
Но это просто супер странно ведь. Типа придумали move семантику, потом сказали "хватит копировать, вот вам std::move". И начал род людской, и я вместе с ним не копии возращать, а мувать все из функций. Но компилятор такой спрашивает: "ты идиот?".
PZ
Вот это в ступор ставит :)
PK
это ставит в ступор, когда немного отвлекся, вроде подумал, что на волне и вроде понял, что надо везде мувы лепить, а оказалось не так :) надо взять себя в руки и попытаться въехать в это дерьмо на toy-примерах
PK
конкретно тут надо положиться на компилятор -- где ему кажется, что мув излишен, так и есть, и не надо его делать
PZ
Ну, я просто перестал делать move из функции. В остальных местах это работает как ожидается)
PK
он все еще нужен в обычных конструкциях вроде
Widget(MyField mf)
: mf{ std::move(mf) } {}
PK
Да просто название неудачное. Кажется, что std::move должен перемещать объект. А на самом деле он просто кастит к rvalue.
там, по идее, других коротких вариантов почти нет
M
там, по идее, других коротких вариантов почти нет
rcast?
PK
как Майерс говорил, мув не мувает, форвард не форвардит
PK
rcast?
была как раз такая идея: rvalue_cast, но ее отвергли
M
как Майерс говорил, мув не мувает, форвард не форвардит
Ну, это в стандарте написано, а не у Майерса)
Просто вроде как язык и сам бы мог это выражать.
Просто вроде как язык и сам бы мог это выражать.
PK
Ну, это в стандарте написано, а не у Майерса)
Просто вроде как язык и сам бы мог это выражать.
Просто вроде как язык и сам бы мог это выражать.
я это из его лекций помню :)
M
была как раз такая идея: rvalue_cast, но ее отвергли
Печаль)
PK
Это просто надо знать, да и всё.
мне кажется, вот это хорошая bottom line :D надо просто знать и всё тут
S
как Майерс говорил, мув не мувает, форвард не форвардит
А потом выясняется что первый каст безусловный, а второй условный.