Всем привет. изучаю тему аллокаторов через написание собственного. почему-то при

Question

Всем привет. изучаю тему аллокаторов через написание собственного. почему-то при

попытке освободить память в деструкторе (строка 22) код не отрабатывает до конца, под отладкой получаю Access violation. Если закомментировать - всё нормально отрабатывает. не могу понять почему... помогите разобраться?
https://pastebin.com/VnCCAPZY

#c #embedded #programming #russian

0

14.01.2021

21 ответов

14 просмотров

Arthur Автор вопроса

Ilya Zviagin
А зачем тебе алокаторы?

я не знаю, задание такое 😄

0

14.01.2021

Arthur Автор вопроса

в https://www.onlinegdb.com/ отрабатывает нормально...

0

14.01.2021

Ilya Zviagin

Я думаю, тут с копированием у тебя проблемы... КОпирование надо описывать.

0

14.01.2021

Ilya Zviagin

Arthur
я не знаю, задание такое 😄

Так задание-то где?

0

14.01.2021

Arthur Автор вопроса

Ilya Zviagin
Так задание-то где?

задание не важно, нужно исправить проблему :)

0

15.01.2021

Ilya Zviagin

Arthur
задание не важно, нужно исправить проблему :)

Копирование в свой класс добавь

0

15.01.2021

Arthur Автор вопроса

Ilya Zviagin
Копирование в свой класс добавь

мне не нужно копирование, при копировании мне достаточно создавать независимые экземпляры аллокатора. и откуда уверенность что добавление копирования решит проблему?

0

15.01.2021

Alexander Karaev

Arthur
мне не нужно копирование, при копировании мне дост...

а сейчас при копировании аллокатор копируется почленно, что приводит к UB в деструкторе из-за некорректной дефолтной реализации копирования. если копирование не нужно, как минимум напиши allocator(const allocator&) = delete и дальше уже выясняй, почему копируется

0

15.01.2021

Arthur Автор вопроса

Alexander Karaev
а сейчас при копировании аллокатор копируется почл...

спасибо за пояснение!

0

15.01.2021

Ilya Zviagin

Arthur
мне не нужно копирование, при копировании мне дост...

Тебе НУЖНО КОПИРОВАНИЕ иначе у тебя два Алокатора будут владеть одним и тем же блоком памяти, на который указывает data

0

15.01.2021

Arthur Автор вопроса

Ilya Zviagin
Тебе НУЖНО КОПИРОВАНИЕ иначе у тебя два Алокатора ...

с чего это вдруг они будут владеть одним и тем же блоком памяти?

0

15.01.2021

Ilya Zviagin

Arthur
с чего это вдруг они будут владеть одним и тем же ...

Выше тебе Саша объяснил же. Дефолтный конструктор копирования - почленное копирование объекта. data будет скопирован, и потом когда одна из копий объекта будет удалена, её деструктор удалит память, на которую ссылается data, будет удалена, а в другом экземпляре аллокатора в data останется ссылка на уже удалённую память. Правда, как этот сценарий реализуется в твоём конкретном примере, я не знаю - надо ходить отладчиком.

0

15.01.2021

Arthur Автор вопроса

Ilya Zviagin
Выше тебе Саша объяснил же. Дефолтный конструктор ...

спасибо! посмотрю что там происходит, теперь знаю куда копать

0

15.01.2021

Ilya Zviagin

Arthur
спасибо! посмотрю что там происходит, теперь знаю ...

Важнее чтобы у тебя бы сформировался рефлекс: если объект владеет каким-то ресурсом, мы обязательно либо запрещаем копирование, либо реализуем его правильно (либо move используем)

0

15.01.2021

Dmitriy [Отпуск]

Копировать аллокатор вообще считаю плохой идеей. Контейнер должен сам распоряжаться ресурсами.

0

15.01.2021

Arthur Автор вопроса

Dmitriy [Отпуск]
Копировать аллокатор вообще считаю плохой идеей. К...

вот мне и не нужно чтобы он копировался. они все должны быть независимыми

0

15.01.2021

Dmitriy [Отпуск]

Arthur
вот мне и не нужно чтобы он копировался. они все ...

Копай в сторону propagate_on_*

0

15.01.2021

Arthur Автор вопроса

Dmitriy [Отпуск]
Копай в сторону propagate_on_*

спасибо :)

0

15.01.2021

Ilya Zviagin

Arthur
спасибо :)

Да просто запрети копирование

0

15.01.2021

Arthur Автор вопроса

Alexander Karaev
а сейчас при копировании аллокатор копируется почл...

Добавил вот такой конструктор копирования: custom_allocator(const custom_allocator<T, N> &) noexcept: custom_allocator() { std::cout << "COPY CONSTRUCTOR T->T" << __FUNCSIG__ << "\n"; } То есть он просто вызывает конструктор по умолчанию. Этот конструктор копирования не вызывается. Вызывается другой: template <typename U> custom_allocator(const custom_allocator<U, N> &) noexcept : custom_allocator() { std::cout << "COPY CONSTRUCTOR T->U" << __FUNCSIG__ << "\n"; } Он так же вызывает конструктор по умолчания. Проблема всё еще осталась. Почленного копирования здесь ведь не происходит, так?

0

16.01.2021

Ilya Zviagin · Accepted Answer

Ilya Zviagin

А зачем тебе алокаторы?

0

14.01.2021

170 похожих чатов

Всем привет. изучаю тему аллокаторов через написание собственного. почему-то при

21 ответов

Похожие вопросы