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

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

Войти
Регистрация
Восстановить пароль
 
rikimaru2013
C++ Game Dev
 Аватар для rikimaru2013
2302 / 1018 / 232
Регистрация: 30.11.2013
Сообщений: 3,374
#1

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

24.04.2016, 20:30. Просмотров 380. Ответов 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);   
}
Лучшие ответы (1)
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
24.04.2016, 20:30     Сырой указатель на память выделенную через new[]
Посмотрите здесь:

Проверка выделена ли память под указатель C++
C++ Удалить динамически выделенную память
Составить описание класса одномерных массивов строк, каждая строка задается длиной и указателем на выделенную для нее память C++
C++ Не могу удалить динамически выделенную память под массив
Запись в динамически выделенную память C++
C++ Как в выделенную память записать поочередно число int, массив char[n], и еще число int
Очистить динамическую память, выделенную под член структуры C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
IGPIGP
Комп_Оратор)
 Аватар для IGPIGP
6345 / 2992 / 294
Регистрация: 04.12.2011
Сообщений: 8,026
Записей в блоге: 3
24.04.2016, 22:57     Сырой указатель на память выделенную через new[] #2
rikimaru2013, а почему отдельный safe_delete_array<T>(T*) не написать. В стандартном подходе ведь delete и delete[] отличаются не зря? И зачем указатель по ссылке передавать? Чтобы освободить память достаточно адреса и следовательно, вполне достаточно значения?
rikimaru2013
C++ Game Dev
 Аватар для rikimaru2013
2302 / 1018 / 232
Регистрация: 30.11.2013
Сообщений: 3,374
24.04.2016, 23:02  [ТС]     Сырой указатель на память выделенную через new[] #3
IGPIGP, ну вы всё упрощаете)))) Это задачка - а как у любой задачи - всегда ставят в рамки, и надо используя голову и синтаксис языка сделать конфетку)
IGPIGP
Комп_Оратор)
 Аватар для IGPIGP
6345 / 2992 / 294
Регистрация: 04.12.2011
Сообщений: 8,026
Записей в блоге: 3
24.04.2016, 23:13     Сырой указатель на память выделенную через new[] #4
Сообщение было отмечено автором темы, экспертом или модератором как ответ
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Это задачка
Недавно обсуждался вопрос о том, можно ли получив указатель определить сколько памяти выделено по нему.
Вот ответ TheCalligrapher:
Можно ли обойти динамический массив не зная его размер?
Дело в том, что если Вы знаете, что деструктор нетривиален, то Вы уже знаете более чем достаточно. В чём смысл такого шаблона, если Вы знаете что ему можно передать, а что нельзя? Почти всю работу придётся делать головой. Впрочем оно так и есть в настоящее время, но зато хоть без шаблонов.
Я понимаю, если бы Ваш шаблон сам выяснял а показывает ли указатель в начало динамически выделенного блока или он на стек указывает. И сам размер узнавал. А иначе, что он будет делать?
rikimaru2013, Вы же активно участвовали в той теме?
И, - да, указатель по ссылке зачем?
rikimaru2013
C++ Game Dev
 Аватар для rikimaru2013
2302 / 1018 / 232
Регистрация: 30.11.2013
Сообщений: 3,374
24.04.2016, 23:20  [ТС]     Сырой указатель на память выделенную через new[] #5
IGPIGP, просто задачка попалась и не могу допереть) умные же указатели при инициализации передают , что указатель для delete[] - думал и тут элегантное решение. Размер то не нужен - главное решить delete или delete []. Получается задачка-капкан - ответа нет?)
IGPIGP
Комп_Оратор)
 Аватар для IGPIGP
