Утечка памяти в реализованном(частично) классе Array

@Vasily Tyorkin · Регистрация: 04.07.2019

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

Всем ку! Имею код:

C++

#include <cstddef>
 
template <typename T>
class Array
{
    size_t _size;
        T *data;    
public:
    explicit Array(size_t size = 0, const T& value = T());
    Array(const Array<T> & other);
    Array& operator=(const Array<T>&);
    size_t size() const;
    T& operator[](size_t);
    const T& operator[](size_t) const;
    ~Array(){delete[] data;}
                                 
};
 
template <typename T>
Array<T>::Array(size_t size, const T& value):_size(size){
    if(size == 0) data = new T[size + 1];
    else{
    data = new T[size];
    for(int i = 0; i != size; ++i){
        data[i] = value;
       }
    }  
 }
 
template<typename T>
Array<T>::Array(const Array<T> & other){
        _size = other._size;
        this->data = new T[_size];
        for(int i = 0; i < _size; ++i){
          data[i] = other.data[i];
       }
  }
 
template<typename T>
size_t Array<T>:: size() const { return _size; }
 
template<typename T>
Array<T>& Array<T>::operator=(const Array<T>& other){
    if(this != &other){
        delete[] data;
        _size = other._size;
        this->data = new T[_size];
        if(_size == 0) data = 0;
        for(int i = 0; i < _size; ++i){
          data[i] = other.data[i];
           }
        }
        return *this;    
    }
 
template<typename T>
T& Array<T>::operator[](size_t i){ return data[i];}
 
template<typename T>
const T& Array<T>::operator[](size_t i) const { return data[i];}

Вроде как все работает, но после определенного теста(проверка на ресурсе Stepik) - выдает утечку памяти. Помогите понять при каком варианте может появляться такая трабла, и где поправить код.]

@_stanislav · 25.02.2021, 17:45

Сообщение от Vasily Tyorkin

Помогите понять при каком варианте может появляться такая трабла, и где поправить код.

C++

1 2	this->data = new T[_size]; if(_size == 0) data = 0;

Добавлено через 5 минут
Vasily Tyorkin, если копирующий конструктор реализован верно, то Герб Саттер рекомендует реализовать оператор присваивания через него.
Пример:

C++

Stack& operator = (const Stack& other)
{
    Stack temp(other); // Вся работа выполняется здесь
    Swap( temp );      // Здесь исключений не может быть
    return *this;
}

@Vasily Tyorkin · 25.02.2021, 18:03 **[ТС]**

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

C++

1 2	this->data = new T[_size]; if(_size == 0) data = 0;

Добавлено через 5 минут
Vasily Tyorkin, если копирующий конструктор реализован верно, то Герб Саттер рекомендует реализовать оператор присваивания через него.
Пример:

C++

Stack& operator = (const Stack& other)
{
    Stack temp(other); // Вся работа выполняется здесь
    Swap( temp );      // Здесь исключений не может быть
    return *this;
}

Если сделать так:

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

1
2
this->data = new T[_size];
if(_size == 0) data = 0;

то не проходит тест где
a[0] = b[1];

@_stanislav · 25.02.2021, 18:05

Сообщение от Vasily Tyorkin

this->data = new T[_size];
if(_size == 0) data = 0;

у тебя здесь потенциальная утечка.

@Vasily Tyorkin · 25.02.2021, 18:12 **[ТС]**

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

у тебя здесь потенциальная утечка.

Эта строчка была добавлена после проверки. Что-бы можно было выполнить условие написанное выше. Можно в расчет не брать.
Утечка была до этого.

@oleg-m1973 · 25.02.2021, 19:47

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

Vasily Tyorkin, если копирующий конструктор реализован верно, то Герб Саттер рекомендует реализовать оператор присваивания через него.
Пример:

C++

Stack& operator = (const Stack& other)
{
    if (&other != this)
         Stack(other).Swap(*this); // Вся работа выполняется здесь
 
    return *this;
}

@_stanislav · 25.02.2021, 19:56

Сообщение от oleg-m1973

Stack(other).Swap(*this);

это что типа намек что Swap должен быть реализован в Stack?

@oleg-m1973 · 25.02.2021, 19:58

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

это что типа намек что Swap должен быть реализован в Stack?

В смысле? А где он у тебя реализован?

@hoggy · 26.02.2021, 04:54

Сообщение от Vasily Tyorkin

выдает утечку памяти.

1. здесь потенциальная утечка:

Сообщение от Vasily Tyorkin

this->data = new T[_size];
if(_size == 0) data = 0;

2. здесь потенциальный баг:

Сообщение от Vasily Tyorkin

delete[] data;
_size = other._size;
this->data = new T[_size];

история болезни:
1. сначала ты удаляешь данные: delete[] data
2. теперь указатель указывает на чужую память.
3. далее ты выделяешь новый кусок памяти: this->data = new T[_size]
4. new кидает исключение.
5. data по прежнему указывает на чужую память.
6. объект класса впал в неконсистентное состояние.
7. его дальнейшая эксплуатация - UB.

так например, если дойдет до деструктора, тогда:

Сообщение от Vasily Tyorkin

delete[] data;

деструктор попытается грохнуть чужую память,

@Vasily Tyorkin · 26.02.2021, 13:58 **[ТС]**

Хех, всё оказалось довольно просто. Где указано поле data перед ним нужно добавить this->, то бишь this->data.

Это исправленный варик:

C++

#
include <cstddef>
 
template <typename T>
class Array
{
    size_t _size;
        T *data;    
public:
    explicit Array(size_t size = 0, const T& value = T());
    Array(const Array<T> & other);
    Array& operator=(const Array<T>&);
    size_t size() const;
    T& operator[](size_t);
    const T& operator[](size_t) const;
    ~Array(){delete[] data;}
                                 
};
 
template <typename T>
Array<T>::Array(size_t size, const T& value):_size(size){
    if(size == 0) data = new T[size + 1];
    else{
    this->data = new T[size];
    for(int i = 0; i != size; ++i){
        this->data[i] = value;
       }
    }  
 }
 
template<typename T>
Array<T>::Array(const Array<T> & other){
       
        this->data = new T[other._size];
        for(int i = 0; i < _size; ++i){
          this->data[i] = other.data[i];
       }
  }
 
template<typename T>
size_t Array<T>:: size() const { return _size; }
 
template<typename T>
Array<T>& Array<T>::operator=(const Array<T>& other){
    if(this != &other){
         delete[] this->data;
         this->data = new T[other._size];
        for(int i = 0; i < _size; ++i){
          this->data[i] = other.data[i];
           }
        }
        return *this;    
    }
 
template<typename T>
T& Array<T>::operator[](size_t i){ return data[i];}
 
template<typename T>
const T& Array<T>::operator[](size_t i) const { return data[i];}

И всё, задание прошло, никакой утечки.

