Форум программистов, компьютерный форум, киберфорум
Visual C++
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.67/9: Рейтинг темы: голосов - 9, средняя оценка - 4.67
8 / 8 / 5
Регистрация: 10.11.2015
Сообщений: 44
Записей в блоге: 3

Ошибки в куче - new и delete работают, но видимо не так

30.06.2017, 20:54. Показов 1831. Ответов 15

Студворк — интернет-сервис помощи студентам
Всем добрый вечер.

Имеется странное и непонятное поведение программы.
Имеется класс:

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
class my_class
{
    uint32_t* val = nullptr;
    size_t len = 0;
    my_class& allocate(size_t sz){
        delocate();
        val = (uint32_t*)malloc(len = sz);
        for (size_t i = 0; i < len; i++) val[i] = 0;
        return *this;
 
    }
    void delocate(){
        if (len) free(val);
        val = nullptr;
        len = 0;
    }
public:
    my_class(){}
    my_class(size_t size) { allocate(size); }
    my_class(const my_class& obj) { 
        if (this == &obj) return;
        allocate(obj.len);
        for (size_t i = 0; i < len; i++)
            val[i] = obj.val[i];
    }
        const my_class& operator=(const my_class& obj) {
                allocate(obj.len);
                for (size_t i = 0; i < len; i++) val[i] = obj.val[i];
                return *this;
        }
 
    ~my_class(){ delocate(); }
};
Конечно, это жестко кастрированная версия настоящего класса, но функции выделения и освобождения памяти идентичны.
Все работает как по маслу, но при создании объекта класса внутри функции, при выходе из функции возникает ошибка

"HEAP CORRUPTION DETECTED: after Normal block (#619) at 0x0034CE00.
CRT detected that the application wrote to memory after end of heap buffer."

Эту ошибку легко проигнорировать, если нажать кнопку "Пропустить". Однако, она такая назойливая - возникает для каждой переменной этого типа именно в конце работы функции (а не в конце блока, если переменная создана внутри блока).
То есть, переменная, созданная внутри цикла не выдает этой ошибки при вызове деструктора. А переменная созданная непосредственно в теле функции - выдает, и при том, даже при переинициализации.

Собственно, код функции main:

C++
1
2
3
4
5
6
        my_class v1(14);
    my_class v2(15);
    v1 = v2;
    cout << "value created" << endl;
    _getche();
    return 0;
Штука в том, что функции выделения и освобождения памяти так устроены (или задуманы), что освобождение памяти происходит только в случае, если прежде память была выделена. А функция выделения определяет, выделялась ли память ранее и освобождает перед новым выделением. Так что, вроде бы, ошибок быть не должно (как по учебникам).

Кто нибудь может объяснить, почему возникает эта ошибка?

Добавлено через 8 минут
Кстати, сразу скажу - это ВЕСЬ код программы. (разве что добавить заголовочные iostream, conio.h и stdint.h, и обернуть тело функции main в саму функцию main(int argc,char*argv[]) {...} ).

Добавлено через 1 минуту
Есть и другая версия - получше:

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
class my_class
{
    uint32_t* val = nullptr;
    size_t len = 0;
    my_class& allocate(size_t sz){
        delocate();
        val = new uint32_t[len=sz];
        for (size_t i = 0; i < len; i++) val[i] = 0;
        return *this;
 
    }
    void delocate(){
        if (len) delete[] val;
        val = nullptr;
        len = 0;
    }
public:
    my_class(){}
    my_class(size_t size) { allocate(size); }
    my_class(const my_class& obj) { 
        if (this == &obj) return;
        allocate(obj.len);
        for (size_t i = 0; i < len; i++)
            val[i] = obj.val[i];
    }
        const my_class& operator=(const my_class& obj) {
                allocate(obj.len);
                for (size_t i = 0; i < len; i++) val[i] = obj.val[i];
                return *this;
        }
 