6345 / 2992 / 294
Регистрация: 04.12.2011
Сообщений: 8,026
Записей в блоге: 3
24.04.2016, 23:24     Сырой указатель на память выделенную через new[] #6
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Получается задачка-капкан - ответа нет
Если сырые указатели иметь ввиду то да. Не зря же мы столько говорили.
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
умные же указатели при инициализации передают , что указатель для delete[]
Дык они же и выделяют не как сырые. Под сырыми я понимаю не обёрнутые/не жареные/не паренные/не варёные низкоуровневые указатели объявляемые для типа T как T*
Lawliet1
29 / 32 / 11
Регистрация: 30.09.2011
Сообщений: 202
Завершенные тесты: 1
24.04.2016, 23:25     Сырой указатель на память выделенную через new[] #7
??? умные указатели доперают??? нет....
unique_ptr - помогать надо указывать массив в нем или нет
shared_ptr - если массив, то нужно прикручивать свой деструктор
Fulcrum_013
 Аватар для Fulcrum_013
566 / 670 / 72
Регистрация: 14.12.2014
Сообщений: 5,345
Завершенные тесты: 2
24.04.2016, 23:28     Сырой указатель на память выделенную через new[] #8
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Получается задачка-капкан - ответа нет?)
Элегантный ответ может быть только в толковом менеджере кучи, которому delete или delete[] без разницы, вернее определяет сам по своим таблицам, что бы там ему не вызвали.
rikimaru2013
C++ Game Dev
 Аватар для rikimaru2013
2302 / 1018 / 232
Регистрация: 30.11.2013
Сообщений: 3,374
24.04.2016, 23:31  [ТС]     Сырой указатель на память выделенную через new[] #9
Цитата Сообщение от Fulcrum_013 Посмотреть сообщение
вернее определяет сам по своим таблицам
но выделяя через new T или new T[n] мы все равно получим тип T* и придется ЯВНО указывать, что мы там выделяем - так почему сразу в этой задачке не применить?)
IGPIGP
Комп_Оратор)
 Аватар для IGPIGP
6345 / 2992 / 294
Регистрация: 04.12.2011
Сообщений: 8,026
Записей в блоге: 3
24.04.2016, 23:38     Сырой указатель на память выделенную через new[] #10
rikimaru2013, гляньте на вот это "художество":
Реализовать пользовательский класс "Smartpointer"
ни о какой скорости и надёжности тут речи нет. Просто спортивный интерес.
tapochka
34 / 34 / 8
Регистрация: 25.04.2014
Сообщений: 459
25.04.2016, 00:20     Сырой указатель на память выделенную через new[] #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[]
Lawliet1
29 / 32 / 11
Регистрация: 30.09.2011
Сообщений: 202
Завершенные тесты: 1
04.05.2016, 23:26     Сырой указатель на память выделенную через new[] #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 оказывается не таким уж и безопасным)))) хотя в этой конкретно программе (да и в подобных простеньких) работает нормально, кажется...
Croessmah
Модератор
Эксперт CЭксперт С++
 Аватар для Croessmah
12501 / 7063 / 793
Регистрация: 27.09.2012
Сообщений: 17,447
Записей в блоге: 2
Завершенные тесты: 1
05.05.2016, 06:09     Сырой указатель на память выделенную через new[] #13
Цитата Сообщение от Lawliet1 Посмотреть сообщение
так как _msize() предназначена для работы с malloc, calloc и realloc
а еще это не стандартная функция, а расширение,
которое может отсутствовать на целевом компиляторе.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
06.05.2016, 17:09     Сырой указатель на память выделенную через new[]
Еще ссылки по теме:

C++ Как и где удалить память, выделенную внутри функции?
C++ Как, создавая указатели, поместить их в уже выделенную динамическую память?
C++ Как правильно удалять выделенную память под указатель на указатель?
C++ Как и когда правильно освобождать динамически выделенную память?
C++ Почему не получается освободить память, выделенную для переменных в структуре?

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

Или воспользуйтесь поиском по форуму:
DrOffset
6817 / 4028 / 924
Регистрация: 30.01.2014
Сообщений: 6,847
06.05.2016, 17:09     Сырой указатель на память выделенную через new[] #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
Yandex
Объявления
06.05.2016, 17:09     Сырой указатель на память выделенную через new[]
Ответ Создать тему
Опции темы

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