Изменение контейнера во время итерационного перебора

@rikimaru2013 · Регистрация: 30.11.2013

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

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
void Add( Some* ptr )
{
    cont.push_back( ptr );
}
void Update()
{
    for ( auto it = std::begin( cont ); it != std::end( cont ); )
    {
        ( *it )->Update();
        if ( ( *it )->Finished() )
        {
            it = cont.erase( it );
        }
        else
        {
            ++it;
        }
    }
}

Если в Update как-то запушить в cont - то итератор не валиден по понятным причинам, как и ++it. Пришлось извращаться:

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
void Add( Some* ptr )
{
    if(_protect)
        delay.push_back(ptr)
    else
        cont.push_back( ptr );
}
void Update()
{
    _protect = true;
    for ( auto it = std::begin( cont ); it != std::end( cont ); )
    {
        ( *it )->Update();
        if ( ( *it )->Finished() )
        {
            it = cont.erase( it );
        }
        else
        {
            ++it;
        }
    }
    _protect = false;
    PushAllDelayToContAndClear();
}

Подскажите, есть ли методики не писать такие костыли? Или концептуально вы скажите не правильно, что некий тип умеет пушить в родителя?

@Fulcrum_013 · 11.09.2016, 23:33

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

Есть вероятность, что строка 2 и 3 будут работать с разными сущностями.

Если добавляет только в конец и удаляется только текущий то при обходе с конца такой вероятности нет.

@rikimaru2013 · 11.09.2016, 23:35 **[ТС]**

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

удаляется только текущий

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

@hoggy · 11.09.2016, 23:37

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

ну то бишь мой костыль и есть то о чём вы советуете?

да.

подход с двумя контейнерами решает сразу две инженерные задачи:
1.
многопоточная защита.

2.
гарантирует, что при обратной раскрутке стека,
он не вернется к погибшему ребенку.

@Avazart · 11.09.2016, 23:37

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

Тема как раз об этом. Что было нарушено IoC и через синглтон пушиться в вектор дополнительный элемент

Не понял. Имеете ввиду есть другие потоки?

@hoggy · 11.09.2016, 23:41

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

то бишь мой костыль и есть то о чём вы советуете?

да.

этот подход решает сразу две инженерные задачи:

1.
решает проблему многопоточной защиты.

2.
при обновлении, дети могут сигналить друг другу.
данный подход гарантирует, что при обратной раскрутке стека,
все объекты валидны.

@Fulcrum_013 · 11.09.2016, 23:43

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

Какой итератор?

it который.

@Avazart · 11.09.2016, 23:44

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

it который.

Ну так такое возможно только если из нескольких потоков вызовы идут, но тогда и в других местах будут проблемы.

@Fulcrum_013 · 11.09.2016, 23:45

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

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

Такое не документируется а прячется под капот взаимодействия контейнера и элемента и на 100% инкапсулируется от внешнего вмешательства.

@rikimaru2013 · 11.09.2016, 23:47 **[ТС]**

Fulcrum_013, а как вам решение hoggy ? Ведь я ~~через годы гавнокодства~~ интуитивно пришёл к примерно такому же решению.

@Fulcrum_013 · 11.09.2016, 23:48

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

Ну так такое возможно только если из нескольких потоков вызовы идут

Такое возможно если в том же потоке идет добавление изнутри ( *it )->Update();

@Avazart · 11.09.2016, 23:50

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

Такое возможно если в том же потоке идет добавление изнутри ( *it )->Update();

Мм, а зачем? Зачем использовать тот же "внешний" метод? Т.е. разбить код на внешние и внутренние методы и ...

@Fulcrum_013 · 11.09.2016, 23:51

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

а как вам решение hoggy

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

@ct0r · 11.09.2016, 23:56

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

К примеру ради сокращения кода в несколько раз.

Почему он должен сократиться в несколько раз?

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

ну то бишь мой костыль и есть то о чём вы советуете:?

По сути да, но у тебя в реализации все намешано в кучу. Какие сложности изменить все так, чтобы обойтись локальным delay? Нафига оно всему объекту?

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

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

Какие сложности создаст вынесение логики добавления из Update элемента во внешний Update?

@Fulcrum_013 · 11.09.2016, 23:58

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

Почему он должен сократиться в несколько раз?

Пример с несколькими списками обработки постом выше.

@rikimaru2013 · 12.09.2016, 00:01 **[ТС]**

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

С таким решением с отложенной вставкой получится такая каша что ховайся.

Наведите пример? Пока что вижу только не вызван тут же апдейт - хотя он и не нужен.

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

По сути да, но у тебя в реализации все намешано в кучу. Какие сложности изменить все так, чтобы обойтись локальным delay? Нафига оно всему объекту?

Так и так локально ведь решено. Или нет? Была ошибка - решил - задумался, а не решил ли я её как гавнокодер. Ведь чую запах с монитора - создал темку)

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

