सख्त सूचक एलियासिंग: एक 'अस्थिर' सूचक/संदर्भ के माध्यम से उपयोग है?

Question

a specific problem की ऊँची एड़ी पर, एक स्व-उत्तर और टिप्पणियां, मैं समझना चाहता हूं कि यह उचित समाधान है, कामकाज/हैक या सिर्फ सादा गलत है। सूचक के लिए एक volatile क्वालीफायर के साथ

T x = ...; 
if (*reinterpret_cast <volatile int*> (&x) == 0) 
    ... 

:

T x = ...; 
if (*reinterpret_cast <int*> (&x) == 0) 
    ... 

के रूप में:

विशेष रूप से, मैं कोड दुबारा लिखा।

चलो बस मान लें कि Tint के रूप में मेरी स्थिति में समझ में आता है। क्या यह volatile संदर्भ के माध्यम से पहुंचने वाला सूचक संकेतक को हल करता है?

एक संदर्भ के लिए, विनिर्देश से:

[नोट: अस्थिर कार्यान्वयन के लिए एक संकेत वस्तु को शामिल आक्रामक अनुकूलन से बचने के लिए है, क्योंकि वस्तु के मूल्य एक द्वारा जांच भी तरह से बदला जा सकता है कार्यान्वयन। विस्तृत अर्थशास्त्र के लिए 1.9 देखें। सामान्य तौर पर, अस्थिर के शब्दों करना है C++ में एक ही हो के रूप में वे सी में कर रहे हैं - अंत टिप्पणी]

संपादित करें:

उपरोक्त कोड में कम से कम जीसीसी 4.5 पर मेरी समस्या का समाधान किया ।

Answer 1

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

मान लें कि टी एक पीओडी है। फिर, ऐसा करने का उचित तरीका

T x = …; 
int i; 
memcpy(&i,&x,sizeof i); 
if (i==0) 
    … 

वहां! कोई सख्त एलियासिंग समस्या नहीं है और कोई स्मृति संरेखण समस्या नहीं है। जीसीसी भी एक आंतरिक समारोह के रूप में memcpy संभालती है (इस मामले में कोई फंक्शन कॉल डाला गया है)।

Answer 2

अस्थिरता यहां आपको अपरिभाषित व्यवहार से बचने में मदद नहीं कर सकती है।

ठीक है, volatile के बारे में कुछ भी मानक में कुछ अस्पष्ट है। मैं ज्यादातर आपके उत्तर के साथ सहमत हूं, लेकिन अब मैं थोड़ा असहमत होना चाहता हूं।

यह समझने के लिए कि volatile का अर्थ है, मानक ज्यादातर लोगों के लिए स्पष्ट नहीं है, विशेष रूप से कुछ कंपाइलर लेखकों। यह सोचना बेहतर है: volatile (और केवल जब) का उपयोग करते समय, सी/सी ++ काफी उच्च स्तर असेंबली है।

volatile lvalue पर लिखते समय, संकलक एक स्टोर जारी करेगा, या एकाधिक स्टोर अगर कोई पर्याप्त नहीं है (volatile परमाणु नहीं दर्शाता है)।

volatile lvalue पर लिखते समय, संकलक एक लोड जारी करेगा, या एकाधिक लोड अगर कोई पर्याप्त नहीं है।

बेशक, जहां कोई स्पष्ट लोड या स्टोर नहीं है, संकलक केवल उन निर्देशों को जारी करेगा जो लोड या स्टोर को इंगित करते हैं।

sellibitze ने सबसे अच्छा समाधान दिया: थोड़ा पुनरावृत्तियों के लिए memcpy का उपयोग करें।

लेकिन अगर सब एक स्मृति क्षेत्र के लिए पहुंचता है, तो volatile lvalues ​​का कार्य पूर्ण हो यह पूरी तरह स्पष्ट है कि सख्त अलियासिंग नियम लागू नहीं है। यह आपके प्रश्न का उत्तर है।