नियमित सूचक के साथ स्मार्ट पॉइंटर की तुलना करने का कोई मानक तरीका नहीं है?

Question

क्यों सी नहीं ++ मानक स्मार्ट संकेत (unique_ptr, shared_ptr, ...) नियमित रूप से संकेत (टी *) से तुलना करने के लिए तुलना ऑपरेटरों शामिल होते हैं?

टॉम

अद्यतन मैं पता लगाने के लिए कि यह कैसे किया जा सकता है नहीं देख रहा हूँ। प्रश्न यह है कि इसे सी ++ मानक के हिस्से के रूप में क्यों परिभाषित नहीं किया जाता है? Unique_ptr और shared_ptr के लिए ऐसी परिभाषाएं छोटी होंगी। क्लास ए unique_ptr कुंजी के साथ एक नक्शा है:

इस के लिए एक उपयोग के मामले निम्नलिखित है। अद्वितीय प्रबंधन का उपयोग स्मृति प्रबंधन के लिए किया जाता है। जब कक्षा ए के उपयोगकर्ता ने नियमित पॉइंटर पास किया, तो इस मानचित्र के अंदर एक लुकअप किया जाता है। दुर्भाग्य से, मानक तुलना ऑपरेटर परिभाषित नहीं करता है।

Answer 1

क्यों नहीं सी ++ मानक स्मार्ट संकेत (unique_ptr, shared_ptr तुलना करने के लिए तुलना ऑपरेटरों में शामिल हैं, .. नियमित नियमित पॉइंटर्स (टी *) के साथ?

इस निर्णय के पीछे सिद्धांत आमतौर पर "गलत तरीके से उपयोग करने के लिए अपने इंटरफ़ेस को सही और कठिन/असंभव उपयोग करने में आसान" कहा जाता है।

वैचारिक रूप से, एक चतुर संकेतक और एक कच्चे सूचक ही नहीं हैं।

एक स्मार्ट सूचक प्रतिबंध लगाता है (यानी "unique_ptr एक सूचक है, लेकिन आपके पास एकाधिक प्रतियां नहीं हो सकती हैं")। यद्यपि वे पॉइंटर्स की तरह व्यवहार करते हैं (एक बिंदु पर - यदि आप पन क्षमा करेंगे), उनके पास अलग-अलग अर्थशास्त्र हैं।

यही है, यदि आपके पास:

int *p1 = new int{5}; 
std::unique_ptr<int> p2{new int{5}}; 

p1 == p2.get(); 

तुलना करने के लिए आसान है, स्पष्ट है, और यह स्पष्ट है कि आप सेब और सेब (समझने के लिए क्या हो रहा है आसान तुलना कर रहे हैं बनाता है - आप तुलना कर रहे हैं कच्चे सूचक के मूल्य के साथ)।

दूसरी ओर एक कस्टम तुलना ऑपरेटर होने से अजीब प्रश्न उठेंगे ("एक अद्वितीय_प्टर अद्वितीय है; आप इसे किसी और चीज़ से कैसे तुलना कर सकते हैं? - यदि यह अद्वितीय है, तो यह हमेशा अलग होना चाहिए")।

Answer 2

तुम सिर्फ कर सकते हैं smart_ptr.get() == raw_ptr, क्या उस के साथ गलत क्या है?

Answer 3

क्योंकि तुलना ऑपरेटरों की तुलना नहीं है क्या करने के लिए, केवल वास्तविक सूचक बताया है। और चूंकि स्मार्ट पॉइंटर्स के पास वास्तविक कच्चे सूचक का "स्वामित्व" होता है, इसलिए कोई भी अन्य कच्चा सूचक तुलनात्मक स्मार्ट सूचक के समान नहीं हो सकता है।

Answer 4

मुख्य कारण शायद इसलिए है क्योंकि यदि आप मानक स्मार्ट पॉइंटर्स का उपयोग कर रहे हैं, तो ऑब्जेक्ट पर कोई कच्चा पॉइंटर्स नहीं होना चाहिए। वस्तु के लिए एक कच्चे सूचक होने लगभग एक गारंटी नहीं है कि रखरखाव के दौरान कुछ बिंदु पर, किसी इसे से एक दूसरे स्मार्ट सूचक बनाने, विनाशकारी परिणामों के साथ खत्म हो जाएगा है। (एक अपवाद एक अशक्त सूचक है, और मानक एक अशक्त सूचक निरंतर के साथ तुलना की अनुमति नहीं देता।)