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

Auto a = std::move(x); x = std::move(y); //почему эта операция корректна

над объектом после перемещения?
y = std::move(x);

11 ответов

27 просмотров

Почему нет?

Constantine-Drozdov Автор вопроса
0xBytearray
Почему нет?

а где прописанное требование к move ctor оставить объект в состоянии таком, что объект может использоваться в левой части операции присваивания?

Constantine Drozdov
а где прописанное требование к move ctor оставить ...

Было для контейнеров стандартной библиотеки (что-то про валидное не неспецифицированное состояние)

Constantine Drozdov
а где прописанное требование к move ctor оставить ...

Ну потому что в lvalue может быть что угодно в любом состоянии?

Constantine-Drozdov Автор вопроса
0xBytearray
Ну потому что в lvalue может быть что угодно в люб...

Это вроде неверно для присваивания контейнеров с разными значениями аллокаторов

Constantine Drozdov
Это вроде неверно для присваивания контейнеров с р...

У тебя в примере и не контейнер, а что-то абстрактное

Constantine-Drozdov Автор вопроса
0xBytearray
У тебя в примере и не контейнер, а что-то абстракт...

Вы указываете предикат "для любого", он опровергнут контрпримером. Неверно, что левый аргумент присваивания не важен при выполнении операции - класс может иметь неперемещаемые инварианты

Constantine Drozdov
Вы указываете предикат "для любого", он опровергну...

Это всё зависит от реализации мув операций в конкретном классе. Обычно делают как в std - valid but unspecified

Constantine-Drozdov Автор вопроса
🐙 Antony Polukhin
Было для контейнеров стандартной библиотеки (что-т...

А вот требовать какое-то валидное состояние это требовать неразрушающего перемещения, это слишком жесткое требование По факту для MoveCtor нужно прописать именно требование эквивалентности x = expression и auto y = std::move(x); x = expression;

Constantine-Drozdov Автор вопроса
Kirill Bolshakov
Это всё зависит от реализации мув операций в конкр...

Ты запретишь перемещение объектов, содержащих ненулевой unique_ptr, это равносильно неразрушающему перемещению, а в текущий момент стандарт и p1144 рассматривает перемещение скорее как разрушающее

Constantine-Drozdov Автор вопроса
🐙 Antony Polukhin
Было для контейнеров стандартной библиотеки (что-т...

Кстати, в стандартной библиотеке есть проблема именно из-за такого определения, у std::list не получается noexcept перемещения

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

Обсуждают сегодня

30500 за редактор? )
Владимир
47
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Подскажите пожалуйста, как в CustomDrawCell(Sender: TcxCustomGridTableView; ACanvas: TcxCanvas; AViewInfo: TcxGridTableDataCellViewInfo; var ADone: Boolean); получить наз...
A Z
7
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Раз начали говорить про embassy, то присоединюсь со своими парой вопросов. 1) Есть ли сопоставимые аналоги для асинхронного кода в emdebbed? 2) Можно ли внутри задач embassy ...
NI_isx
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
1
Он в одиночку это дело запилил или была какая-то команда?
Aquinary
12
~ 2m21s  nix shell github:nixos/nixpkgs#stack ~  stack ghc -- --version error: … while calling the 'derivationStrict' builtin at /builtin/derivation.nix:...
Rebuild your mind.
6
Карта сайта