Как правильнее изменять размер массива в С++?

Фейл из-за того, что лок на участок памяти или что?

Мы пытаемся разблокировать мьютекс по адресу, по которому никогда не блокировали мьютекс.

А, я перепутал source-destination. Суть примера в том, что тупых перемещений недостаточно для сложных объектов?

Да.

Копирование и перемещение — это разные операции. Конструктор копирования предназначен именно для копирования, т.е. для создания клонов объекта. И, разумеется, он не учитывает семантику объекта при перемещении. Особенно такое перемещение как в случае с realloc, с увеличением размера объекта.

Проблемы, возникающие при перемещении объекта (как в твоем примере), должны где-то обрабатываться, но никак не в конструкторе копирования. За это должен отвечать отдельный код.

В c++11 конструктор перемещения A::A(A&&) и отвечает за перемещение объекта. realloc его тоже не вызывает :)

В старых версиях перемещение — это копирование и удаление (или конструирование и своп, если мы работаем со своими объектами, имеющими своп). Бонусом к этому будет просто и эффективно реализуемая строгая гарантия безопасности исключений при перемещении (при использовании бросающего конструктора перемещения и не использовании копирования для вектора это невозможно).

Я, слава богу, оставил мир плюсов задолго до 2011 :) Приятно наблюдать, что до них наконец дошло, что операция копирования/удаления и перемещения суть разные. Даже отдельный конструктор завели.

Однако перемещение объектов без изменения их размера , как мы видим на примере с realloc — это только частный случай, причем весьма ограниченный. Над перемещением надо еще поработать. Может тогда в плюсах появится полноценный реаллок.

Всегда интересно, куда люди переходят с плюсов. Куда в твоем случае? //только заметил, что редактировать уже мжно с двумя звездами.

В моем случае переход был на дотнет. Просто с ростом производительности и удешевлением железа все меньше причин начинать разрабатывать какую-то сложную логику на плюсах.

Обычные объекты никогда не меняют свой размер (если нет каких-нибудь грязных c-style хаков вроде struct buf_s {int size; char buf[1]; };)

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

Отчего же грязный хак? Вполне нужная штука.