Здравей,

Не, erase не освобождава памет - реално погледнато erase при контейнерите не знае какъв е типа на нещото, което маха от списъка - просто го маха, без да прави каквото и да е за него.

Правилно си се ориентирала, че при твоя код това води до memory leak, защото erase-ваш елемент, който е единствения pointer към памет, която е заделена с new - съответно тази памет никога не се освобождава (представи си, че изтриваш номера на някого от телефона си - номера сочи към него, но като махнеш номера от телефона, телефонът ти не отива да затрие истинския човек зад този номер, просто забравя, че го има този човек). Най-вероятно това причинява и другите грешки (8-10 тест) - системата не винаги може да засече правилно превишаване на лимита преди програмата сама да се счупи заради проблеми с алокацията.

Освобождаването става по същия начин, както при нормален указател - пишеш delete и подаваш указателя. Синтаксисът е малко по-странен, защото указателят е сочен от итератор. Съответно трябва да дереференцираме итератора, за да получим указателя, който да изтрием:

if ( ... ) {
  delete *it;
  it = companies.erase(it);
}

Ако това те обърква като код, помисли как би го разбила на отделни променливи:

if ( ... ) {
  Company* c = *it;
  delete c;
  companies.erase(it);
}

В авторското решение това с Company* c = *it се прави като първа стъпка в тялото на цикъла - така if-овете и изтриването са по-прости, защото работим директно с указателя, а не с итератор към указателя.

Като допълнение: това, че delete-ваме указател, сочен от итератор, това няма никакво влияние върху самия итератор (даже и указателя не се променя, само сочената памет се освобождава) - ако някой си изхвърли телефона, това няма автоматично да промени номера в твоя указател за него - просто ако се опиташ да му се обадиш ще имаш "недефинирано поведение".

Поздрави,

Жоро