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

Question

Lo standard fornisce un modello di specializzazione di std::unique_ptr che chiama correttamente il delete[] dal suo distruttore:

void func() 
{ 
    std::unique_ptr<int[]> arr(new int[10]); 

    ....... 
} 

Con std::shared_ptr questa specializzazione non è disponibile, quindi è necessario fornire una delezione che chiama correttamente delete[]:

void func() 
{ 
    // Usage 
    shared_ptr array (new double [256], [](double* arr) { delete [] arr; }); 

    .............. 
} 

Si tratta semplicemente di una svista? (nello stesso modo in cui esiste un std::copy_if) o c'è un motivo?

Answer 1

Il LWG (gruppo di lavoro della biblioteca del comitato C++) ha considerato brevemente la possibilità, ma l'idea non è stata senza polemiche. Sebbene la polemica riguardasse principalmente una funzionalità aggiunta alla proposta shared_ptr<T[]> che avrebbe potuto essere eliminata (aritmetica su shared_ptr<T[]>).

Ma alla fine la vera ragione reale è che sebbene sia stato discusso, non c'è mai stata una proposta scritta reale di fronte al LWG per farlo. Non ha mai fatto esplodere la lista di priorità di nessuno (incluso il mio) in modo sufficiente da dedicare tempo alla stesura di una proposta.

Le conversazioni informali sono recentemente ricominciate su questo argomento tra alcuni membri del LWG e l'ho personalmente prototipato. Ma non c'è ancora una proposta scritta per questo. Penso che sarebbe uno strumento aggiuntivo decente nella cassetta degli attrezzi. Se mai accadrà o no, nessuno lo sa.

Aggiorna

supporto Array per shared_ptr ad oggi un progetto di TS:

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4077.html

Update (2017)

Questo è ora supportata in C++ 17. Vedi caso 3 di shared_ptr::shared_ptr()