Вылетает при memcpy() на C++

@PGStudio · Регистрация: 18.11.2022

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

Вылетает при memcpy. Не знаю почему.
Делаю вектор на С.
В коде, после инициализации вектора на int при использовании int number = 50; push_vector_t(vec, &number); вылетает программа без ошибок. В отладке я заметил, что вылетает только при memcpy. vec->data - массив, data - элемент.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
void push_vector_t(vector vec, void* data)
{
    if (vec != NULL)
    {
        if (vec->size == vec->capacity) 
        {
            vec->capacity *= 2;
            vec->data = realloc(vec->data, vec->capacity * vec->size_of_type);
        }
        memcpy((void*)((unsigned char*)vec->data + vec->size * vec->size_of_type), data, vec->size_of_type);
        vec->size++;
    }
}

Добавлено через 40 минут
Я добавил безопасность и проверки. Все равно вылетает. Вы можете проверить код.
https://github.com/PGStudioGH/VectorC/tree/main

Добавлено через 19 минут
Флаг оптимизации -O0, -O1 работает без вылета, а -O2 и более вылетает

Алексей1153 · 14.07.2023, 15:15

PGStudio,

Макросы непонятно, зачем накиданы. Удобства они не добавляют

typedef struct vector_t* vector;

вот зачем так себя и других стараться запутать? Чем мешает обычный советский vector_t*

вроде, вот: тут передаётся vector_t*, а нужен vector_t**

void init_vector_t(vector vec, unsigned int size_of_type)
{
if (vec != NULL)
{
if (vec->data != NULL) free(vec->data);
free(vec);
}
vec = create_vector_t(size_of_type);
}

Добавлено через 1 минуту

C
1
2
3
4
5
6
7
8
9
void init_vector_t(vector* vec, size_t size_of_type)
{
    if(*vec)
    {
        free((*vec)->data);
        free(*vec);
    }
    *vec = create_vector_t(size_of_type);
}

Добавлено через 2 минуты
в free_vector_t - то же самое

@PGStudio · 14.07.2023, 19:55 **[ТС]**

Алексей1153,
Ну... Разве не очевидно, что эти макросы для тех, кто не хочет видеть знаки * и &? Это имитация простого использования std::vector на С++.
Посмотри разницу С++ и С

C++
1
2
std::vector<int> v;
v.push_back(125);

C
1
2
3
4
5
vector v;
v = create_vector(int);
//или
init_vector(v, int);
push_back(v, int, 125); //компилятор С не может понять в какой тип преобразовать из void*, поэтому нужно указать тип.

Главное, что нужно указать тип при добавлении. Ведь не получится сохранить определенный тип в переменной (например, type variable = int). Такая цель этого проекта - простой вектор, который можно использовать и начинающим, на С без дублирования кода и шаблона.

Почему typedef struct vector_t* vector, а не typedef struct vector_t vector?
Потому что вообще выдает ошибка, если написать vector v;, из-за приватности структуры. Конечно, специально сделал, чтобы не был доступ к переменным в структуре в main.c. Это значит, что не получилось имитировать.

Добавлено через 6 минут
Насчет с этим кодом

C++
1
2
3
4
5
6
7
8
9
void init_vector_t(vector* vec, size_t size_of_type)
{
    if(*vec)
    {
        free((*vec)->data);
        free(*vec);
    }
    *vec = create_vector_t(size_of_type);
}

Все получилось! Работает! Спасибо!

Добавлено через 45 минут
Обновил vector и main в GitHub. Есть пример использования вектора. Надеюсь вы можете понимать.

Алексей1153 · 14.07.2023, 19:59

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

Разве не очевидно, что эти макросы для тех, кто не хочет видеть знаки * и &?

но разве не очевидно, что это запутывает даже тебя самого? И я путаюсь в этом ЯВНО лишнем сахаре, когда встречаю чужом коде. По мне, так лучше явно использовать указатель, а не его алиас. Алиас не добавляет ясности в данном случае.

Насчёт удобства push/insert - тут частично согласен, немного добавляет удобство. Но остальные макросы лишние.

Ещё один момент по оформлению кода: не unsigned int и не int (внезапно, в функции print_vector_t - почему-то вообще int

) а size_t

затем - какие-то лишние касты:

