संकेत पर एकल +

Question

मैं सिर्फ draft of the C++11 standard के माध्यम से ब्राउज़ कर रहा था और पाया निम्नलिखित पेचीदा बयान (§13.6/8):

हर प्रकार के लिए T वहाँ मौजूद फार्म के उम्मीदवार ऑपरेटर कार्यों

T* operator+(T*); 

पॉइंटर पर यह "यूनरी +" ऑपरेटर कैसे समझा जाना चाहिए? क्या यह सामान्य मामले में सिर्फ एक नो-ऑप है, जिसे फिर भी ओवरलोड किया जा सकता है? या क्या यहां कुछ गहरा बिंदु है, मैं यहां याद कर रहा हूं?

Answer 1

अपने प्रश्न का उत्तर उद्धरण आप — §13.6/1 उद्धृत ऊपर सिर्फ एक पृष्ठ है:

उम्मीदवार ऑपरेटर कार्यों कि प्रतिनिधित्व निर्मित ऑपरेटरों खण्ड 5 में परिभाषित किया गया इस उपखंड में निर्दिष्ट कर रहे हैं । ये उम्मीदवार 13.3.1.2 में वर्णित ऑपरेटर ओवरलोड रिज़ॉल्यूशन प्रक्रिया में भाग लेते हैं और इसका उपयोग किसी अन्य उद्देश्य के लिए नहीं किया जाता है। [नोट: क्योंकि अंतर्निहित ऑपरेटर केवल गैर-वर्ग प्रकार के साथ संचालन करते हैं, और ऑपरेटर ओवरलोड रिज़ॉल्यूशन तब होता है जब एक ऑपरेंड अभिव्यक्ति में मूल रूप से कक्षा या गणना प्रकार होता है, ऑपरेटर ओवरलोड रिज़ॉल्यूशन केवल अंतर्निहित ऑपरेटर को हल कर सकता है एक ऑपरेंड में एक क्लास प्रकार होता है जिसमें ऑपरेटर के लिए उपयुक्त गैर-वर्ग प्रकार के लिए उपयोगकर्ता द्वारा परिभाषित रूपांतरण होता है, या जब किसी ऑपरेंड में एक गणना प्रकार होता है जिसे ऑपरेटर के लिए उचित प्रकार में परिवर्तित किया जा सकता है। यह भी ध्यान रखें कि इस उपखंड में दिए गए कुछ उम्मीदवार ऑपरेटर फ़ंक्शन अंतर्निहित ऑपरेटरों की तुलना में अधिक अनुमोदित हैं। जैसा कि 13.3.1.2 में वर्णित है, अंतर्निर्मित संकल्प द्वारा अंतर्निहित ऑपरेटर का चयन करने के बाद अभिव्यक्ति क्लॉज 5 में दिए गए अंतर्निहित ऑपरेटर की आवश्यकताओं के अधीन है, और इसलिए वहां दी गई अतिरिक्त अर्थपूर्ण बाधाओं के लिए। यदि एक अंतर्निहित उम्मीदवार ऑपरेटर फ़ंक्शन के रूप में एक ही नाम और पैरामीटर प्रकार वाले उपयोगकर्ता-लिखित उम्मीदवार हैं, तो अंतर्निहित ऑपरेटर फ़ंक्शन छिपा हुआ है और उम्मीदवार कार्यों के सेट में शामिल नहीं है। अंत टिप्पणी]

Answer 2

ठीक है, आप इसे जो चाहें करें कर ओवरलोड सकता है, लेकिन इसके साथ एकल समरूपता के लिए बस नहीं है - ऑपरेटर। जैसा कि आप उल्लेख करते हैं, यह ज्यादातर समय का नो-ऑप है।

Answer 3

+ संकेत पर rvalues ​​चीजों मोड़ के अलावा एक NOOP है। कभी-कभी यह उपयोगी है अगर आप सरणियों क्षय करना चाहते हैं या कार्य करता

int a[] = { 1, 2, 3 }; 
auto &&x = +a; 

अब x एक int*&&, न कि किसी int(&)[3] है। यदि आप टेम्पलेट्स पर x या +a पास करना चाहते हैं, तो यह अंतर महत्वपूर्ण हो सकता है। a + 0, विचार

struct forward_decl; 
extern forward_decl a[]; 
auto &&x = +a; // well-formed 
auto &&y = a + 0; // ill-formed 

अंतिम पंक्ति बीमार बनाई है क्योंकि एक सूचक के लिए कुछ भी जोड़ने की आवश्यकता है सूचक के बताया-टू वर्ग प्रकार पूरी तरह से परिभाषित किया जाना (क्योंकि यह sizeof(forward_decl) * N बाइट्स द्वारा अग्रिम) बराबर हमेशा नहीं है।