sectree.h for_each_entity() UB

Bu kodda UB var;

it erase edilip continue statement yazılmış. erase(it) sadece silinen elemana ait iterator'ı invalidate eder, statementda loop invalidate edilmiş iteratörü increment ediyor, olması gereken "it = m_set_entity.erase(it)" yazıp for yerine while döngüsüne çevirmek (erase zaten bir sonraki geçerli iterator'ı döndürüyor). Neyse, biraz daha inceleyip özetle C++20 için şöyle bir çözüm üretebilirsiniz;



UB ise neden bugüne kadar patlamadı derseniz adı üstünde UB ne olacağını ancak Allah bilebilir, kimse öngöremez teknik detay için compiler dökümanlarına bakmak lazım.

ubsan yakalamıyor mu bunu acaba

vanguard demiş ki:

ubsan yakalamıyor mu bunu acaba

Hepsini görmek için tıklayın...

ubsan dediğiniz runtime aracı, bu branch zaten runtimeda çok nadir çalışıyordur, ben pek fazla oluşan bir durum olduğunu sanmıyorum. bu sebeple denk gelmek zor

Paylaşım için teşekkürler Mustafa, pointer tutan container'larda nullptr kontrolü eklemeyi unutmamak gerek, en azından null kalmış ptrların deref edilmesini engeller.

Reached demiş ki:

Paylaşım için teşekkürler Mustafa, pointer tutan container'larda nullptr kontrolü eklemeyi unutmamak gerek, en azından null kalmış ptrların deref edilmesini engeller.

C++:

template <class _Func>
void for_each_entity(_Func& func)
{
    std::erase_if(m_set_entity, [this](LPENTITY entity) {
        if (!entity || entity->GetSectree() != this) {
            sys_err("<Factor> SECTREE-ENTITY relationship mismatch");
            return true;
        }

        return false;
    });

    std::ranges::for_each(m_set_entity, std::ref(func));
}

Hepsini görmek için tıklayın...

zaten sanity check, ben atlamışım teşekkürler