Gereklilik, C++'ın tür bozulma kurallarından ve derleme zamanında silici seçimi gerekliliğinden kaynaklanmaktadır. Bir dizi türü bir şablona geçirildiğinde, dizi boyutu bilgisi kaybolur; bu, ölçekli (delete) ile dizi (delete[]) önbelleğe alınmış bilgileri ayırt etmemize engel olur. std::unique_ptr, bu durumu kısmi şablon uzmanlığı ile çözer: ana şablon std::unique_ptr<T>, ölçekli delete çağıran std::default_delete<T> kullanırken, std::unique_ptr<T[]>, delete[] çağıran std::default_delete<T[]>'yi başlatır. Bu açık sözdizimi, derleyicinin doğru yıkım kodunu, çalışma zamanında tür incelemesi veya ek yük olmadan oluşturmasını sağlar.
Kontekst: Düşük gecikmeli bir ses işleme motoru, new float[buffer_size] ile tahsis edilen PCM örnek tamponlarını bir donanım sürücüsü API'sinden alır. Bu tamponlar, katı gerçek zamanlı kısıtlamaları ve istisna güvenliğini koruyarak, bir dizi dijital sinyal işleme filtresinden geçmelidir.
Sorun: Ekip, bu C tarzı diziler için RAII güvenliği sağlayan akıllı gösterici çözümlerine ihtiyaç duyuyordu; std::vector'ın boyut/kapasite takip ek yükü olmadan, çünkü bu SIMD işlemleri için önbellek hizalama gereksinimlerini ihlal ederdi. Kritik olarak, dizi tahsis edilen bellek üzerinde ölçekli delete kullanmak, yığın bozulmasına ve ses borusunun çökmesine neden olacaktı.
Elle silinmeyle çıplak gösterici. Bu yaklaşım, her çıkış yolunda açık delete[] çağrılarıyla çıplak float* göstericilerini kullandı. Avantajları: Sıfır soyutlama ek yükü ve doğrudan donanım API'si uyumluluğu. Dezavantajları: İstisna güvensiz; bir filtre işleme sırasında hata fırlatırsa, tampon sızar ve yirmi farklı filtre aşamasında doğru silme mantığını sürdürmek yönetilemez hale gelirdi. Üretimde güvenilirlik riskleri nedeniyle reddedildi.
std::vector<float> kapsayıcı. Tamponları std::vector içinde sarmak, otomatik bellek yönetimi ve boyut takibi sağladı. Avantajları: İstisna güvenliği ve sınır kontrolü olanağı. Dezavantajları: std::vector genellikle 24 bayt ek yük ile kapasite işaretçileri saklar, bu ses donanımı ile sabit boyutlu DMA hizalama sözleşmelerini bozdu. Ayrıca, std::vector değiştirilebilir mülkiyet ve potansiyel yeniden tahsis varsayar, bu sürücünün sabit tampon havuzuyla çelişkiliydi.
std::unique_ptr<float[]> uzmanlığı. Bu çözüm, otomatik olarak std::default_delete<float[]>'yi başlatan std::unique_ptr<float[]>'yi kullandı. Avantajları: Sıfır ek yük (sizeof bir göstericiye eşit), garantili delete[] çağrısı, verimli filtre zinciri teslimatları için taşınabilir anlamlar ve kopyalayıcıların derleme zamanı önlenmesi. Dezavantajları: Paralel izlemeyi gerektiren çalışma zamanı boyut bilgisinin kaybı, ve std::make_unique<float[]>(size), gereksiz olabilecek POD türleri için elemanları değer başlangıçlı hale getirir.
Karar ve Sonuç. std::unique_ptr<float[]>'yi, boyut takibi için hafif bir görünümle birlikte seçtik. Bu, donanım hizalama kısıtlamalarını ihlal etmeden istisna güvenliği sağladı. Sistem, bellek sızıntısı olmadan aylarca ses akışlarını işledi ve açık dizi uzmanlığı, bir geliştiricinin dizi-yeni ile std::unique_ptr<float> kullanmayı denediği kritik bir hatayı derleme sırasında yakaladı, doğru sözdizimini çalışma zamanından önce zorladı.
Neden std::unique_ptr<Base[]>, new Derived[N]'den başlatmayı reddediyor, oysa std::unique_ptr<Derived>, std::unique_ptr<Base>'ye dönüşüyor?
Dizi türleri, tek göstericilerle karşılaştırıldığında yeniden kapsayıcı davranış göstermez. Derived*, gösterici ayarlaması yoluyla Base*'ye kaynaşırken, Derived[], dizi indeksleme aritmetiği, statik tür boyutuna bağlı olduğu için Base[]'ye dönüştürülemez; Derived[]'nin bir Base[] görünümündeki elemanına erişirken i'nin değerini hesaplamak yanlış bayt ofsetlerini üretecektir. Bu nedenle, std::unique_ptr'un dizi uzmanlığı, hatalı hizalanmış belleğe erişimi önlemek için farklı dizi türleri arasındaki dönüştürücü yapıcıları açıkça silerken, ölçekli versiyon dönüşüme izin verir (güvenlik için sanal yıkıcılar gerektirir).
Nasıl std::make_unique<T[]>(n), öğeleri std::make_unique<T>(args...) ile karşılaştırarak başlatır ve bu neden uygulanabilirliğini sınırlar?
Dizi aşırı yükü std::make_unique<T[]>(n), tüm n elemanını değer başlangıçlandırması yapar; bu, ölçekli türleri sıfıra başlatır veya nesneleri varsayılan yapılandırır. Bu, ölçekli biçiminin gerektiği gibi T'nin yapıcısına argümanları iletmediği anlamına gelir. Bu ayrım, belli nesne elemanları için yapıcı argümanları geçemeyeceğiniz için, varsayılan yapılandırıcı olmayan türler için std::make_unique'yi kullanmayı engeller. Adaylar sıklıkla std::make_unique<NonDefaultConstructible[]>(5, args) denemekte, bu derlenmeyi engeller; bu, ya manuel döngüler ya da std::vector kullanarak yerleştirme gerektirir.
Neden std::unique_ptr<T> (ölçekli) bellek yönetimini new T[N] ile yönetirken tanımsız davranış ortaya çıkar, ve derleyiciler neden sessiz kalır?
Ölçekli std::unique_ptr, delete'yi (ölçekli silme) çağıran std::default_delete<T>'yi kullanır. Bu, new T[N]'den tahsis edilen dizi olarak bellek üzerinde uygulandığında, bir eşleşme oluşturarak tanımsız davranışa neden olur; genellikle sadece ilk öğenin belleğini serbest bırakır veya yığın yöneticisinin meta verilerini bozar. Derleyiciler uyarı vermez, çünkü şablon parametresi T bozulur; new T[N] T* döner ve tür sistemi, std::unique_ptr yapısından kaynağını kaybeder. Bu sessiz hata modunun varlığı, std::unique_ptr<T[]>'nin ayrı bir tür güvenli alternatif olarak neden var olduğunun tam sebebidir.