array_ptr को array_ptr के सरणी से अब क्यों अनुमति नहीं दी जा रही है?

Question

cppreference से: अपने Deleter

std::unique_ptr<int[]> arr(new int[1]); 
std::shared_ptr<int> ptr(std::move(arr)); 

shared_ptr के बाद से प्राप्त (एक std::default_delete<T[]>:

सी ++ 11 में और सी ++ 14 यह एक std::shared_ptr<T> एक से std::unique_ptr<T[]> निर्माण करने के लिए मान्य है ऑब्जेक्ट) unique_ptr से, सरणी सही ढंग से डिलीओटेड हो जाएगी।

यह अब C++ 17 में अनुमत नहीं है। इसके बजाय सरणी फॉर्म std::shared_ptr<T[]> का उपयोग किया जाना चाहिए।

सी ++ 17 में इसकी अनुमति क्यों नहीं है? क्या बदल गया?

Answer 1

p0497r0:

:

गलत से unique_ptr

[...]

कार्यान्वयन अनुभव के आधार पर मेरा मानना ​​है कि सही रूप है shared_ptr निर्माण के लिए बाधा टिप्पणी: यह कन्स्ट्रक्टर बराबर नहीं होगा ओवरलोड रिज़ॉल्यूशन में भाग लें जब तक Y*T* और unique_ptr<Y, D>::pointer के साथ संगत है element_type* में परिवर्तनीय है।

जांच अवांछनीय रूपांतरण unique_ptr<T[]> से shared_ptr<T> को रोकता है और "के साथ संगत" "परिवर्तनीय करने के लिए" चेक सुनिश्चित करता है कि unique_ptr<Y, D>::get() का परिणाम shared_ptr में संग्रहित किया जा सकता है और shared_ptr<T>::get() से लौट आए।

दूसरे शब्दों में, यह जानबूझकर अमान्य बना दिया गया था क्योंकि यह वैध नहीं होना चाहिए, न केवल अन्य परिवर्तनों का दुष्प्रभाव।

जो मुझे समझ में आता है। shared_ptr<T> अन्य प्रोग्रामर द्वारा पढ़ा जाने की संभावना है जैसा कि केवल एक T ऑब्जेक्ट को इंगित करता है। shared_ptr<T[]> का उपयोग करने के लिए प्रोग्रामर की आवश्यकता होती है जब वे एकाधिक T ऑब्जेक्ट्स को अधिक पठनीय कोड की ओर ले जाते हैं।

_{नोट: यह सही रूप मानक में नहीं है। तर्कसंगत, हालांकि, मानक में क्या है इस पर एक टिप्पणी है।}