    ~my_class(){ delocate(); }
0
Лучшие ответы (1)
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
30.06.2017, 20:54
Ответы с готовыми решениями:

Видимо некорректное соединение или так и надо?
Всем привет. Раньше не задавался вопросом этим, вроде все четко открывало и закрывало соединение. Но сейчас кол-во пользователей...

Справка не компилируется. Видимо, что-то не так с ссылками...
Создал такой файл справки: Скачал компайлер с офф сайта Не компилируется. Видимо, что-то не так с ссылками. Помогите, плиз.

Динамическое выделение памяти. Ошибки в куче
Функция чтения данных из ячейки экселя wchar_t *DataInCell( Excel::_WorksheetPtr Sheet, int Row, int Col ) Excel::RangePtr Cell; ...

15
Диванный эксперт
Эксперт С++
 Аватар для Max Dark
2550 / 2064 / 971
Регистрация: 09.10.2013
Сообщений: 4,793
Записей в блоге: 4
30.06.2017, 21:03
Meerith, ошибка в 7й строке - памяти выделяется в sizeof(uint32_t) раз меньше, чем требуется.
C++
1
2
3
// val = (uint32_t*)malloc(len = sz);
len = sz;
val = (uint32_t*)malloc(sz * sizeof(*val));
Добавлено через 2 минуты
+ 21я строка в конструкторе бесполезна, переместите ее в оператор присваивания.
0
8 / 8 / 5
Регистрация: 10.11.2015
Сообщений: 44
Записей в блоге: 3
30.06.2017, 21:14  [ТС]
Прошу прощения, первая версия класса, которую я выложил - пробная (попытка заменить new и delete соответственно malloc и free). Сишными функциями я уже чутка подзабыл, как пользоваться. Извиняюсь.

А что насчет второй версии класса - той, что с new[] и delete[] ?
Именно эта версия использовалась первоначально - и будет использоваться.

Насчет 21-ой строки - согласен. Однако, в настоящем классе - всё, как вы и посоветовали.
0
nd2
3438 / 2817 / 1249
Регистрация: 29.01.2016
Сообщений: 9,427
30.06.2017, 23:00
Цитата Сообщение от Meerith Посмотреть сообщение
C++
1
if (len) delete[] val;
Эта проверка лишняя, если val == nullptr, то delete [] не имеет последствий.
Код в main(), с классом с new, вызывает ошибку?
0
8 / 8 / 5
Регистрация: 10.11.2015
Сообщений: 44
Записей в блоге: 3
09.07.2017, 21:08  [ТС]
Прошу прощения за исчезновение.

Суть проблемы в том, что отладка при данных ошибках показывает, что память точно была выделена, к примеру, val = new uint32_t[1]{14} (я имею ввиду, что во время отладки память была выделена, туда было записано число - 14).

Затем начинаются странности - объект класса может быть использован в вычислениях, но вызов деструктора иногда приводит к ошибке в куче. То есть, сначала (во время создания, скажем 10 временных экземпляров) деструктор срабатывает штатно, а затем, при удалении изначально определенных экземпляров, деструктор вызывает ошибку "HEAP CORRUPTION DETECTED".

Таким образом, становится немного неясно - отладка показывает, что функция освобождения указателя val реально освобождает его в том случае, если он указывает на реальный блок памяти (в процессе выделения памяти, len становится не равной 0 - идет проверка при удалении). Тем не менее, в некоторых случаях (в основном, когда val = new uint32_t[1]), деструктор отказывается выполнять свои законные обязанности и выдает ошибку. Причем, он не всегда сообщает, что повреждена куча, а выдает окно ошибки без пояснений, с надписью вроде "приложение вызвало точку останова".

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

По поводу nullptr - по какой-то причине (а может, это и нормально) после вызова оператора delete[] val, val != nullptr. Как правило, отладка демонстрирует, что после высвобождения памяти, val = 0xCCCCCCCC, и указывает на некий блок данных, возможно и с мусором. Поэтому при удалении возникла необходимость как-то проверить, является ли указатель val валидным. Однако, судя по всему, это атавизм, оставшийся с тех пор, как начальная инициализация val при создании экземпляра выглядела как
C++
1
val = new uint32_t[1]{0};
Наличие этого атавизма, однако, дает двойную перепроверку валидности указателя перед освобождением памяти - сначала в теле функции delocate(), а затем внутри оператора delete[].

Итак, по поводу кучи - по-видимому, несмотря на освобождение памяти, размер кучи растет, и программа начинает использовать память вне кучи (а это, вроде, некий overflow). При этом я совершенно не соображу, что сделать, чтобы этого избежать (ХЭЛП! .
0
nd2
3438 / 2817 / 1249
Регистрация: 29.01.2016
Сообщений: 9,427
09.07.2017, 21:26
Это всё интересно, но нет ответа на вопрос:
Цитата Сообщение от nd2 Посмотреть сообщение
Код в main(), с классом с new, вызывает ошибку?
Или разговор идёт о каком-то другом коде?

Добавлено через 5 минут
Цитата Сообщение от Meerith Посмотреть сообщение
Как правило, отладка демонстрирует, что после высвобождения памяти, val = 0xCCCCCCCC, и указывает на некий блок данных, возможно и с мусором. Поэтому при удалении возникла необходимость как-то проверить, является ли указатель val валидным.
Всё так, если бы не это:
Цитата Сообщение от Meerith Посмотреть сообщение
C++
1
val = nullptr;
И не это:
Цитата Сообщение от Meerith Посмотреть сообщение
C++
1
uint32_t* val = nullptr;
То есть, из выложенного кода следует, что твой указатель или содержит адрес выделенной памяти, или nullptr, других вариантов, в выложенном коде, нет. Исходя из этого:
Цитата Сообщение от nd2 Посмотреть сообщение
Эта проверка лишняя, если val == nullptr, то delete [] не имеет последствий.
Если же в указателе мусор, то от чего защитит проверка на nullptr? Не от чего.

Добавлено через 6 минут
Цитата Сообщение от Meerith Посмотреть сообщение
"HEAP CORRUPTION DETECTED".
Ты где-то (в реальном коде, а не в выложенном) память портишь, что проявляется при освобождении памяти.
0
8 / 8 / 5
Регистрация: 10.11.2015
Сообщений: 44
Записей в блоге: 3
09.07.2017, 22:09  [ТС]
Код в main не вызывает ошибку. Однако, идентичный код в исходном классе (и даже исправленный, согласно замечаниям nd2) вызывает ошибки в куче после нескольких десятков вызовов allocate() и delocate(). Заметьте, что функция delocate() вызывается только в деструкторе и в функции allocate(), что (по моему) должно гарантировать отсутствие утечек и т.п.

Исходный класс является классом больших чисел. Выложить его, к сожалению, не позволяет на данный момент интернет.
Тем не менее, могу дать часть исходного кода (точнее - private функции и конструкторы, использующие функцию allocate()):

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

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
209
210
211
212
213
214
#include <random>
#include <stdint.h>
#include <string>
#include <iostream>
#include <conio.h>
 
//#define assert(expr) if (!expr) throw;
 
template <typename T> inline void assert(T expr) { if (expr) {} else throw; }
 
using namespace std;
 
class huge
{
    uint32_t* val = nullptr;
    size_t len = 0;
 
    huge& allocate(size_t _len){
        if (len) delocate();
        val = new uint32_t[len = ((_len > 0) ? _len : 1)];
        return fill(0);
    }
    void delocate(){
        if (len)
        {
            delete[] val;
            val = nullptr;
            len = 0;
        }
    }
 
    inline huge& fill(uint32_t item_val) { for (size_t i = 0; i < len; i++) val[i] = item_val; return *this; }
    inline huge& fill(size_t l_idx, uint32_t item_val) {
        assert(l_idx <= len); if (l_idx == len) return *this;
        for (size_t i = 0; i < len; i++) val[i] = item_val; 
        return *this; 
    }
    inline huge& fill(size_t l_idx, size_t r_idx, uint32_t item_val) { 
        assert(l_idx <= len && r_idx <= len && l_idx <= r_idx);
        if (l_idx == len || l_idx == r_idx) return *this;
        for (size_t i = l_idx; i < r_idx; i++) val[i] = item_val; 
        return *this; 
    }
 
    inline huge& encharge(const huge& obj){
        bool sign = obj.get_sign() && len > obj.len;
        if (len < obj.len) allocate(obj.len);
        if (sign) fill(obj.len, -1);
        for (size_t i = 0; i < obj.len; i++) (sign) ? (val[i] &= obj[i]) : (val[i] = obj[i]);
        return *this;
    }
    inline huge& encharge(const huge& obj, bool sign){
        if (len < obj.len) allocate(obj.len);
        if (sign) fill(obj.len, -1);
        for (size_t i = 0; i < obj.len; i++) (sign) ? (val[i] &= obj[i]) : (val[i] = obj[i]);
        return *this;
    }
    template <typename __int, size_t size = sizeof(__int)> 
    inline huge& encharge(__int* obj, size_t sz){
        if (sz)
        {
            size_t nlen = (sz*size) / 4 + (((sz*size) % 4) ? 1 : 0);
            bool sign = (obj[sz - 1] >> (size * 8 - 1) != 0);
            if (len < nlen) allocate(nlen);
            else if (len > nlen)
                fill(nlen, sign ? -1 : 0);
            uint32_t* p_val = val;  __int* p_obj = obj + sz - 1;
            size_t i = 0;
            if (len == sz)
                for (; i < size; i += 4, p_val++)
                    *p_val |= (*p_obj >> (i * 32)) & 0xffffffff;
            for (; p_obj >= obj; p_obj--)
                if (size <= 4)
                {
                    *p_val |= *p_obj << ((i++) % (4 / size) * 8 * size);
                    if (!(i % (4 / size))) p_val++;
                }
                else
                    for (; i < size/4; i++, p_val++)
                        *p_val = (*p_obj >> (i * 32)) & 0xffffffff;
            if (sign && size < 4)
                val[nlen] = (~val[len]) ^ 0xffffffff;
        }
        return *this;
    }
 
    inline huge& copy(const huge& obj){
        if (obj.len && this != &obj) return allocate(obj.len).encharge(obj);
        return avoid();
    }
    template <typename __int, size_t size = sizeof(__int)>
    inline huge& copy(__int* _val, size_t sz){
        if (sz && (void*)_val != (void*)val)
            return allocate((sz*size) / 4 + (((sz*size) % 4) ? 1 : 0)).encharge(_val, sz);
        return avoid();
    }
 
    inline huge& zeros(){
        while ((len > 1 && !val[len - 1]) || (len > 1 && !(~val[len - 1])))
            len--;
        return *this;
    }
 
    huge& avoid(){ return allocate(1); }
 
    huge(const huge& obj, size_t sz, bool sign = false) { allocate((sz < obj.len) ? obj.len : sz).encharge(obj, sign); }
    huge(const huge& obj, bool sign) { copy(obj).set_sign(sign); }
 
    huge& operator()(size_t size){
        if (len) delocate();
        val = new uint32_t[len = ((size > 0) ? size : 1)];
        return fill(0);
    }
 
public:
    huge(){}
    huge(const huge& obj){ copy(obj); }
    huge(size_t sz, bool sign){ (*this)(sz).set_sign(sign); }
 
    huge(const byte& _val)      { copy(&_val, 1); }
    huge(const int8_t& _val)    { copy(&_val, 1); }
    huge(const int16_t& _val)   { copy(&_val, 1); }
    huge(const int32_t& _val)   { copy(&_val, 1); }
    huge(const int64_t& _val)   { copy(&_val, 1).zeros(); }
    huge(const uint8_t& _val)   { copy(&_val, 1); }
    huge(const uint16_t& _val)  { copy(&_val, 1); }
    huge(const uint32_t& _val)  { copy(&_val, 1); }
    huge(const uint64_t& _val)  { copy(&_val, 1).zeros(); }
 
    huge(byte* _val, size_t sz)     { copy(_val, sz).zeros(); }
    huge(int8_t* _val, size_t sz)   { copy(_val, sz).zeros(); }
    huge(int16_t* _val, size_t sz)  { copy(_val, sz).zeros(); }
    huge(int32_t* _val, size_t sz)  { copy(_val, sz).zeros(); }
    huge(int64_t* _val, size_t sz)  { copy(_val, sz).zeros(); }
    huge(uint8_t* _val, size_t sz)  { copy(_val, sz).zeros(); }
    huge(uint16_t* _val, size_t sz) { copy(_val, sz).zeros(); }
    huge(uint32_t* _val, size_t sz) { copy(_val, sz).zeros(); }
    huge(uint64_t* _val, size_t sz) { copy(_val, sz).zeros(); }
 
    template <size_t sz> huge(const byte(&_val)[sz])    { copy(_val, sz - 1).zeros(); }
    template <size_t sz> huge(const int8_t(&_val)[sz])  { copy(_val, sz).zeros(); }
    template <size_t sz> huge(const int16_t(&_val)[sz]) { copy(_val, sz).zeros(); }
    template <size_t sz> huge(const int32_t(&_val)[sz]) { copy(_val, sz).zeros(); }
    template <size_t sz> huge(const int64_t(&_val)[sz]) { copy(_val, sz).zeros(); }
    template <size_t sz> huge(const uint8_t(&_val)[sz]) { copy(_val, sz).zeros(); }
    template <size_t sz> huge(const uint16_t(&_val)[sz]){ copy(_val, sz).zeros(); }
    template <size_t sz> huge(const uint32_t(&_val)[sz]){ copy(_val, sz).zeros(); }
    template <size_t sz> huge(const uint64_t(&_val)[sz]){ copy(_val, sz).zeros(); }
 
 
    const huge& operator=(const huge& _val){ delocate(); return copy(_val); }
 
        operator bool() const { return (len) ? (val[len-1] > 0) : false; }
    bool operator!() const{ return !bool(*this); }
 
    size_t size() const {
        return len;
    }
 
    int8_t to_int8()    const { return (int8_t)(val[0] & 0xff); }
    int16_t to_int16()  const { return (int16_t)(val[0] & 0xffff); }
    int32_t to_int32()  const { return (int32_t)(val[0]); }
    int64_t to_int64()  const { return (int64_t(val[0]) << 32) | ((len > 1) ? val[1] : 0); }
    uint8_t to_uint8()  const { return (uint8_t)(val[0] & 0xff); }
    uint16_t to_uint16()const { return (uint16_t)(val[0] & 0xffff); }
    uint32_t to_uint32()const { return (uint32_t)(val[0]); }
    uint64_t to_uint64()const { return (uint64_t(val[0]) << 32) | ((len > 1) ? val[1] : 0); }
 
    template <typename T> static T to_int(const huge& obj) {
        switch (sizeof(T))
        {
        case 1: return (T)(obj.to_uint8() & T(-1));
        case 2: return (T)(obj.to_uint16() & T(-1));
        case 4: return (T)(obj.to_uint32() & T(-1));
        case 8: return (T)(obj.to_uint64() & T(-1));
        default: return T(0);
        }
    }
    
    ~huge(){ delocate(); }
 
#pragma region statics
    string heximal(size_t split_on = 8) const {
        string res = "";
        if (get_sign()) return " -" + abs().heximal();
        char* buf = new char[10];
        for (size_t i = 0; i < len - 1; i++)
        {
            _snprintf_s(buf, 10, 9, "%08x", val[i]);
            res = string(buf) + res;
        }
        _itoa_s(val[len - 1], buf, 10, 16);
        res = string(buf) + res;
        delete[] buf;
        if (split_on < res.length())
        {
            res.insert(res.end() - split_on, ' ');
            for (size_t i = 2; i < res.length() / split_on; i++)
                res.insert(res.end() - (i*split_on + (i - 1)), ' ');
        }
        return res;
    }
    static string heximal(const huge& obj, size_t split_on = 8) {
        return obj.heximal();
    }
 
    huge abs() const { return huge(*this, false); }
    static huge abs(const huge& obj) { return obj.abs(); }
 
#pragma endregion
private:
    inline uint32_t& operator[](size_t index){ assert(index >= 0 && index < len); return val[index]; }
    inline const uint32_t& operator[](size_t index) const { assert(index >= 0 && index < len); return val[index]; }
};


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

Кликните здесь для просмотра всего текста
Этот класс - очередной велосипед на тему сверхбольших чисел, разработанной с целью перехода на "Вы" с "Ой-ёё" по отношению к С++. Массовое использование основ, если хотите. Далее - STL, BOOST и др.
0
nd2
3438 / 2817 / 1249
Регистрация: 29.01.2016
Сообщений: 9,427
10.07.2017, 15:16
Цитата Сообщение от Meerith Посмотреть сообщение
по мере необходимости, могу приводить их код.
Проект, в архиве, выложи.
0
8 / 8 / 5
Регистрация: 10.11.2015
Сообщений: 44
Записей в блоге: 3
10.07.2017, 19:02  [ТС]
Я, честно говоря, хотел бы выложить проект - и архив готов. Но увы - раз за разом: Upload Error 404! Так что, видимо, придется пока так.
0
nd2
3438 / 2817 / 1249
Регистрация: 29.01.2016
Сообщений: 9,427
10.07.2017, 19:06
Цитата Сообщение от Meerith Посмотреть сообщение
придется пока так.
Так - нет. Чтобы разбираться в причинах ошибки, нужно её получать. Что за Upload Error 404?
0
8 / 8 / 5
Регистрация: 10.11.2015
Сообщений: 44
Записей в блоге: 3
10.07.2017, 19:21  [ТС]
Проблема возникает в окошке, появляющемся после нажатия "Мультизагрузка вложений" - выбираю обычный zip-архив весом менее 4-х МБ, загрузчик загружает его - и после прохождения 100% выдает ошибку Upload Error!

Это и меня самого чертовски раздражает - куда проще было бы, действительно, выслать проект. И ведь он загружает архив полностью - а затем выдает ошибку!!!

Думаю, может проблема в Adobe Flash, или в низкой скорости интернета (<130Кбит/сек )
0
nd2
3438 / 2817 / 1249
Регистрация: 29.01.2016
Сообщений: 9,427
10.07.2017, 19:32
Цитата Сообщение от Meerith Посмотреть сообщение
после нажатия "Мультизагрузка вложений"
Делай через управление вложениями. Или выложи в другом месте, здесь - ссылку.
1
8 / 8 / 5
Регистрация: 10.11.2015
Сообщений: 44
Записей в блоге: 3
11.07.2017, 10:30  [ТС]
Вот спасибо! Держите проект, каков он на сей момент!

Хочу заранее предупредить - в коде встречаются лишние перестраховки, а также атавизмы от бывших в употреблении механизмов. Не серчайте!
Вложения
Тип файла: zip NumericResearches.zip (3.28 Мб, 2 просмотров)
0
nd2
3438 / 2817 / 1249
Регистрация: 29.01.2016
Сообщений: 9,427
11.07.2017, 22:59
Лучший ответ Сообщение было отмечено Meerith как решение

Решение

Код в main(), который выдаёт ошибку испорченной памяти:
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
int main(int argc, char*argv[])
{
    {
        //huge val1 = 0xffff654365432100ui64;
        //cout << val1.heximal() << endl;
        huge val2 = 0x12;
    }
    
   /* cout << val2.heximal() << endl;
    
    for (int i = 0; i < 3; i++)
    {
        cout << "division call entry" << endl;
        huge val3 = val1 / val2;
 
 
        cout << "result: "; 
        cout << val3.heximal() << endl;
 
        val1 = 14;
        cout << val1.heximal() << endl;
        val1 = -12;
        cout << val1.heximal() << endl;
        val1 = 0x5555444433332222ui64;
        cout << val1.heximal() << endl;
        cout << endl;
    }
 
    concurrency::wait(10000);*/
    
    system("pause");
    return 0;
}
Причина здесь:
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
template <typename __int, size_t size = sizeof(__int)> 
inline huge& encharge(__int* obj, size_t sz)
{
    if (sz)
    {
        size_t nlen = (sz*size) / 4 + (((sz*size) % 4) ? 1 : 0);
        bool sign = (obj[sz - 1] >> (size * 8 - 1) != 0);
        if (len < nlen) allocate(nlen);
        else if (len > nlen)
            fill(nlen, sign ? -1 : 0);
        
        uint32_t* p_val = val;  
        __int* p_obj = obj + sz - 1;
        
        cout << "p_val = " << p_val << ' ' << "len = " << len << endl; // начало выделенной памяти
                                                                       // и количество элементов
        size_t i = 0;
        if (len == sz)  
            for (; i < size; i += 4, p_val++)
            {
                cout << "p_val = " << p_val << endl;
                *p_val |= (*p_obj >> (i * 32)) & 0xffffffff;
            }
        // если len == sz и равно 1, и size == 4, то здесь p_val будет указывать уже за границу выделенной памяти
        for (; p_obj >= obj; p_obj--)
            if (size <= 4)
            {
                cout << "p_val = " << p_val << endl;
                *p_val |= *p_obj << ((i++) % (4 / size) * 8 * size); // изменение памяти за границей выделенной
                if (!(i % (4 / size))) 
                    p_val++;
            }
            else
                for (; i < size / 4; i++, p_val++)
                {
                    cout << "p_val = " << p_val << endl;
                    *p_val = (*p_obj >> (i * 32)) & 0xffffffff;
                }
        
        if (sign && size < 4)
            val[nlen] = (~val[len]) ^ 0xffffffff;
    }
    
    return *this;
}
2
8 / 8 / 5
Регистрация: 10.11.2015
Сообщений: 44
Записей в блоге: 3
12.07.2017, 10:00  [ТС]
То есть, если попытаться изменить память за пределами выделенной, то при освобождении будет повреждение кучи?
Отлично! Спасибо, nd2!

А я все в толк не мог взять - что там за причина!
Переделаю - может, выложу на github

Ваш ответ - лучший, но если появятся замечания или предложения - не стесняйтесь писать в ЛС, или в эту тему. Все будет принято!
0
nd2
3438 / 2817 / 1249
Регистрация: 29.01.2016
Сообщений: 9,427
12.07.2017, 15:09
Цитата Сообщение от Meerith Посмотреть сообщение
То есть, если попытаться изменить память за пределами выделенной, то при освобождении будет повреждение кучи?
Это называется - портить память.
Цитата Сообщение от nd2 Посмотреть сообщение
Ты где-то (в реальном коде, а не в выложенном) память портишь, что проявляется при освобождении памяти.
Эту ошибку выдаёт отладчик студии, т.е., если запускать без отладки, то всё может и работать, а может и нет (выход за границу выделенной памяти - это UB), следить за этим должен программист.
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
12.07.2017, 15:09
Помогаю со студенческими работами здесь

Не обновила антивирусник. видимо, словила вирус и теперь не работают все программы и интернет.Я могу сама это исправить?(
помогите, пожалуйста..(

Можно ли так выделить память в куче под указатель на массив?
Здравствуйте Можно ли выделить память в куче под указатель на массив например так:? int (*c)=(int (*)) new int; или нужно как...

Не работают команды Insert, Select, Update, Delete
oFgl71x1PX4 Тут все четко и понятно все компилируется ни каких ошибок, запускается, но как только я произвожу действия с базой нажимаю на...

Не работает SELECT однако INSERT, UPDATE, DELETE работают
Здравствуйте! при написании программы столкнулся с такой проблемой: при попытке использования запроса SELECT проект просто не видит данные,...

Изменить процедуру Delete так, чтобы удалялся последний элемент списка, а не первый
Как в данной программе изменить процедуру Delete таким образом чтобы удалялся последний элемент, а не первый. program listexample; ...


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

Или воспользуйтесь поиском по форуму:
16
Ответ Создать тему
Новые блоги и статьи
http://iceja.net/ сервер решения полиномов
iceja 18.01.2026
Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .
Расчёт переходных процессов в цепи постоянного тока
igorrr37 16.01.2026
/ * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит: токи, напряжения и их 1 и 2 производные при t = 0;. . .
Восстановить юзерскрипты Greasemonkey из бэкапа браузера
damix 15.01.2026
Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений.
anaschu 11.01.2026
https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/
WordPad для Windows 11
Jel 10.01.2026
WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .
Classic Notepad for Windows 11
Jel 10.01.2026
Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .
Почему дизайн решает?
Neotwalker 09.01.2026
В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 3
anaschu 06.01.2026
aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru