s
неявно выделение в куче происходит или как?
Size: a a a
2020 July 25
s
или это UB?
IZ
неявно выделение в куче происходит или как?
Ничего неявного там не происходит
IZ
Вопрос про move семантику - почему это работает? В одном потоке выделяю на стеке объект структуры, передаю через очередь и move в другой поток, поидее после этого выход из функции происходит и объекты уничтожаются, но работает
mail_t mail;//= new mail_t;
mail.type = MessageType_t::SCENARIO_SET;
const char *cmsg = (const char *)string_buffer_p;
mail.cmsg = cmsg;
while(!queue_js_app_rx.push(std::move(mail))){};Я не вижу тут причин, почему это не должно работать, если всё остальное правильно написано.
NI
да.
N
Вопрос про move семантику - почему это работает? В одном потоке выделяю на стеке объект структуры, передаю через очередь и move в другой поток, поидее после этого выход из функции происходит и объекты уничтожаются, но работает
mail_t mail;//= new mail_t;
mail.type = MessageType_t::SCENARIO_SET;
const char *cmsg = (const char *)string_buffer_p;
mail.cmsg = cmsg;
while(!queue_js_app_rx.push(std::move(mail))){};По сути move это всё равно что передача указателя, если очень упростить. Сами данные у тебя уже где-то лежат, может в куче, может в сегменте глобальных данных. Например, где у тебя хранится string_buffer_p?
s
По сути move это всё равно что передача указателя, если очень упростить. Сами данные у тебя уже где-то лежат, может в куче, может в сегменте глобальных данных. Например, где у тебя хранится string_buffer_p?
в куче, собственно вопрос к чему - если это UB - то при вызове повторном функции которая это создает - может просто по этому месту в памяти стек нового вызова перезаписаться
s
указатель то передан, но память на которую он указывает не в куче находится, а в области стека
N
в куче, собственно вопрос к чему - если это UB - то при вызове повторном функции которая это создает - может просто по этому месту в памяти стек нового вызова перезаписаться
Ну тогда и после move будет в куче
s
Ну тогда и после move будет в куче
это только string_buffer_p
s
а сам объект mail
N
это только string_buffer_p
Остальные данные скопируются
s
но ведь move не копирует
N
но ведь move не копирует
Данные что на стеке скопируются. Как и обычно, когда функция что-то возвращает по значению. А то что в куче так там и будет.
s
то есть move если не может обеспечить перемещение - делает копирование?
s
насколько я понимаю - move работает через unique_ptr
AS
насколько я понимаю - move работает через unique_ptr
s
но не обязательно явно создавать его - вот интересно стало как это все-таки работает
N
то есть move если не может обеспечить перемещение - делает копирование?
Ну вообще, как в классе написан конструктор перемещения, так оно и работает. Можно посмотреть реализацию таких классов, которые чем-то владеют на куче, например string или vector. По сути, они просто передают указатели на данные другому объекту (свои указатели устанавилвают на null, чтобы в деструкторе проверить, нужно ли освободжать память или нет). Если конструктор перемещения реализован автоматически, то насколько я знаю, он просто делает move всех своих полей.
N
Просто так сложно объяснить) Лучше где-то почитать про это и попробовать написать свои конструкторы перемещения