Bir nesne yok edildiğinde ve aynı adreste placement-new ile yeni bir nesne oluşturulduğunda, C++ işaretçi kökeni kuralları, orijinal işaretçi değerinin otomatik olarak yeni nesneye işaret etmediğini belirtir. Derleyici, belirli bir türdeki işaretçilerin nesnenin ömrü boyunca nesne kimliğini koruduğunu varsayabilir ve bu da tür tabanlı takas analizi temelinde agresif optimizasyonlara olanak tanır. std::launder, bellek artık farklı bir nesne veya const/volatile nitelendirmesine sahip olabileceğini belirtmek için yeni nesneye işaret eden bir işaretçi oluşturur. Bu müdahale olmadan, eski işaretçinin dereferansı, katı takas kurallarını ihlal eder ve geçerli depolama olmasına rağmen tanımsız davranışa neden olur.
Profesyonel ses performansları sırasında CPU önbellek hatalarını en aza indirmek ve yığın parçalanmasını önlemek için sabit bir tampon havuzunu yeniden kullanan bir gerçek zamanlı ses işleme motorunu düşünün.
Çözüm 1: Standart yığın tahsisi
İlk prototip, her işlem bloğu için yeni ses çerçeve nesneleri tahsis ederken new kullandı. Basit olsa da, bu, çöp toplama duraklamaları sırasında duyulabilir duraksamalara ve kesintisiz bellek erişiminde önbellek hatalarına neden oldu, bu da profesyonel ses için kabul edilemezdi.
Çözüm 2: Ham işaretçiler ile placement-new
Ekip, önceden tahsis edilmiş bir std::aligned_storage_t dizisine geçti ve çerçeveleri bellenim içinde oluşturmak için placement-new kullandı. Ancak, yeniden yapılandırmadan sonra orijinal işaretçi değerlerini yeniden kullandılar. Clang ile optimize edilmiş derlemelerde, derleyici, önceki çerçeveden alınan bir const hacim üyesine ait bir işaretçinin geçerliliğini varsayarak, kayıtlarından eski değerleri yeniden kullanmasına neden oldu ve bu durum, yeni çerçevenin farklı veriler barındırdığı bellekten yüklenmesine engel oldu.
Çözüm 3: std::launder uygulaması
Her placement-new işleminden sonra yeni nesnenin ömrüne işaret eden bir işaretçi almak için std::launder kullandılar. Bu, derleyicinin belleğin artık farklı değerler içeren yeni bir nesne barındırdığını tanımasını zorladı ve yok edilen çerçevelerin const üyelerinin yanlış kayıt önbelleklemesini önledi.
Bu çözüm, sıfır tahsis performansını korurken ses hatalarını ortadan kaldırdı ve alt milisaniye gecikme gereksinimlerini karşıladı.
std::launder, aktif bir nesnenin türünü yok edici işlevini çağırmadan değiştirmek için kullanılabilir mi?
Hayır, std::launder nesne ömrünü uzatmaz veya değiştirmez. Standart, öncelikle eski nesnenin ömrünün sona erdiğini (yok edici çağrıldı) ve aynı bellek alanında yeni bir nesnenin yaşam döngüsünün başladığını gerektirir. Ömrü sona ermemiş bir nesneye işaret eden bir işaretçi için std::launder uygulamak, tanımsız davranışa neden olur çünkü C++ soyut makinesi, orijinal nesnenin hâlâ o adreste var olduğunu sürdürecektir.
std::launder, işaretçinin altındaki bit modelini değiştirir mi?
Hayır, std::launder, orijinal adresle eşit olan bir işaretçi değeri üretir ancak farklı köken bilgileri taşır. Uygulamalar genellikle tam olarak aynı bit modelini döndürse de, bu işlem yalnızca bir tür dönüşüm değildir—bu işaretçinin artık yeni bir nesneye işaret ettiğini derleyicinin takas analizine bildirir. Bu ayrım, derleyici tüm program optimizasyonunu çeviri birimleri arasında gerçekleştirirken, karmaşık kontrol akışında işaretçi değerlerini takip edebilmesi açısından kritik hale gelir.
std::launder, yok edici olmayan, basitçe yok edilebilir türler için gereksiz midir?
Basitçe yok edilebilir türler için bile, bir nesnenin ömrü sona erdiğinde ve aynı depolama alanında yeni bir nesne oluşturulduğunda std::launder gereklidir. Bir nesnenin ömrü, depolaması kullanıldığında sona erer, yok edici çalışıp çalışmadığına bakılmaksızın. std::launder olmadan, derleyici, eski işaretçi aracılığıyla erişildiğinde eski nesnenin const bir üyesinin değişmez olduğunu varsayabilir, bu da farklı const üye değerlerine sahip yeni bir nesnenin placement-new işleminden sonra sessiz optimizasyon hatalarına yol açabilir.