Какая разница между delete и delete[]

@MJ_PRUTYG · Регистрация: 28.11.2018

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

Нашел информацию на разных сайтах и всё равно остались вопросы.
Я понимаю, что delete используется для удаления одиночных объектов и вызывает только один деструктор(например), а delete[] для большого кол-ва элементов и вызывает ВСЕ деструкторы этих элементов.

Но я вот реализую класс смарт_поинтеров самостоятельно, чтобы лучше разобраться и непонятен один момент: просто как различить когда мне передали указатель на массив, а когда передали указатель на один объект(без передачи доп. параметров)?

То, что уже есть:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
template<class T>
class ptr {
private:
    T *p;
public:
    ptr() {
        p = NULL;
    }
    ptr(const ptr &pt) = delete;
    ptr(T *pt) {
        cout << "Copy-constructor \n";
        p = pt;
    }
    ptr& operator=(T *pt) {
        cout << "Operator equal = \n";
 
    }
    ~ptr() {
        delete[] p;
        p = NULL;
    }
};
 
int main() {
    ptr<char> a = new char;
    
    return 0;
}

@Azazel-San · 27.06.2019, 14:48

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

C++
1
new char

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

C++
1
delete[] p

Это UB.
Цитата из стандарта

In the first alternative (delete object), the value of the operand of delete shall be a pointer to a non-array object or a pointer to a sub-object representing a base class of such an object. If not, the behavior is undefined.

In the second alternative (delete array), the value of the operand of delete shall be the pointer value which resulted from a previous array new-expression. If not, the behavior is undefined.

Если на пальцах то, delete используется для удаления одного объекта, а delete[] используется для удаления массива объектов. Вы вызываете delete[] при выделении new[], в противном случае вы вызываете просто delete.

@DrOffset · 27.06.2019, 15:01

MJ_PRUTYG, сделайте специализацию вашего шаблона для массивов и в ней используйте delete[]

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
template<class T>
class ptr<T[]> {
private:
    T *p;
 
///..........
    void reset(T *pt = nullptr)
    {
        delete[] p;
        p = pt;
    }
};
 
int main() {
    ptr<char[]> a( new char[10] );
    
    return 0;
}

@MJ_PRUTYG · 27.06.2019, 15:14 **[ТС]**

DrOffset, ааа, ага, я понял, то что нужно - спасибо!

@eva2326 · 27.06.2019, 15:14

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

как различить когда мне передали указатель на массив, а когда передали указатель на один объект(без передачи доп. параметров)?

Никак ))

@MJ_PRUTYG · 27.06.2019, 15:16 **[ТС]**

DrOffset, подождите, а что означает запись class ptr<T[]>{...}, что это за <T[]>??? Никогда такого не встречал
И, кстати при такой записи компилятор ошибку выдает...

@DrOffset · 27.06.2019, 15:23

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

что это за <T[]>??? Никогда такого не встречал

Специализация для массива неизвестного размера с элементами типа T.

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

И, кстати при такой записи компилятор ошибку выдает...

Значит вы что-то не так делаете

Вы основной-то шаблон оставили, надеюсь?

Что вы будете специализировать, если основной шаблон убрали?

@Krokodil9798 · 27.06.2019, 15:24

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

что это за <T[]>???

MJ_PRUTYG, Это массив элементов какого-то типа!!!

@DrOffset · 27.06.2019, 15:29

MJ_PRUTYG, не смотреть, если нужно (а нужно обязательно) разобраться самостоятельно.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
#include <iostream>
 
template<class T>
class ptr {
private:
    T * p;
public:
    using ptr_type = T;
    
    ptr() : p(nullptr) {
    }
    ptr(const ptr &pt) = delete;
    
    ptr(ptr_type *pt) : p(pt)  {
    }
    ptr & operator=(ptr_type *pt) {
        reset(pt);
        return*this;
    }
    void reset(ptr_type *pt = nullptr) {
        std::cout << "delete" << std::endl;
        delete p;
        p = pt;
    }
    ~ptr() {
        reset();
    }
};
 
template<class T>
class ptr<T[]> {
private:
    T * p;
public:
    using ptr_type = T;
    
    ptr() : p(nullptr) {
    }
    ptr(const ptr &pt) = delete;
    
    ptr(ptr_type *pt) : p(pt)  {
    }
    ptr & operator=(ptr_type *pt) {
        reset(pt);
        return*this;
    }
    void reset(ptr_type *pt = nullptr) {
        std::cout << "delete[]" << std::endl; 
        delete[] p;
        p = pt;
    }
    ~ptr() {
        reset();
    }
};
 
 
int main() {
    ptr<char> a( new char );
    ptr<char[]> b( new char[10] );
 
}

https://rextester.com/LHAB84513

Дальше можно задаться вопросом как сделать так, чтобы не дублировать одинаковые функции в двух специализациях.
Домашнее задание вам.

@MJ_PRUTYG · 27.06.2019, 15:34 **[ТС]**

DrOffset, понял, буду разбираться