Какие сложности создаст вынесение логики добавления из Update элемента во внешний Update?

Так не во всех случаях же ж такое - просто один элемент понял, что он хочет себе завести 2 соседа - но архитектура он него такого не ожидала - я локально "разрешил" каждому элементу (раз у них "права на пуш" есть и ситуация как оказалась возможной) пушить "безопасно"

@Fulcrum_013 · 12.09.2016, 00:06

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

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

Я так понял это не тот же метод а абсолютно другой виртуальный метод элемента в котором он может еще элементов в контейнер добавить и/или решить что он в этом контейнере свое отжил.

@ct0r · 12.09.2016, 00:11

Так каким образом за счет этого

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

соответственно когда в каком содержаться решает сам полиморфный элемент

кол-во кода должно уменьшиться в несколько раз?

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

Так и так локально ведь решено.

Локально в пределах одной функции? Я пока вроде наблюдаю, что delay размазан по нескольким и хранится в объекте. Или не так все?

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

просто один элемент понял, что он хочет себе завести 2 соседа

Почему это должен понимать именно элемент, а не та штука, что находится снаружи?

@rikimaru2013 · 12.09.2016, 00:15 **[ТС]**

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

Или не так все?

Да хранится в объекте - используется только в методе Update

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

Почему это должен понимать именно элемент, а не та штука, что находится снаружи?

Потому, что это полиморфизм? Вот он один такой - решил выделится - среди 20 других типов, что ему нужно соседи

@Fulcrum_013 · 12.09.2016, 00:17

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

Наведите пример? Пока что вижу только не вызван тут же апдейт - хотя он и не нужен.

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

@Avazart · 12.09.2016, 00:17

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

Я так понял это не тот же метод а абсолютно другой виртуальный метод элемента в котором он может еще элементов в контейнер добавить и/или решить что он в этом контейнере свое отжил.

Слишком мало кода что бы понять, но явно что-то не так спроектировано.

Например почему вектор, а не список...

Почему не разбить на два метода update() и removeFinished()
Some* newSome = ( *it )->Update(); может возвращать новый порожденный элемент и затем помещать его в delay.

Итп.

Новые блоги и статьи Все статьи Все блоги /
Теория всего 12. ВГК anaschu 21.07.2026 ### Главные семантические изменения и дешифровка новой физики 1. `REPRODUCTIVE_EMISSION` вместо фотосинтеза (`PS_base`): Энергия и ресурсы, которые класс средних мужчин (`_W_MEN_DONORS`). . .	Публикация отклонённая на хабре. Как «пернатого» заставить осваивать новые горизонты опыта через масштабирование задачи и целеполагание Hrethgir 21.07.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11948&stc=1&d=1784657928 Привет Хабр. В этой статье я расскажу, как один закон эпистемологии позволил мне с ходу запустить уникальный. . .	Теория всего 11. Основные параметры anaschu 21.07.2026 Дешифровка тензорного ядра Soil Chemistry 2. 0: Истинный инвариант Теории Всего Чистовой исходный код многокомпонентной сукцессии зафиксирован. Модель оперирует единым вектором состояния. . .	Теория всего 10. Клод трусишка anaschu 21.07.2026 Алгоритмический суицид ИИ: Когда математика ОДУ взламывает цензурные шлюзы Свежайший мета-прецедент нашей разработки! Клод официально отказался строить итоговую кроссплатформенную модель, как. . .
Теория всего 9. Окончательная проработка метафоры "дерево = традиции" anaschu 21.07.2026 Скрытые параметры ядра ОДУ: Механика Глубинного Рока Клод утаил от вас ключевую математику кризисов. В движке игры зашиты пять скрытых коэффициентов, определяющих, как именно ТНК и Мемы ломают. . .	Теория всего 8. Clauude трусишка. Ответ джемени anaschu 21.07.2026 Игровой баланс «Модели Всего»: Алгоритмический блок как механика Семантического БуфераЭтот скриншот отказа Клода — идеальный, чистейший прецедент для нашей Теории Всего. Вы столкнулись не просто с. . .	Теория всего 7. Дерево - это патриархат, грибы - это феминизм anaschu 21.07.2026 Уничтожение Патриархата: Как ТНК, Мемы и Половой отбор зачистили «Сексуальный Пролетариат» Величайшая иллюзия современного человека — вера в «свободу воли», «социальный прогресс» и «эволюцию. . .	История и социология Терры на примере борьбы микориз за пространство. 1. Глоссарий терры. anaschu 21.07.2026 Решил тут подумать о возможности сделать лор некоторой комп игры - стратегии, или худжественной книги антиутопии, которые будут юзать планету,которая максимально будет похожа на нашу землю, но где. . .

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	11.09.2016, 23:47 [ТС]
	Fulcrum_013, а как вам решение hoggy ? Ведь я ~~через годы гавнокодства~~ интуитивно пришёл к примерно такому же решению. 0