क्या यह std :: सरणी अपरिभाषित व्यवहार का उपयोग है?

Question

संभव डुप्लिकेट:
Aliasing `T*` with `char*` is allowed. Is it also allowed the other way around?

मैं अज्ञात आदिम प्रकार है, जो कोई 10 से अधिक बाइट लंबा है, इसलिए तरह के एक मूल्य धारण करने के लिए एक char की std::array रों उपयोग कर रहा हूँ:

std::array<char, 10> val; 
*reinterpret_cast<double*>(val.data()) = 6.3; 
//blah blah blah... 
double stuff = *reinterpret_cast<double*>(val.data()); 

मैंने पढ़ा है कि char * के माध्यम से पीछे और पीछे कास्टिंग नहीं है ndefined, क्योंकि संकलक char * मानता है किसी भी प्रकार का मान उपनाम कर सकता है। क्या यह तब भी काम करता है जब ऑब्जेक्ट के अंदर char एस की एक सरणी (मान मुझे क्या लगता है) में रखा गया है?

नोट: मुझे पता है कि मैं यहां एक संघ का उपयोग कर सकता हूं, लेकिन इसके परिणामस्वरूप मैं जो कर रहा हूं उसके लिए बड़ी संख्या में बॉयलरप्लेट कोड होगा, और यदि आवश्यक हो तो मैं इससे बचना चाहूंगा, इसलिए सवाल।

Answer 1

हां, std::array< char, 10 >double की संरेखण आवश्यकताओं को पूरा नहीं करता है ताकि reinterpret_cast यूबी को उत्तेजित कर सके।

इसके बजाय std::aligned_storage आज़माएं।

Answer 2

इससे कोई फर्क नहीं पड़ता कि सरणी में निहित है।

मानक भी विचार नहीं करता है क्या कुछ चारों ओर से घेरे है (यह है कि बुनियादी है), लेकिन/char से दृश्यों के समर्थन रूपांतरण करता है।

इसे सीधे reinterpret_cast और असाइनमेंट के माध्यम से करने के लिए, आपको बफर को सही ढंग से गठबंधन करने की आवश्यकता है।

एक विकल्प memcpy का उपयोग करना है, जो संरेखण की परवाह नहीं करता है।

संबंधित मुद्दे पर, आमतौर पर बाइनरी स्तर पर जाने का अच्छा विचार नहीं है। उदाहरण के लिए, कंपाइलर का एक साधारण संस्करण परिवर्तन बाइनरी-सीरियलाइज्ड डेटा की फ़ाइल को पहुंच योग्य बना सकता है। वैसे भी ऐसा करने के लिए एक मुख्य चालक कच्चे प्रदर्शन विचार है।