Форум программистов, компьютерный форум CyberForum.ru
Наши страницы

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
rikimaru2013
C++ Game Dev
2435 / 1129 / 240
Регистрация: 30.11.2013
Сообщений: 3,686
#1

Сырой указатель на память выделенную через new[] - C++

24.04.2016, 20:30. Просмотров 448. Ответов 13
Метки нет (Все метки)

Добрый вечер,

подскажите правильную перегрузку для указателя на память выделенную через new[]

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
using namespace std;
 
template <typename T>
void safe_delete(T*& pointer)
{
    delete pointer;
    pointer = 0;
}
int main()
{
    auto ptr = new float;
    auto arr = new float[4];
 
    safe_delete(ptr);   
    safe_delete(arr);   
}
0
Лучшие ответы (1)
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
24.04.2016, 20:30
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Сырой указатель на память выделенную через new[] (C++):

Как правильно удалять выделенную память под указатель на указатель? - C++
есть код #include &lt;iostream&gt; #include &lt;conio.h&gt; #include &lt;stdlib.h&gt; #include &lt;time.h&gt; using namespace std; void sort_1(const...

Запись в динамически выделенную память - C++
Во общем, в dll выделяется память под char *, через new. Требуется в другой программе в которой я подключаю эту дллку переписать эти данные...

Удалить динамически выделенную память - C++
Получится ли освободить динамически выделенную память в интерфейсе одного класса, в интерфейсе другого класса, с условием что я использую...

Функция, принимающая указатель и число байт и выделяющая память под указатель - C++
Здравствуйте. Задача легкая, но почему-то завис Нужно написать функцию, принимающую указатель и число байт и выделяющую память под...

Нужно ли очищать память, выделенную под вектор? - C++
Доброго времени суток. При работе с динамическими массивами всегда чистил память оператором delete. Нужно ли делать тоже самое с векторами,...

