सख्त एलियासिंग उल्लंघन

Question

क्या निम्न प्रोग्राम सख्त एलियासिंग नियम का उल्लंघन करता है?

#include <cstdint> 

int main() 
{ 
    double d = 0.1; 

    //std::int64_t n = *reinterpret_cast<std::int64_t*>(&d); // aliasing violation 

    //auto n{*reinterpret_cast<std::int64_t*>(&d)}; // aliasing violation 

    auto nptr{reinterpret_cast<std::int64_t*>(&d)}; 
    auto& n{*nptr}; 

    ++n; 
} 

कोई चेतावनी VS2015, clang या gcc द्वारा उत्सर्जित।

Answer 1

क्या निम्न प्रोग्राम सख्त एलियासिंग नियम का उल्लंघन करता है?

हाँ, ऐसा करता है। std::int64_t* का उपयोग करके आप double* (&d) को संदर्भित कर रहे हैं।

लाइन है कि सख्त अलियासिंग नियम का उल्लंघन करती है:

auto& n{*nptr}; 

पंक्ति की प्रक्रिया है, compilers जरूरी पता नहीं कैसे आप nptr का मूल्य निर्धारित किया है। तथ्य यह है कि यह double* का उपनाम है, उस पंक्ति को संसाधित करते समय स्पष्ट नहीं है।

Answer 2

हां, यह सख्त अलियासिंग का उल्लंघन करता है। आप प्रकार double के ऑब्जेक्ट तक पहुंच रहे हैं, हालांकि एक पॉइंटर nptr जो double या उससे संबंधित किसी भी प्रकार के सूचक नहीं है।

सिर्फ इसलिए कि एक कंपाइलर चेतावनी को उत्सर्जित नहीं करता है इसका मतलब यह नहीं है कि यह उल्लंघन नहीं है। सख्त उभरने के उल्लंघन यूबी हैं (क्योंकि वे रनटाइम व्यवहार का विषय हैं) और इसलिए निदान की आवश्यकता नहीं है।