Tại sao không có chuyên môn :: shared_ptr <T[]>?

Question

Tiêu chuẩn cung cấp một mẫu chuyên môn của std::unique_ptr đó một cách chính xác gọi là delete[] từ destructor của nó:

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

    ....... 
} 

Với std::shared_ptr chuyên môn hóa này không có sẵn, vì vậy nó là cần thiết để để cung cấp một deleter đó một cách chính xác gọi delete[]:

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

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

Đây có phải chỉ là sự giám sát không? (giống như cách có một số std::copy_if) hoặc có lý do gì không?

Answer 1

LWG (Nhóm làm việc thư viện của ủy ban C++) đã nhanh chóng xem xét khả năng nhưng ý tưởng không phải là không có tranh cãi. Mặc dù tranh cãi chủ yếu là về một tính năng được thêm vào đề xuất shared_ptr<T[]> có thể đã bị hủy bỏ (số học trên shared_ptr<T[]>).

Nhưng cuối cùng lý do thực sự là mặc dù nó đã được thảo luận, chưa bao giờ có một đề xuất bằng văn bản thực tế ở phía trước của LWG để làm điều này. Nó không bao giờ nổi lên danh sách ưu tiên của bất kỳ ai (kể cả của riêng tôi) đủ để đặt thời gian vào việc viết một đề xuất.

Cuộc hội thoại không chính thức gần đây đã bắt đầu một lần nữa về chủ đề này trong số ít thành viên LWG và tôi đã tự tạo mẫu cho nó. Nhưng vẫn không có đề xuất bằng văn bản cho nó. Tôi nghĩ rằng nó sẽ là một công cụ bổ sung phong nha trong hộp công cụ. Cho dù điều đó có thực sự xảy ra hay không thì bất cứ ai cũng đoán được.

Cập nhật

mảng hỗ trợ cho shared_ptr bây giờ có một dự thảo TS:

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

Update (2017)

này hiện nay được hỗ trợ trong C++ 17. Xem trường hợp 3 của shared_ptr::shared_ptr()