unsigned char* current_data = (unsigned char*)vec->data + index * vec->size_of_type;
memcpy((void*)current_data, (void*)(current_data + vec->size_of_type), (vec->size - index) * vec->size_of_type);

->

C
1
2
            void* current_data = vec->data + index * vec->size_of_type;
            memcpy(current_data, current_data + vec->size_of_type, (vec->size - index) * vec->size_of_type);

и тому подобное

Добавлено через 2 минуты
лишние проверки указателей на ненулёвость перед вызовом free

лишние проверки !data , хотя достаточно поверить !size

а ещё - зачем при создании вектора сразу аллоцируется место под один элемент? Вектор должен создаваться пустым

@PGStudio · 14.07.2023, 20:26 **[ТС]**

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

Забыл менять... Изначально был int.

Может лишние, но мне не нравится, когда здесь предупреждение о арифметики в типе void*.
Ещё, если убрать лишние, строка будет очень длинной. Это немного неудобно читать.

Можно использовать free(NULL)? Я думал, что может выдать ошибку из-за попытки освобождения по нулевым указателем.

Думаю, ты прав, что должен оставаться пустым.

Добавлено через 3 минуты
MSVC говорит, что malloc и realloc может возвращать NULL, если память недостаточна. Поэтому я добавил проверку, чтобы случайно не ломался вектор.

Алексей1153 · 14.07.2023, 20:41

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

но мне не нравится, когда здесь предупреждение о арифметики в типе void*.

компилятор C таких предупреждений вроде не выдаёт. У тебя, значит, компилятор C++

Добавлено через 36 секунд

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

Можно использовать free(NULL)?

можно

Добавлено через 3 минуты
кстати, есть ещё ошибки - в конце функций hard_way и easy_way отсутствует возврат значения

Добавлено через 33 секунды
наверное, проще у них возвращаемый тип сменить с int на void

Добавлено через 4 минуты

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

предупреждение о арифметики в типе void*.

а, я понял, о чём речь. Действительно, спорный момент )) Может, я тут и не прав, и приведение к char* придётся делать

@PGStudio · 14.07.2023, 21:01 **[ТС]**

Да, ты прав. Я использую компилятор g++, gcc и msvc одновременно, чтобы проверить совместимость. Хотел сделать, чтобы вектор поддерживал не только С, но и С++.
Поправил в Github. VectorC стал безопаснее, зато быстрее, чем std::vector. Я проверил.
Благодарю за подсказки!

Алексей1153 · 14.07.2023, 21:06

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

зато быстрее, чем std::vector

сомневаюсь. К тому же - велосипед вместо стандартного контейнера

Добавлено через 1 минуту
понятно, что для Си придётся велосипедить, но в C++ нужно оставить std::vector

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@PGStudio 0 / 0 / 0 Регистрация: 18.11.2022 Сообщений: 42
	14.07.2023, 20:26 [ТС]
	Допустим, vector это обычный тип, но обязательно использовать макросы. Можно понять как использовать в примере кода. Остальные макросы могут понадобиться. Потому что если использовать макросы и функции одновременно, в коде будут цвета слова отличаться, что выглядит не очень красиво. Поэтому специально созданы макросы для красоты. Забыл менять... Изначально был int. Может лишние, но мне не нравится, когда здесь предупреждение о арифметики в типе void. Ещё, если убрать лишние, строка будет очень длинной. Это немного неудобно читать. Можно использовать free(NULL)? Я думал, что может выдать ошибку из-за попытки освобождения по нулевым указателем. Думаю, ты прав, что должен оставаться пустым. Добавлено через 3 минуты* MSVC говорит, что malloc и realloc может возвращать NULL, если память недостаточна. Поэтому я добавил проверку, чтобы случайно не ломался вектор. 0

@PGStudio 0 / 0 / 0 Регистрация: 18.11.2022 Сообщений: 42
	14.07.2023, 21:01 [ТС]
	Да, ты прав. Я использую компилятор g++, gcc и msvc одновременно, чтобы проверить совместимость. Хотел сделать, чтобы вектор поддерживал не только С, но и С++. Поправил в Github. VectorC стал безопаснее, зато быстрее, чем std::vector. Я проверил. Благодарю за подсказки! 0

Вылетает при memcpy() на C++

Решение