Как и когда правильно освобождать динамически выделенную память? - C++
Доброго времени суток! Задалась вопросом, заданным в заголовке темы &quot;Как и когда правильно освобождать динамически выделенную...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
IGPIGP
Комп_Оратор)
Эксперт по математике/физике
6467 / 3115 / 306
Регистрация: 04.12.2011
Сообщений: 8,590
Записей в блоге: 4
24.04.2016, 22:57 #2
rikimaru2013, а почему отдельный safe_delete_array<T>(T*) не написать. В стандартном подходе ведь delete и delete[] отличаются не зря? И зачем указатель по ссылке передавать? Чтобы освободить память достаточно адреса и следовательно, вполне достаточно значения?
0
rikimaru2013
C++ Game Dev
2435 / 1129 / 240
Регистрация: 30.11.2013
Сообщений: 3,686
24.04.2016, 23:02  [ТС] #3
IGPIGP, ну вы всё упрощаете)))) Это задачка - а как у любой задачи - всегда ставят в рамки, и надо используя голову и синтаксис языка сделать конфетку)
0
IGPIGP
Комп_Оратор)
Эксперт по математике/физике
6467 / 3115 / 306
Регистрация: 04.12.2011
Сообщений: 8,590
Записей в блоге: 4
24.04.2016, 23:13 #4
Лучший ответ Сообщение было отмечено автором темы, экспертом или модератором как ответ
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Это задачка
Недавно обсуждался вопрос о том, можно ли получив указатель определить сколько памяти выделено по нему.
Вот ответ TheCalligrapher:
Можно ли обойти динамический массив не зная его размер?
Дело в том, что если Вы знаете, что деструктор нетривиален, то Вы уже знаете более чем достаточно. В чём смысл такого шаблона, если Вы знаете что ему можно передать, а что нельзя? Почти всю работу придётся делать головой. Впрочем оно так и есть в настоящее время, но зато хоть без шаблонов.
Я понимаю, если бы Ваш шаблон сам выяснял а показывает ли указатель в начало динамически выделенного блока или он на стек указывает. И сам размер узнавал. А иначе, что он будет делать?
rikimaru2013, Вы же активно участвовали в той теме?
И, - да, указатель по ссылке зачем?
2
rikimaru2013
C++ Game Dev
2435 / 1129 / 240
Регистрация: 30.11.2013
Сообщений: 3,686
24.04.2016, 23:20  [ТС] #5
IGPIGP, просто задачка попалась и не могу допереть) умные же указатели при инициализации передают , что указатель для delete[] - думал и тут элегантное решение. Размер то не нужен - главное решить delete или delete []. Получается задачка-капкан - ответа нет?)
0
IGPIGP
Комп_Оратор)
Эксперт по математике/физике
6467 / 3115 / 306
Регистрация: 04.12.2011
Сообщений: 8,590
Записей в блоге: 4
24.04.2016, 23:24 #6
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Получается задачка-капкан - ответа нет
Если сырые указатели иметь ввиду то да. Не зря же мы столько говорили.
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
умные же указатели при инициализации передают , что указатель для delete[]
Дык они же и выделяют не как сырые. Под сырыми я понимаю не обёрнутые/не жареные/не паренные/не варёные низкоуровневые указатели объявляемые для типа T как T*
1
Lawliet1
29 / 32 / 11
Регистрация: 30.09.2011
Сообщений: 202
Завершенные тесты: 1
24.04.2016, 23:25 #7
??? умные указатели доперают??? нет....
unique_ptr - помогать надо указывать массив в нем или нет
shared_ptr - если массив, то нужно прикручивать свой деструктор
1
Fulcrum_013
718 / 743 / 73
Регистрация: 14.12.2014
Сообщений: 5,841
Завершенные тесты: 3
24.04.2016, 23:28 #8
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Получается задачка-капкан - ответа нет?)
Элегантный ответ может быть только в толковом менеджере кучи, которому delete или delete[] без разницы, вернее определяет сам по своим таблицам, что бы там ему не вызвали.
1
rikimaru2013
C++ Game Dev
2435 / 1129 / 240
Регистрация: 30.11.2013
Сообщений: 3,686
24.04.2016, 23:31  [ТС] #9
Цитата Сообщение от Fulcrum_013 Посмотреть сообщение
вернее определяет сам по своим таблицам
но выделяя через new T или new T[n] мы все равно получим тип T* и придется ЯВНО указывать, что мы там выделяем - так почему сразу в этой задачке не применить?)
0
IGPIGP
Комп_Оратор)
Эксперт по математике/физике
6467 / 3115 / 306
Регистрация: 04.12.2011
Сообщений: 8,590
Записей в блоге: 4
24.04.2016, 23:38 #10
rikimaru2013, гляньте на вот это "художество":
Реализовать пользовательский класс "Smartpointer"
ни о какой скорости и надёжности тут речи нет. Просто спортивный интерес.
1
tapochka
40 / 40 / 8
Регистрация: 25.04.2014
Сообщений: 499
25.04.2016, 00:20 #11
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
подскажите правильную перегрузку для указателя на память выделенную через new[]
как-то так
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
template<typename T,
         typename std::enable_if<std::rank<T>::value ==0 >::type>
void safe_delete(T* ptr) {
    delete ptr;
}
 
template<typename T>
void safe_delete(T* ptr) {
    delete[] ptr;
}
 
int main() {
auto afa = new int;
    safe_delete<int>(afa);
    auto affa = new int[5];
    safe_delete<int>(afa);
}
хотя не... там оба раза вторая вызывается

Добавлено через 8 минут
теперь мне интересно: что не так?)

Добавлено через 3 минуты
а... у нас же тип Т то всегда тупо int а не int[]
0
Lawliet1
29 / 32 / 11
Регистрация: 30.09.2011
Сообщений: 202
Завершенные тесты: 1
04.05.2016, 23:26 #12
rikimaru2013,
можно так:
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
#include <iostream>
 
//========================================
 
template <typename T>
void safe_deleter (T*& ptr)
{
    std::cout << _msize(ptr) << " " << sizeof(T) << std::endl;
 
    if (_msize(ptr) > sizeof(T))
    {
        delete[] ptr;
        std::cout << "A\n";
    }
    else
    {
        delete ptr;
        std::cout << "B\n";
    }
}
 
//========================================
 
