std::vector, C++'ın en sık kullanılan dinamik dizi yapılarından biridir. Ancak, elemanlarını bellekte ardışık bir blokta depolaması nedeniyle, belirli bir konumdan önce yapılan ekleme veya silme işlemleri ile bellek yeniden tahsisleri (reallocation) mevcut iteratörleri ve referansları geçersiz kılabilir. Bu durum, özellikle karmaşık algoritmalar geliştirirken beklenmedik hatalara yol açabilen önemli bir sorundur.
semistable::vector projesi, bu iteratör geçersizliği sorununa bir çözüm sunmayı hedefliyor. std::vector ile aynı API'yi sunarken, iteratörlerin kararlılığını garanti ediyor. Yani, bir eleman silindiğinde veya eklendiğinde bile, mevcut iteratörler doğru elemanı takip etmeye devam ediyor. Bu kararlılık, "epoch descriptor" adı verilen yeni bir mekanizma ile sağlanıyor. Vektörde bir değişiklik (ekleme, silme, yeniden tahsis) olduğunda yeni bir epoch descriptor oluşturuluyor ve iteratörler, kullanıldıklarında bu descriptor zincirini takip ederek konumlarını güncelliyorlar. Bu sayede, iteratörler her zaman doğru elemanı işaret ediyor.
Kütüphane, yalnızca başlık dosyalarından oluşuyor (header-only) ve Boost.Config dışında harici bir bağımlılığı bulunmuyor, C++11 veya üzeri bir derleyici gerektiriyor. Performans açısından yapılan testler, semistable::vector'ın raw() üye fonksiyonu kullanılarak doğrudan işaretçilerle yapılan işlemlerde std::vector ile benzer hızlara ulaştığını gösteriyor. Bu proje, std::vector'ın esnekliğini iteratör kararlılığıyla birleştirmek isteyen C++ geliştiricileri için değerli bir alternatif sunuyor.
Bu proje, C++'taki std::vector iteratör geçersizliği sorununa pratik ve performans odaklı bir çözüm sunarak daha güvenli ve öngörülebilir kod yazımına olanak tanıyor.