Perché non esiste una specializzazione per std :: shared_ptr <T[]>?

Question

Mi chiedevo perché gli array dinamici sono direttamente supportati da std::unique_ptr<> ma non da std::shared_ptr<>:

unique_ptr<int[]> ptr1(new int[n]); /// OK! 
shared_ptr<int[]> ptr2(new int[n]); /// Incorrect: will not call delete[] 

Update: ho scoperto che la seconda linea può essere riscritto come:

shared_ptr<int> ptr2(new int[n], default_delete<int[]>()); 

Ora mi chiedo cosa sta succedendo dietro la scena che rende std::shared_ptr funziona con il secondo approccio e non nel modo simile a std::unique_ptr?

Answer 1

Con shared_ptr è necessario utilizzare un deleter personalizzato che richiama delete[], se si alloca l'array con new[].

Inoltre, si deve fare attenzione con up e down-casting proprio come con i puntatori raw, in modo da non invocare il comportamento non definito.

unique_ptr ha il supporto diretto per gli array, in modo tale che quando sa che contiene un puntatore all'array non è possibile eseguire il down- o down-cast e il delet predefinito richiama delete[].