क्या कंपाइलर स्वचालित रूप से अंतराल के अंतिम उपयोग के लिए std :: move उत्पन्न कर सकता है?

Question

इस तरह का कोड अक्सर आर-मूल्य के संदर्भ में लेख में देखा जाता है:

Dave Abrams: Move It With Rvalue References

void g(X); 

void f() 
{ 
    X b; 
    g(b);    // still need the value of b 
    … 
    g(std::move(b)); // all done with b now; grant permission to move 
} 

एक संकलक इस अनुकूलन स्वचालित रूप से, यानी उत्पन्न कर सकता है एक एल-मूल्य वैसे भी विलुप्त होने जा रही है पता लगाने के लिए और से स्थानांतरित किया जा सकता है, या यह मानक का उल्लंघन होगा, एक सामान्य मामला मानते हुए संकलक को एक्स क्लास के लिए लागू, प्रतिलिपि या विनाश के बारे में कुछ भी नहीं पता है?

यदि ऐसी अनुकूलन की अनुमति है, तो क्या यह अभ्यास में कुछ कंपाइलर द्वारा किया जाता है?

Answer 1

संख्या पर विचार करें:

using X = std::shared_ptr<int>; 
void g(X); 
void f() { 
    X b = std::make_shared<int>(); 
    int &i = *b; 
    g(b);    // last use of 'b' 
    i = 5; 
} 

सामान्य में, संकलक कल्पना नहीं कर सकते कि प्रतियां, चाल के शब्दों और X का विनाशकर्ता फेरबदल सभी के उपयोग के आसपास के कोड पर विश्लेषण के प्रदर्शन के बिना एक वैध बदलाव किया जाएगा b (यानी, पूरे f, g, और उसमें उपयोग किए जाने वाले सभी प्रकार)।

दरअसल, कुछ मामलों में पूरे कार्यक्रम विश्लेषण आवश्यक हो सकता है:

using X = std::shared_ptr<std::lock_guard<std::mutex>>; 
std::mutex i_mutex; 
int i; 
void g(X); 
void f() { 
    X b = std::make_shared<std::lock_guard<std::mutex>>(i_mutex); 
    g(b);    // last use of 'b' 
    i = 5; 
} 

तो b ले जाया जाता है, यह अन्य धागे कि i के लिए उपयोग सिंक्रनाइज़ i_mutex उपयोग करने के खिलाफ एक डेटा दौड़ परिचय देता है।

Answer 2

(...) एक सामान्य मामला मानते हुए संकलक को एक्स क्लास के लिए लागू, प्रतिलिपि या विनाश के बारे में कुछ नहीं पता है?

नहीं, कंप्यूटर्स को विश्वास के आधार पर अनुकूलन करने की अनुमति नहीं है।

स्पष्टता के लिए, यह प्रश्न elision की प्रतिलिपि बनाने के लिए असंबंधित है: कंपेलरों को प्रतिलिपि बनाने की अनुमति दी जा सकती है, लेकिन वे प्रतियां बढ़ने के लिए प्रतियां नहीं बदल सकते हैं।

Answer 3

एक संकलक यह कर सकता है? केवल एक स्पष्ट भाषा विस्तार के रूप में, क्योंकि मानक उन्हें इसके बिना अनुकूलन करने की अनुमति नहीं देता है।

क्या वे इसे करते हैं? नहीं। g(b) का अर्थ g और b की परिभाषा पर आधारित होना चाहिए। g कुछ कॉल करने योग्य प्रकार होना चाहिए, जिसमें एक अधिभार है जो b को कुछ रूपांतरित कर सकता है। सभी उपलब्ध g एस की परिभाषा तक पहुंच और b की परिभाषा को देखते हुए, आपको बिल्कुल निर्धारित करने में सक्षम होना चाहिए कि कौन सा फ़ंक्शन कॉल किया जाएगा।

इस "अनुकूलन" को अनुमति देने के लिए अब यह असंभव है। g(b) एक चाल प्रदर्शन कर सकता है, और हो सकता है कि यह वास्तव में g(b) फ़ंक्शन में होने पर निर्भर करता है। यह एक अच्छी बात नहीं है।

return को इससे दूर जाने की अनुमति है, लेकिन केवल इसलिए कि इसका अभी भी वही अर्थ है। return bb से b से आगे बढ़ने का प्रयास करेगा यदि b एक मूल्य-प्रकार है जो जीवनकाल फ़ंक्शन के दायरे तक सीमित है।