एक कॉन्स्ट घोषित ऑब्जेक्ट अपरिभाषित व्यवहार पर एक म्यूटेबल को संशोधित कर रहा है?

Question

मेरे पास एक संदेश प्रणाली है जहां मैं विभिन्न कार्यों के लिए एक संरचना पास करता हूं। एक संक्षिप्त उदाहरण में, संदेश इस तरह वर्णित है:

struct Message { 
    bool wasHandled; 

    Message() { 
     wasHandled = false; 
    } 
}; 

और संदेश हैंडलर इस तरह शुरू हो जाती है:

handleMessage(Message()); 

संदेश स्थिरांक संदर्भ के रूप में पारित कर रहे हैं। इसके लिए मेरा मुख्य प्रेरणा है इसलिए मैं उपरोक्त एक-लाइनर लिख सकता हूं। गैर स्थिरांक संदर्भ द्वारा पारित अगर मैं लिखने के लिए होगा:

Message message; 
handleMessage(message); 

संभाल ध्वज इंगित करता है संदेश समारोह ने संभाला। फ़ंक्शन handleMessage इस प्रकार wasHandled ध्वज को संशोधित करने की आवश्यकता है। एक संभावित क्रियान्वयन होगा:

void handleMessage(const Message& message) { 
    const_cast<bool&>(message.wasHandled) = true; 
    // Do stuff here. 
} 

हालांकि, मेरी समझ के अनुसार,

handleMessage(Message()); 

बराबर है करने के लिए:

const Message message; 
handleMessage(message); 

: ( नोट यह गलत है, स्वीकार किए जाते हैं जवाब देखें)

इसलिए मैं एक कॉन्स ऑब्जेक्ट का मान बदल रहा हूं। वह अपरिभाषित व्यवहार है।

struct Message { 
    mutable bool wasHandled; 

    Message() { 
     wasHandled = false; 
    } 
}; 

यह व्यवहार के रूप में परिभाषित संदेश की घोषणा करेंगे? यह निश्चित रूप से कॉन्स कास्ट भी हटा देगा।

ध्यान दें कि इस विशेष उदाहरण में wasHandle ध्वज वास्तव में कभी नहीं पढ़ा जाता है, और यदि कॉलर इसके बारे में जानना चाहता है तो एक-लाइनर का उपयोग नहीं किया जा सकता है। हालांकि, हकीकत में सभी कॉलर्स ध्वज में रुचि नहीं रखते हैं। यह संदेश handleMessage के अंदर अन्य कार्यों में भी भेजा जा सकता है जो ध्वज का उपयोग करता है।

Answer 1

आपके पास जो जटिल है वह अत्यधिक जटिल है। सबसे पहले, अस्थायी वस्तुओं की आपकी समझ गलत है। Message() एक पूरी तरह से परिवर्तनीय मूल्य है। यह सिर्फ इतना है कि यह एक रावल्यू होने के कारण, lvalue संदर्भ से बंधे नहीं जा सकता है।

void handleMessage(Message & m) { handleImpl(m); } 
void handleMessage(Message && m) { handleMessage(m); }