int main()
{
    auto i1 = new int[10];
    auto i2 = new int;
    auto ch1 = new char[20];
    auto ch2 = new char;
 
    safe_deleter(i1);
    safe_deleter(i2);
    safe_deleter(ch1);
    safe_deleter(ch2);
    
    return 0;
}
но на самом деле это не панацея, так как _msize() предназначена для работы с malloc, calloc и realloc и в итоге safe_deleter оказывается не таким уж и безопасным)))) хотя в этой конкретно программе (да и в подобных простеньких) работает нормально, кажется...
1
Croessmah
Эксперт CЭксперт С++
13214 / 7485 / 842
Регистрация: 27.09.2012
Сообщений: 18,402
Записей в блоге: 3
Завершенные тесты: 1
05.05.2016, 06:09 #13
Цитата Сообщение от Lawliet1 Посмотреть сообщение
так как _msize() предназначена для работы с malloc, calloc и realloc
а еще это не стандартная функция, а расширение,
которое может отсутствовать на целевом компиляторе.
1
DrOffset
7141 / 4282 / 965
Регистрация: 30.01.2014
Сообщений: 7,084
06.05.2016, 17:09 #14
rikimaru2013, tapochka,
Когда-то давно делал лабораторного уродца, на основе существования т.н. типа "массив с неизвестной размерностью". Основа идеи в том, что функция освобождения памяти будет лезть в дополнительное меcто за динамической размерностью, только в том, случае, если статический тип указателя, который ей передали, является указателем на "массив с неизвестной размерностью" (array of unknown bound), в случае же, если статический тип массива имеет размерность, то информация о количестве вызовов деструкторов берется из него. При этом конечно достигается унификация вызова функции освобождения памяти, т.к. по нашему контракту обычный указатель теперь может указывать только на единичный объект, а массив всегда представляется указателем на массив с отсутствующей или заданной статически размерностью.
Для всего этого конечно нужна и своя версия new.
Код, естественно, чисто экспериментальный. Я не несу ответственность за его неправильное или неуместное применение.
Кликните здесь для просмотра всего текста
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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
#include <iostream>
#include <utility>
#include <cstring>
#include <stdexcept>
 
#define C_DEBUG std::cout << " " << __PRETTY_FUNCTION__ << std::endl;
//
template <typename T>
struct destroy_array_magic
{
    static void destroy(T & v, std::size_t = 0)
    {
        v.~T();
    }
};
template <typename T>
struct destroy_array_magic<T[]>
{
    static void destroy(T * arr, std::size_t n)
    {
        while(n --> 0)
            destroy_array_magic<T>::destroy(arr[n]);
    }
};
template <typename T, std::size_t N>
struct destroy_array_magic<T[N]>
{
    static void destroy(T (& arr)[N], std::size_t n = N)
    {
        destroy_array_magic<T[]>::destroy(arr, n);
    }
};
//
template <typename T>
struct construct_array_magic
{
    template <typename ...Args>
    static void construct(T & v, std::size_t &, Args && ...args)
    {
        ::new(&v) T(std::forward<Args>(args)...);
    }
};
template <typename T>
struct construct_array_magic<T[]>
{
    template <typename ...Args>
    static void construct(T * arr, std::size_t & i, std::size_t n, Args && ...args)
    {
        std::size_t d;
        for(i = 0; i < n; ++i)
        {
            construct_array_magic<T>::construct(arr[i], d, args...);
        }
    }
};
template <typename T, std::size_t N>
struct construct_array_magic<T[N]>
{
    template <typename ...Args>
    static void construct(T (& arr)[N], std::size_t & i, Args && ...args)
    {
        construct_array_magic<T[]>::construct(arr, i, N, args...);
    }
};
//
template <typename T>
struct is_array_of_unknown_bound
{ enum { value = false }; };
template <typename T>
struct is_array_of_unknown_bound<T[]>
{ enum { value = true  }; };
//
template <typename T>
typename std::enable_if<
        (is_array_of_unknown_bound<T>::value)
    >::type static_delete(T * p)
{
    if(p)
    {
        std::size_t n;
        void * raw = reinterpret_cast<char *>(p) - sizeof(n);
        std::memcpy(&n, raw, sizeof(n));
        destroy_array_magic<T>::destroy(*p, n);
        ::operator delete(raw);
    }
}
template <typename T>
typename std::enable_if<
        (!is_array_of_unknown_bound<T>::value)
    >::type static_delete(T * p)
{
    if(p)
    {
        destroy_array_magic<T>::destroy(*p);
        ::operator delete(p);
    }
}
 
template <typename T, typename ...Args>
typename std::enable_if<
        (!is_array_of_unknown_bound<T>::value), T
    >::type * static_new(Args && ...args)
{
    void * mem = ::operator new(sizeof(T));
    T * pv = static_cast<T *>(mem);
    std::size_t i;
    try
    {
        construct_array_magic<T>::construct(*pv, i, args...);
    }
    catch(...)
    {
        destroy_array_magic<T>::destroy(*pv, i);
        throw;
    }
    return pv;
}
 
