Проверка на самоприсваивание массива

@mlippi80 · Регистрация: 31.05.2017

Студворк — интернет-сервис помощи студентам

вопрос по задаче из Дейтела, в тексте написано :
"Если бы проверка на самоприсваивание не производилась,
то при самоприсваивании функция operator= перед
своим завершением удаляла бы динамическую память,
ассоциированную с объектом Array. В результате ptr
указывал бы на память, которая была удалена, что могло бы
привести к фатальным ошибкам времени выполнения.
"
мне не понятно о каком месте это написано, когда
функция operator= удаляет динамическую память? если речь
о delete [] ptr, то это не завершение функции. а если в
другом месте, то в связи с чем возникает это удаление?
спасибо

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
const Array &Array::operator=( const Array &right )
{
   if ( &right != this ) // avoid self-
   {
if ( size != right.size )
 
      {delete [] ptr; // release space
         size = right.size; // resize this object
         ptr = new int[ size ]; // create space for array copy
      }
for ( int i = 0; i < size; i++ )
         ptr[ i ] = right.ptr[ i ]; // copy array into object
   }
 return *this;
}

@oleg-m1973 · 12.09.2019, 09:27

Сообщение от mlippi80

мне не понятно о каком месте это написано, когда
функция operator= удаляет динамическую память? если речь
о delete [] ptr, то это не завершение функции. а если в
другом месте, то в связи с чем возникает это удаление?

В твоём случае нигде (хотя, оператор и реализован немного неправильно). Надо смотреть его реализацию, там, наверное, проверки размера нет

@mlippi80 · 12.09.2019, 09:40 **[ТС]**

Хорошо если в моем случае так. Тогда о каком случае идёт речь?

@oleg-m1973 · 12.09.2019, 09:43

Сообщение от mlippi80

Хорошо если в моем случае так. Тогда о каком случае идёт речь?

Ну, например, если бы у тебя не было проверок &right != this и size != right.size

@mlippi80 · 12.09.2019, 09:47 **[ТС]**

Нет это понятно что это и есть проверка на самоприсваивание. Вопрос не пойму где в какой момент operator удаляет динамическую память, причём написано перед завершением? Где это в коде?

@oleg-m1973 · 12.09.2019, 09:51

Сообщение от mlippi80

Нет это понятно что это и есть проверка на самоприсваивание. Вопрос не пойму где в какой момент operator удаляет динамическую память, причём написано перед завершением? Где это в коде?

Я ж вроде сказал, что в твоём коде нигде, ну кроме delete [] ptr. Он имел ввиду какую-то другую реализацию, наверное.

@mlippi80 · 12.09.2019, 09:55 **[ТС]**

Дело в том, что это не мой код а как раз из учебника и я так понимаю речь идёт именно об нем. И это пояснение вызвал мое непонимание, что за удаление перед завершением? В связи с чем происходит это удаление? Если я это напишу в коде или это может произойти автоматически вроде деструктора по умолчанию?

@oleg-m1973 · 12.09.2019, 10:13

Сообщение от mlippi80

Дело в том, что это не мой код а как раз из учебника и я так понимаю речь идёт именно об нем. И это пояснение вызвал мое непонимание, что за удаление перед завершением? В связи с чем происходит это удаление? Если я это напишу в коде или это может произойти автоматически вроде деструктора по умолчанию?

Нет, всё будет нормально.
Единственно, надо сказать, что это нифига не правильная реализация оператора копирования.
В частности - что будет если произойдёт исключение при ptr = new int[ size ]? Объект останется в неконсистентном состоянии, а так быть не должно. Аесли будет ошибка при копировании, то половина объектов станет пустыми, тоже плохо.
В случае ошибки исходный массив не должен изменяться.
Поэтому здесь надо сначала выделить память под новый массив, потом скопировать туда объекты, потом заменить и удалить старый
Вообще, такой оператор проще всего сделать через конструктор копирования

C++
1
2
3
4
5
6
Array &Array::operator=( const Array &right )
{
   if ( &right != this ) // avoid self-
       Array(right).swap(*this);
   return *this;
}

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@mlippi80 0 / 0 / 0 Регистрация: 31.05.2017 Сообщений: 74
	12.09.2019, 09:40 [ТС]
	Хорошо если в моем случае так. Тогда о каком случае идёт речь? 0

@mlippi80 0 / 0 / 0 Регистрация: 31.05.2017 Сообщений: 74
	12.09.2019, 09:47 [ТС]
	Нет это понятно что это и есть проверка на самоприсваивание. Вопрос не пойму где в какой момент operator удаляет динамическую память, причём написано перед завершением? Где это в коде? 0

@mlippi80 0 / 0 / 0 Регистрация: 31.05.2017 Сообщений: 74
	12.09.2019, 09:55 [ТС]
	Дело в том, что это не мой код а как раз из учебника и я так понимаю речь идёт именно об нем. И это пояснение вызвал мое непонимание, что за удаление перед завершением? В связи с чем происходит это удаление? Если я это напишу в коде или это может произойти автоматически вроде деструктора по умолчанию? 0

Проверка на самоприсваивание массива

Решение