Десятая попытка понять std::move

Здравствуйте,

Пытаюсь понять в 10ый раз, что же делает std::move и как работает.
Концепцию rvalue ссылок я так понять и не смог, так как безнадежно туп.

Но вот на таком простом примере:



Что будет после вызова std::move(my_struct_value_) ?

В векторе выделится память и просто построится объект структуры ?

Если да, то чем это отличается от emplace_back() ?

Ведь копирование все равно произошло или нет ?

То есть я имею виду, когда я создал объект my_struct_value_ - он в условной "куче" стал занимать место, когда я сделал push_back в векторе и std::move(my_struct_value_), то по простому вызвался memcpy() и байты из памяти которая выделена под my_struct_value_ были просто перекопированы в новую память, которая выделилась в векторе, и сама память под my_struct_value_ никуда не делась, просто часть или все поля структуры занялись и я теперь не могу к ним обращается.

Или же происходит что то другое ?

0

Сообщение от Optimus11 Что будет после вызова std::move(my_struct_value_) ?

Непосредственно после вызова std::move(my_struct_value_) не будет ничего. std::move - это просто static_cast. Он ничего физически не делает.

Результатом этого std::move будет безымянное my_struct_value&&.

Далее overload resolution выберет соответствующую версию push_back и вызовет ее. А она уже внутри себя при конструировании нового элемента вектора снова сделает std::move. В результате этого, overload resolution для конструирования нового элемента вектора выберет ваш конструктор my_struct_value(my_struct_value&& other).

Вот и все.

Сообщение от Optimus11 В векторе выделится память и просто построится объект структуры ?

Разумеется.

Сообщение от Optimus11 Если да, то чем это отличается от emplace_back() ?

Интерфейсом. А что здесь делает этот вопрос? Он не имеет отношения к теме std::move.

Сообщение от Optimus11 Ведь копирование все равно произошло или нет ?

Произошел вызов конструктора my_struct_value(my_struct_value&& other) для конструирования нового элемента. На этом роль std::move закончилась.

А дальше произойдет то, что вы сами руками написали внутри my_struct_value(my_struct_value&& other). Напишете копирование - будет копирование. Да, произошло копирование, потому что вы сами руками написали там копирование.

Сколько раз уже дылдонили: в ядре языка С++ нет никакой "семантики перемещения". Никакого "перемещения" язык сам по себе делать не умеет. В ядре языка есть только &&-ссылки и правила overload resolution для них. Все остальное, т.е. "семантику перемещения", вам придется писать вручную. Что напишете - то и получите. Вы написали "семантику перемещения" которая делает копирование - вот и получилось копирование.

Сообщение от Optimus11 То есть я имею виду, когда я создал объект my_struct_value_ - он в условной "куче" стал занимать место, когда я сделал push_back в векторе и std::move(my_struct_value_), то по простому вызвался memcpy() и байты из памяти которая выделена под my_struct_value_ были просто перекопированы в новую память, которая выделилась в векторе,

Нет, ничего подобного не происходит. Какое еще memcpy? Откуда вы взяли такую чушь? Где у вас в коде memcpy?

Сообщение от Optimus11 и сама память под my_struct_value_ никуда не делась, просто часть или все поля структуры занялись и я теперь не могу к ним обращается.

"занялась"? Чем "занялась"?

2

Сообщение от TheCalligrapher "занялась"? Чем "занялась"?

Занулилась хотел написать. В соответствии с вызванным (my_struct_value&& other).

Добавлено через 1 минуту

Сообщение от TheCalligrapher Напишете копирование - будет копирование. Да, произошло копирование, потому что вы сами руками написали там копирование.

А что еще тогда можно написать ?

0

Optimus11, к теме , про RVO не слышал ?

0

Сообщение от Optimus11 А что еще тогда можно написать ?

Написать можно что угодно.

Можно было написать некое "перемещение". Но что такое "перемещение" для вашего класса зависит от задуманной вами семантики вашего класса. Я не знаю, что вы вам задумали за семантику вашего класса. Я не знаю, что значат хранящиеся в нём значения. Я не знаю, как он может/должен "перемещаться". Только вы это знаете.

Например, что это за указатели

Они владеют той памятью, на которую указывают или нет? У вас в вопросе это оговорено? Нет, не оговорено. Так почему вы задаете участникам форума вопросы про "что еще тогда можно написать"? Откуда ж нам знать?

Если ни одно из полей вашего класса не имеет семантики владения каким-то ресурсом, то тогда ничего другого и нельзя написать. Для вашего класса семантика перемещения совпадает с семантикой копирования.

Добавлено через 50 минут

Сообщение от Optimus11 Занулилась хотел написать. В соответствии с вызванным (my_struct_value&& other).

Зачем занулять? Основным назначением семантики перемещения является повышение эффективности кода, т.е. возможность делать перемещение в тех случаях, когда это допустимо и когда это более эффективно, чем копирование.

Вы же говорите о копировании, к которому сверху добавлено еще некое дополнительное действие - "зануление". Зачем? Лишнее действие понизит эффективность кода, а не повысит ее.

1

Сообщение от TheCalligrapher Зачем занулять? Основным назначением семантики перемещения является повышение эффективности кода, т.е. возможность делать перемещение в тех случаях, когда это допустимо и когда это более эффективно, чем копирование. Вы же говорите о копировании, к которому сверху добавлено еще некое дополнительное действие - "зануление". Зачем? Лишнее действие понизит эффективность кода, а не повысит ее.