template <typename T, typename ...Args>
typename std::enable_if<
        (is_array_of_unknown_bound<T>::value), T
    >::type * static_new(std::size_t n, Args && ...args)
{
    std::size_t const bytes = sizeof(typename std::remove_extent<T>::type) * n + sizeof(n);
 
    void * mem = ::operator new(bytes);
    std::memcpy(mem, &n, sizeof(n));
    T * pv = reinterpret_cast<T *>(static_cast<char *>(mem) + sizeof(n));
    size_t i;
    try
    {
        construct_array_magic<T>::construct(*pv, i, n, args...);
    }
    catch(...)
    {
        destroy_array_magic<T>::destroy(*pv, i);
        throw;
    }
    return pv;
}
 
int chk = 0;
 
struct A
{
    A()        { C_DEBUG }
    A(int)     { C_DEBUG }
    A(double) : c(++chk) { C_DEBUG if(c == 3) throw std::runtime_error("test!"); }
    ~A() { C_DEBUG }
 
public:
    int c;
};
 
int main()
{
    std::cout << "> static_new<A[]>(2):\n";
    A (*a)[] = static_new<A[]>(2);          // array of 2 with default initializer
    static_delete(a);
    std::cout << "> static_new<A[3]>():\n";
    A (*b)[3] = static_new<A[3]>();         // statically typed array of 3 with default initializer
    static_delete(b);
    std::cout << "> static_new<A[][2]>(2):\n";
    A (*c)[][2] = static_new<A[][2]>(2);    // array 2x2 with with default initializer
    static_delete(c);
    std::cout << "> static_new<A>():\n";
    A * d = static_new<A>();                // single object
    static_delete(d);
    std::cout << "> static_new<A[2][2]>():\n";
    A (*e)[2][2] = static_new<A[2][2]>();   // statically typed array 2x2 with default initializer
    static_delete(e);
    std::cout << "> static_new<A[2][2]>(1):\n";
    A (*g)[2][2] = static_new<A[2][2]>(1);  // statically typed array 2x2 with initializer
    static_delete(g);
    std::cout << "> static_new<A[][2]>(2, 1):\n";
    A (*h)[][2] = static_new<A[][2]>(2, 1); // array 2x2 with initializer
    static_delete(h);
 
    //A (*f)[][] = static_new<A[][]>(2); // ERROR (as intended)
 
    try
    {
        chk = 0;
        std::cout << "> static_new<A[][2]>(2, 1.2):\n";
        A (*h1)[][2] = static_new<A[][2]>(2, 1.2); // array 2x2 with initializer (exception testing)
        static_delete(h1);
    }
    catch(std::exception const & e)
    {
        std::cout << e.what() << std::endl;
    }
 
    try
    {
        chk = 0;
        std::cout << "> static_new<A[2][2]>(1.2):\n";
        A (*h2)[2][2] = static_new<A[2][2]>(1.2); // statically typed array 2x2 with initializer (exception testing)
        static_delete(h2);
    }
    catch(std::exception const & e)
    {
        std::cout << e.what() << std::endl;
    }
    
    std::cout << "> static_new<A>(1.2):\n";
    A * h4 = static_new<A>(1.2); // single object with initializer
    static_delete(h4);
}
Онлайн демо: http://rextester.com/DYH45476
2
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
06.05.2016, 17:09
Привет! Вот еще темы с ответами:

Как и где удалить память, выделенную внутри функции? - C++
#include &lt;conio.h&gt; #include &lt;iostream&gt; #include &lt;cmath&gt; #include &lt;cstring&gt; using namespace std; struct stringy{ char*str;...

Очистить динамическую память, выделенную под член структуры - C++
Объявление и инициализация объекта: pupil B = Constructor(&quot;MyName&quot;, 18, 50); Сама структура: struct pupil{ public: char *name =...

Не могу удалить динамически выделенную память под массив - C++
Здравствуйте. Изучил сегодня динамическое выделение памяти и не могу ее удалить. Подскажите где ошибка и, если возможно, объясните почему...

Почему не очищает память, выделенную под массив структур - C++
#include &lt;cstdlib&gt; #include &lt;iostream&gt; using namespace std; const int ar_size=20; struct CandyBar { char name; double...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
Yandex
Объявления
06.05.2016, 17:09
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru