unique_ptr vs shared_ptr'de deleter tipi

Question

Standardın std::unique_ptr ve std::shared_ptr tanımlayıcısının işaretçinin sahip olabileceği bir Deleter ile ilgili iki farklı şekilde tanımladığını keşfettiğimde çok meraklı olduğunu düşündüm. İşte cppreference::unique_ptr ve cppreference::shared_ptr gelen beyanıdır:

template< 
    class T, 
    class Deleter = std::default_delete<T> 
> class unique_ptr; 

template< class T > class shared_ptr; 

Eğer unique_ptr "kaydeder" Bir şablon argüman olarak Deleter-nesne tipi görebileceğiniz gibi.

// unique_ptr has a member function to retrieve the Deleter 
template< 
    class T, 
    class Deleter = std::default_delete<T> 
> 
Deleter& unique_ptr<T, Deleter>::get_deleter(); 

// For shared_ptr this is not a member function 
template<class Deleter, class T> 
Deleter* get_deleter(const std::shared_ptr<T>& p); 

birisi bu farkın arkasında rasyonel açıklayabilir: Bu aynı zamanda Deleter sonradan pointer alınır şekilde görülebilir? unique_ptr konseptini açıkça destekledim, bu neden shared_ptr için geçerli değil? Ayrıca, neden bu durumda get_deleter üye olmayan bir işlev olur? İşte

Answer 1

akıllı işaretçiler için orijinal öneri bulabilirsiniz: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2003/n1450.html

Oldukça hassas bir şekilde soruya cevap verir:

deleter kesilmez tahsisi strateji değiştirerek, tip bir parçası olmadığından Kaynak veya ikili uyumluluk ve istemci yeniden derleme gerektirmez. Farklı silicilere ile shared_ptr örnekleri aynı kap içinde muhafaza edilebilir, örneğin, biraz daha fazla esneklik std::shared_ptr istemcileri verir, çünkü

bu da yararlıdır.

Ayrıca, shared_ptr uygulamalarının bir paylaşılan bellek bloğuna gereksinim duyduğu için (referans sayımını saklamak için) ve her ne kadar aldatıcı bir şekilde işlenmemiş işaretlere göre biraz daha fazla yük olması gerektiğinden, silinen bir silme eklemenin büyük bir önemi yoktur. İşte. Öte yandan, hiçbir ek yükün olmaması için her yerde üst üste bindirilmek zorundadır ve her örnek onun delerini gömmek zorundadır, bu nedenle türün bir parçası yapmak, yapılması gereken doğal şeydir.