Да согласен. Понял.
Я правда так и не понял зачем придумали вводящее в заблуждение неокрепшие умы такие как мой - слово "перемещение".
По факту, опять такие если я правильно понял - всегда происходит копирование, да будет происходить, то, что я напишу в конструкторе "перемещения" - но по факту - это копирование.
Вопрос только в том, что копируется - только условная ссылка/указатель на ресурсы или копируется все.
То есть, опять такие, если я правильно понял, то std::move - это как бы просто удобная условно обертка над копирование указателей на выделенные ресурсы.

Ну или же я опять ничего не понял.

1

Optimus11, стратегии владения ресурсом и стратегии передачи владения, вот что здесь важно. Зачем концентрироваться на копировании? Это все равно что сказать "дом - это всего лишь забитые гвозди в правильные места", "но по факту дом - это забитые гвозди". Где-то да, но кому это интересно? Важно то, что получается в итоге. В смысле, гвозди не важны, важен дом в целом. Так и тут, копирование не важно, важно то, что вы получаете в итоге. А получаете вы возможность описывать порядок передачи владения ресурсом. Инструмент, с помощью которого вы получаете возможность использовать естественные ситуации, происходящие с вашими объектами (создание, передача, уничтожение) для управления владением. Понимаете?

3

Сообщение от Optimus11 если я правильно понял - всегда происходит копирование

во всех случаях будет копирование, только реализованное по-разному:

1) "копирование" - создание в новом объекте места для данных, затем заполнение этого места копией данных из источника. Источник остаётся в прежнем состоянии.
2) "перемещение" - судьба источника никого не волнует. Разрешено отобрать все ресурсы у источника (например, скопировать только указатели на уже выделенную внутреннюю память). Но при этом нужно обеспечить адекватное, не поломанное, состояние источника - то есть, внутри источника эти указатели обнулить, например. Если после перемещения произойдёт работа с источником, ничего не должно сломаться, но при этом новое содержимое источника в общем случае неизвестно (точнее - поведение можно вычитать из документации)

1 и 2 - это общее, всеми ожидаемое поведение. Но всё же никто не запрещает реализовать эти два поведения иначе

2

Сообщение от Optimus11 Я правда так и не понял зачем придумали вводящее в заблуждение неокрепшие умы такие как мой - слово "перемещение".

Потому что тех случаях, когда перемещение действительно что-то дает с точки зрения эффективности (то есть класс не является "плоским"), его семантика перемещения будет сильно отличаться от семантики копирования. Там действительно будет именно перемещение.

Сообщение от Optimus11 но факту, опять такие если я правильно понял - всегда происходит копирование, да будет происходить, то, что я напишу в конструкторе "перемещения" - но .

Во-первых, не понимаю этой фразы. Возьмите к примеру std::string или std::vector. Для них семантика перемещения сильно отличается от семантики копирования. О каком "по факту это копирование" может идти речь?

Во-вторых, одним из жизнеспособных вариантов реализации семантики перемещения является swap полей класса. В этом случае "по факту" будет обмен, а не копирование. Можно, наверное, напридумывать еще вариантов.

Сообщение от Optimus11 Вопрос только в том, что копируется - только условная ссылка/указатель на ресурсы или копируется все.

А, с этой точки зрения... Ну с этой точки зрения все программирование - это "копирование" данных с одного места на другое... Тогда все на свете можно считать "копированием"... Но никакой пользы в такой примитивизации я не вижу.

Сообщение от Optimus11 То есть, опять такие, если я правильно понял, то std::move - это как бы просто удобная условно обертка над копирование указателей на выделенные ресурсы.

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

1

Сообщение от Optimus11 Да согласен. Понял. Я правда так и не понял зачем придумали вводящее в заблуждение неокрепшие умы такие как мой - слово "перемещение". По факту, опять такие если я правильно понял - всегда происходит копирование, да будет происходить, то, что я напишу в конструкторе "перемещения" - но по факту - это копирование.

Optimus11, терминология в C++ (и не только), это такая себе минология тер. При передаче по значению - значение копируется, а при перемещении, значение остаётся на месте. Копируется объект ссылающийся на это значение. В этом смысле если что и перемещается, так это например, значение указателя на значение ("перемещаемого" ресурса). Объект принявший новый адрес будет писать/читать (если кодом задано) и чистить в деструкторе по этому адресу. Вы обратили в ноль значение "ограбленного" указателя. Это возможно. Но тогда у принявшего объекта остаётся обязанность заделетить свой указатель перед принятием нового участка памяти. Иначе будет утечка. Поэтому, обычно такие указатели свопят. Новый объект доволен (он получил что хотел и без затрат времени на предочистку) и старому есть что почистить к тому времени когда он будет покидать область.
Optimus11, ваша трудность состоит именно в том, что вы

Сообщение от Optimus11 Концепцию rvalue ссылок я так понять и не смог

Пока не разберёте, будете ломиться в стену рядом с дверью. Кратко говоря, перемещение придумано для объектов имеющих указательную семантику. Тут не важно перегружает ли класс операции для указателя. Важно что внутри у него есть указатель или иной дескриптор, который владеет ресурсом. И этот дескриптор можно переустановить на другой ресурс. Когда вы хотите получить значение объекта, который больше не нужен, можно определить операцию передачи владения получателю. Что касается std::vector то тут вам следует разобраться отдельно. И push_back/emplace_back тоже разберите. Эти вещи прямого отношения к семантике перемещения не имеют.
Тема перемещения не лёгкая тема. С наскоку не выйдет. Разберитесь с категориями выражений и ссылками. Пока там темно, перемещение не сдвинется с места.

1