C++11'den önce, keyfi çağrılabilir nesneleri depolamak, ham işlev işaretçileri veya özel çok biçimliliğe sahip temel sınıflar gerektiriyordu. std::function'ın tanıtılması, her türlü çağrılabilir nesneyi depolayabilen tip silinmiş bir sarmalayıcı sağladı, ancak CopyConstructible gereksinimlerini zorunlu kıldı ve küçük eğriliği kaçınmak için Küçük Bellek Optimizasyonu (SBO) kullandı. C++14 ve C++17 'in std::unique_ptr gibi taşınabilir türleri popüler hale getirmesiyle, geliştiriciler std::function'ın benzersiz kaynakları yakalayan lambdaları depolayamadığı kısıtlamasıyla karşılaştılar. C++23, kopya gereksinimini ortadan kaldıran ve taşıma tabanlı çağrılabilir nesnelere destek veren std::move_only_function'ı tanıttı.
std::function, gerçekte çağrılabilir türü tekdüze bir arayüzün ardında gizlemek için tür silme kullanır. Çağrılabilir nesne, dahili tampon boyutunu (genellikle 16–32 byte) aştığında, uygulama yığında depolama tahsis eder. Ancak, temel kısıtlama, std::function'ın kendisinin kopyalanabilir olmasıdır; bu, tür silme mekanizmasının sanal dağıtım yoluyla bir "klon" işlemi uygulamasını gerektirir. Sonuç olarak, depolanan çağrılabilir nesne CopyConstructible olmalıdır, bu da std::unique_ptr veya dosya tutucularını yakalayan taşınabilir lambdaları dışlar. Bu durum, geliştiricilerin std::shared_ptr kullanmaya (atomik yük ekleyerek) veya manuel sanal kalıtım (dolaylılık ekleyerek) zorlamaktadır.
std::move_only_function, CopyConstructible gerekliliğini ortadan kaldıran taşınabilir bir sarmalayıcıdır. Taşınabilir nesneleri depolamasına izin veren taşınabilir bir sanal tablo deseni aracılığıyla tür silmesi sağlar. std::function gibi, küçük eğriliği kullanarak küçük eğrileri yığında tahsis etmeden iç depolamaya doğrudan yerleştirir. Bu, bir fabrika fonksiyonundan std::unique_ptr'ı yakalayan bir lambdayı döndürme veya sanal dağıtım fazlası olmadan kapsayıcılar içinde özel mülkiyet geri çağırmalarını depolama gibi desenleri mümkün kılar.
#include <functional> #include <memory> #include <iostream> // C++23 std::move_only_function’un basitleştirilmiş simülasyonu template<typename Signature> class MoveOnlyFunc; template<typename Ret, typename... Args> class MoveOnlyFunc<Ret(Args...)> { struct Concept { virtual Ret call(Args... args) = 0; virtual ~Concept() = default; }; template<typename F> struct Model : Concept { F f; Model(F&& f) : f(std::move(f)) {} Ret call(Args... args) override { return f(args...); } }; std::unique_ptr<Concept> impl; public: template<typename F> MoveOnlyFunc(F&& f) : impl(std::make_unique<Model<F>>(std::forward<F>(f))) {} MoveOnlyFunc(MoveOnlyFunc&&) = default; MoveOnlyFunc& operator=(MoveOnlyFunc&&) = default; Ret operator()(Args... args) { return impl->call(args...); } }; int main() { auto ptr = std::make_unique<int>(42); // std::function başarısız olur: kopyalanamaz tipin yakalanması MoveOnlyFunc<void()> task = [p = std::move(ptr)] { std::cout << "Değer: " << *p << " "; }; task(); // Çıktı: Değer: 42 }
Kontekst: Yüksek frekanslı ticaret (HFT) platformu, bir iş parçacığı havuzu dağıtım sistemi aracılığıyla piyasa olaylarını işler. Her görev, yanıtları göndermek için bir ağ soketini, özel mülkiyet ve otomatik temizleme sağlamak için bir std::unique_ptr<Socket> olarak modelleyen bir kapsayıcıdır.
Sorun: Eski dağıtım kuyruğu, tür silinmesi için std::function<void()> kullanmaktaydı. Kaynak yönetimini modernize etmek amacıyla ham işaretçileri std::unique_ptr'a geçiş yapıldığında, derleme kopyalanamaz olan lambda ile ilgili hatalarla başarısız oldu. Bu, std::function'ın taşınabilir çağrılabilirleri depolayamayacağı nedeniyle göçü engelliyordu ve mimarinin gözden geçirilmesini zorunlu kılıyordu.
Düşünülen çözümler:
1. unique_ptr'ı shared_ptr ile değiştirme: Soket mülkiyetini std::shared_ptr'a dönüştürmek, std::function'ın kopyalanabilirlik gerekliliğini karşılayacaktı.
Artıları: Minimal kod değişiklikleri, standart std::function uyumluluğu.
Eksileri: Atomik referans sayımı mikro saniye ölçeğinde kabul edilemez bir gecikme ekler. Anlamsal olarak yanlış: soketler görevler arasında paylaşılmamalıdır; mülkiyet tamamen devredilmelidir.
2. Polimorfik görev temel sınıfı: Sanal execute()'ye sahip soyut bir Task arayüzü uygulamak ve kuyrukta std::unique_ptr<Task> depolamak.
Artıları: Temiz mülkiyet anlamları, kopyalanabilirlik gereksinimi yok.
Eksileri: Sanal dağıtım aşınmaları (vtable dolaylılığı) her çağrıya nanosaniyeler ekler. Her görev nesnesi için yığın tahsisi gerektirir, sıcak yolda belleği parçalar.
3. Özel taşınabilir tür silmesi: std::aligned_storage kullanarak ve manuel sanal tablolarla şablon tabanlı tür silmeyi elle oluşturmak.
Artıları: Optimal performans, taşınabilir destek.
Eksileri: Dikkatli hizalama yönetimi ve yıkıcı yönetimi gerektiren kırılgan bir uygulama. Şablon meta programlama kodu için bakım yükü.
4. C++23 std::move_only_function'ı benimsemek: Derleyiciyi C++23'ü destekleyecek şekilde güncellemek ve std::function'ı std::move_only_function ile değiştirmek.
Artıları: SBO (küçük kapanışlar için yığın yok), sıfır sanal dağıtım aşırı yükü, yerel taşıma desteği ile standartlaştırılmış bir çözüm. Özel mülkiyet gerekliliğine mükemmel bir şekilde uyum sağlar.
Eksileri: C++23 araç zinciri mevcudiyetini gerektirir. Bağımlı API'lerin yeni türü kabul etmesi için güncellenmesini gerektirir.
Seçilen çözüm: Ticaret firmasının derleyicisinin C++23’ü desteklediği onaylandıktan sonra çözüm 4 seçildi. Göç, dağıtım kuyruğundaki std::function<void()>'ı std::move_only_function<void()> ile değiştirmeyi içeriyordu.
Sonuç: Sistem, taşınabilir soket kaynaklarını başarıyla yönetti. Karşılaştırmalar, shared_ptr yaklaşımına kıyasla görev dağıtım gecikmesinde %15 azalma gösterdi ve SBO sayesinde küçük kapanışlar için sıfır yığın tahsisi sağlandı. Kod tabanı özel tür silme hacklerini ortadan kaldırarak bakım kolaylığını artırdı.
Neden std::function, std::function nesnesi asla kopyalanmasa bile, çağrılabilir nesnenin CopyConstructible olmasını gerektiriyor?
Adaylar genellikle kopyalanabilirliğin sadece kopyalanma sırasında kontrol edildiğini varsayıyor. Ancak std::function tasarım gereği CopyConstructible’dır. Tür silme mekanizması, sarmalayıcının kopyalanmasını desteklemek için sanal tabloda bir "klon" işlemi sağlamalıdır. Eğer depolanan çağrılabilir nesne bir kopya yapıcıya sahip değilse, bu işlem uygulanamaz hale gelir ve tip, oluşturma zamanında uyumsuzdur. Bu, sarmalayıcının tür imzasından kaynaklanan bir derleme zamanı kısıtlamasıdır, çalışma zamanı kontrolü değildir. Standart, çağrılabilir nesnenin CopyConstructible modelini sağlamasını gerektirir ki bu da tür silme katmanının std::function'ın kendi kopya anlamlarını tatmin etmesini sağlar.
Küçük Bellek Optimizasyonu (SBO), std::function taşımaları sırasında istisna güvenliği ile nasıl etkileşir?
Birçok aday, std::function'ın taşınmasının noexcept olduğunu varsayıyor. Sarmalayıcının kendisini taşımak ucuz olsa da, eğer saklanan çağrılabilir dahili tampon içinde (aktif SBO) ise ve taşıma yapıcı noexcept değilse, std::function taşıma yapıcı istisnaları yayabilir. Bu, std::vector gibi konteynerlerin yeniden tahsis sırasında güçlü istisna güvenliği için gerektirdiği noexcept garantilerine aykırıdır. İçerilen çağrılabilir nesnenin taşıması noexcept değilse ve uygulama buna göre optimize edilmediyse, standart std::function için noexcept taşımaları garanti etmez. Bu ayrıntı, noexcept taşıma işlemlerine dayanarak performans sağlayan konteynerlerde std::function nesneleri saklanırken önemlidir.
Neden std::function, sarılı çağrılabilir nesneden referans nitelenmelerini (&& veya &) operator()'a iletemez ve std::move_only_function bunu nasıl çözer?
std::function'ın çağrı operatörü her zaman const-nitelikli olup sarmalayıcıyı bir lvalue olarak ele alır; bu, kaynak tüketen bir çağrılabilir nesneyi (rvalue-nitelikli operator()) sarmalayıcı aracılığıyla çağırmayı engeller. std::move_only_function, imzaya referans nitelenmelerini belirtmeye (örneğin, std::move_only_function<void() &&>) izin vererek bunu çözmektedir. Çağrılabilir nesneyi doğru değer kategorisi ile çağırmak için metadata veya ayrı sanal tablo girdileri depolar; bu, sarmalayıcının değer durumunu altındaki çağrılabilir nesneye mükemmel bir şekilde iletmesini sağlar. Bu, sarılı çağrılabilir nesnenin lvalue ve rvalue çağrılarını ayırt etmesine izin vererek, işlevsel borularda taşıma semantics'i açısından önemlidir.