Какая разница между 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

Новые блоги и статьи Все статьи Все блоги /
Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .
Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .

@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[]

Решение