if(this != &other){
delete[] this->data; это проверка на присваивание самому себе.

Всем спасибо, всем пока!

@_stanislav · 26.02.2021, 14:20

Сообщение от Vasily Tyorkin

delete[] this->data; это проверка на присваивание самому себе.

тебе же говорят, что если ты освободишь память, а new не хватит памяти для нового объекта и он вызовет исключение? освобождать старую память нужно после того как получишь новую, а то рискуешь оставить объект в корявом состоянии.

@Vasily Tyorkin · 26.02.2021, 14:31 **[ТС]**

Я понял, спасибо, тогда задание малость некорректное получается, или просто опустили этот момент в проверке решения.

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,884 Записей в блоге: 1
	26.02.2021, 14:20	11
	Сообщение от Vasily Tyorkin delete[] this->data; это проверка на присваивание самому себе. тебе же говорят, что если ты освободишь память, а `new` не хватит памяти для нового объекта и он вызовет исключение? освобождать старую память нужно после того как получишь новую, а то рискуешь оставить объект в корявом состоянии. 1

Новые блоги и статьи
Как написать микросервис с нуля на C# InfoMaster 14.01.2025 В современном мире разработки программного обеспечения микросервисная архитектура стала стандартом де-факто для создания масштабируемых и гибких приложений. Этот архитектурный подход предполагает. . .	Как создать интернет-магазин на PHP и JavaScript InfoMaster 14.01.2025 В современном мире электронная коммерция стала неотъемлемой частью бизнеса. Создание собственного интернет-магазина открывает широкие возможности для предпринимателей, позволяя достичь большей. . .	Как написать Тетрис на Ассемблере InfoMaster 14.01.2025 Тетрис – одна из самых узнаваемых и популярных компьютерных игр, созданная в 1984 году советским программистом Алексеем Пажитновым. За прошедшие десятилетия она завоевала симпатии миллионы людей по. . .	Как создать игру "Танчики" на Unity3d и C# InfoMaster 14.01.2025 Разработка игр – это увлекательный процесс, сочетающий в себе творчество и технические навыки. В этой статье мы рассмотрим создание классической игры "Танчики" с использованием Unity3D и языка. . .	Организую платный онлайн микро-курс по доработке Android-клиента Telegram _Ivana 14.01.2025 Официальная версия и распространенные форки не полностью устраивают? Сделай свою кастомную версию клиента! 4 занятия по 2 часа (2 недели пн, ср 19:00-21:00 по Москве). Первое вводное занятие. . .	Как создать приложение для фитнеса для iOS/iPhone на Kotlin InfoMaster 14.01.2025 Создание собственного фитнес-приложения — это не только захватывающий, но и полезный процесс, ведь оно может стать вашим верным помощником на пути к здоровому и активному образу жизни. В современных. . .
Как создать приложение магазина для iOS/iPhone на Swift InfoMaster 14.01.2025 Введение в разработку iOS-приложений Разработка приложений для iPhone и других устройств на базе iOS открывает огромные возможности для создания инновационных мобильных решений. В данной статье мы. . .	Это работает. Скорость асинхронной логики велика. Вопрос видимо останется в стабильности. Плата - огонь! Hrethgir 13.01.2025 По прошлому проекту в Logisim Evolution https:/ / www. cyberforum. ru/ blogs/ 223907/ blog8781. html прилагаю файл архива проекта Gowin Eda и снимок. Восьмибитный счётчик из сумматора+ генератор сигнала. . .	UserScript для подсветки кнопок языков программирования в зависимости от текущего раздела volvo 13.01.2025 В результате работы этого скрипта подсвечиваются нужные кнопки не только в форме быстрого ответа, но и при редактировании сообщения: / / ==UserScript== / / @name CF_DefaultLangSelect / / . . .	Введение в модели и алгоритмы машинного обучения InfoMaster 12.01.2025 Машинное обучение представляет собой одну из наиболее динамично развивающихся областей искусственного интеллекта, которая фокусируется на разработке алгоритмов и методов, позволяющих компьютерам. . .	Как на Python создать нейросеть для решения задач InfoMaster 12.01.2025 В контексте стремительного развития современных технологий особое внимание уделяется таким инструментам, как нейросети. Эти структуры, вдохновленные биологическими нейронными сетями, используются для. . .	Как создать нейросеть для генерации картинок на Python InfoMaster 12.01.2025 Генерация изображений с помощью искусственных нейронных сетей стала одним из наиболее захватывающих направлений в области компьютерного зрения и машинного обучения. В этой статье мы рассмотрим. . .

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,884 Записей в блоге: 1
	25.02.2021, 18:05	4
	Сообщение от Vasily Tyorkin this->data = new T[_size]; if(_size == 0) data = 0; у тебя здесь потенциальная утечка. 0

@Vasily Tyorkin 0 / 0 / 0 Регистрация: 04.07.2019 Сообщений: 38
	25.02.2021, 18:12 [ТС]	5
	Сообщение от _stanislav у тебя здесь потенциальная утечка. Эта строчка была добавлена после проверки. Что-бы можно было выполнить условие написанное выше. Можно в расчет не брать. Утечка была до этого. 0

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,884 Записей в блоге: 1
	25.02.2021, 19:56	7
	Сообщение от oleg-m1973 Stack(other).Swap(*this); это что типа намек что `Swap` должен быть реализован в `Stack`? 0

@oleg-m1973 6770 / 4564 / 1843 Регистрация: 07.05.2019 Сообщений: 13,726
	25.02.2021, 19:58	8
	Сообщение от _stanislav это что типа намек что Swap должен быть реализован в Stack? В смысле? А где он у тебя реализован? 0

@hoggy 8972 / 4318 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	26.02.2021, 04:54	9
	Сообщение от Vasily Tyorkin выдает утечку памяти. 1. здесь потенциальная утечка: Сообщение от Vasily Tyorkin this->data = new T[_size]; if(_size == 0) data = 0; 2. здесь потенциальный баг: Сообщение от Vasily Tyorkin delete[] data; _size = other._size; this->data = new T[_size]; история болезни: 1. сначала ты удаляешь данные: `delete[] data` 2. теперь указатель указывает на чужую память. 3. далее ты выделяешь новый кусок памяти: `this->data = new T[_size]` 4. new кидает исключение. 5. data по прежнему указывает на чужую память. 6. объект класса впал в неконсистентное состояние. 7. его дальнейшая эксплуатация - UB. так например, если дойдет до деструктора, тогда: Сообщение от Vasily Tyorkin delete[] data; деструктор попытается грохнуть чужую память, 0

@Vasily Tyorkin 0 / 0 / 0 Регистрация: 04.07.2019 Сообщений: 38
	26.02.2021, 14:31 [ТС]	12
	Я понял, спасибо, тогда задание малость некорректное получается, или просто опустили этот момент в проверке решения. 0