Спасибо большое!

Verevkin · 27.06.2019, 15:34

C++
1
delete [] x; // освобождение памяти из-под динамического массива

@MJ_PRUTYG · 27.06.2019, 15:50 **[ТС]**

DrOffset, некоторые моменты вашего кода, для меня - гениальны! Например с тем же деструктором и обращением к функции reset - это так легко, так просто и так элементарно, но я бы не додумался

Короче, разобрался со всем кодом(спасибо за него еще раз), кроме одного момента: почему я не могу "выкинуть" class ptr{...} и оставить class ptr<T[]>{...} - выдает ошибку, но почему???? Пытался искать в гугле, ничего не нашел, да и не знаю даже, как сформулировать вопрос...

@DrOffset · 27.06.2019, 16:23

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

очему я не могу "выкинуть" class ptr{...} и оставить class ptr<T[]>{...} - выдает ошибку, но почему????

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

Добавлено через 20 минут
MJ_PRUTYG, без дублирования кода и с возможностью расширения на другие варианты освобождения памяти (например память из пула).
Сначала сам придумать решение пробуйте, не подсматривайте (а то так не интересно будет). Мой вариант не единственный.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
#include <iostream>
 
// Базовый шаблон принимает тип указателя и стратегию освобождения памяти - Deleter
template <typename T, typename Deleter>
class ptr_base
{
public:
    using ptr_type = T;
    
    ptr_base(ptr_type *pt = nullptr) : p(pt) { 
    }
    void reset(ptr_type *pt = nullptr) {
        Deleter()(p);
        p = pt;
    }
    ptr_base & operator=(ptr_type *pt) {
        reset(pt);
        return*this;
    }
    ~ptr_base() {
        reset();
    }
    T * operator->() {
        return p;
    }
    const T * operator->() const {
        return p;
    }    
    T * get() {
        return p;
    }
    const T * get() const {
        return p;
    }
    T & operator*() {
        return *p;
    }
    const T & operator*() const {
        return *p;
    }        
    
    ptr_base(const ptr_base &pt) = delete;
    ptr_base & operator=(const ptr_base &pt) = delete;
    
private:
    T * p;
};
//=============================
struct DefaultDelete // Стратегия освобождения "по-умолчанию"
{
    template <typename T>
    void operator()(T * p) noexcept { 
       delete p;   
    }
};
struct ArrayDelete // Стратегия освобождения массива
{
    template <typename T>
    void operator()(T * p) noexcept { 
       delete[] p; 
    }
};
 
// Общий случай
template <class T>
class ptr : public ptr_base<T, DefaultDelete> {
    
    using base = ptr_base<T, DefaultDelete>;
public:
    using base::base;
};
 
// Частный случай для массивов
template <class T>
class ptr<T[]> : public ptr_base<T, ArrayDelete> {
    
    using base = ptr_base<T, ArrayDelete>;
public:
    using base::base;
    
    // Эти два метода характерны только для массива
    T & operator[](std::size_t idx) {
        return base::get()[idx];
    }
    const T & operator[](std::size_t idx) const {
        return base::get()[idx];
    }        
};
//=============================
 
int main() {
    ptr<char> a( new char );
    
    *a = 'x';
    
    std::cout << *a << std::endl;
    
    ptr<char[]> b( new char[10] );
    
    b[0] = 'a';
    b[1] = 'b';
    b[2] = 'c';
    b[3] = '\0';
    
    std::cout << b.get();
}

https://rextester.com/PXIJ21063

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@MJ_PRUTYG 3 / 3 / 0 Регистрация: 28.11.2018 Сообщений: 242
	27.06.2019, 15:14 [ТС]
	DrOffset, ааа, ага, я понял, то что нужно - спасибо! 0

@MJ_PRUTYG 3 / 3 / 0 Регистрация: 28.11.2018 Сообщений: 242
	27.06.2019, 15:16 [ТС]
	DrOffset, подождите, а что означает запись class ptr<T[]>{...}, что это за <T[]>??? Никогда такого не встречал И, кстати при такой записи компилятор ошибку выдает... 0

@MJ_PRUTYG 3 / 3 / 0 Регистрация: 28.11.2018 Сообщений: 242
	27.06.2019, 15:34 [ТС]
	DrOffset, понял, буду разбираться Спасибо большое! 0

@MJ_PRUTYG 3 / 3 / 0 Регистрация: 28.11.2018 Сообщений: 242
	27.06.2019, 15:50 [ТС]
	DrOffset, некоторые моменты вашего кода, для меня - гениальны! Например с тем же деструктором и обращением к функции reset - это так легко, так просто и так элементарно, но я бы не додумался Короче, разобрался со всем кодом(спасибо за него еще раз), кроме одного момента: почему я не могу "выкинуть" class ptr{...} и оставить class ptr<T[]>{...} - выдает ошибку, но почему???? Пытался искать в гугле, ничего не нашел, да и не знаю даже, как сформулировать вопрос... 0

Какая разница между delete и delete[]

Решение