क्या सी ++ डिफ़ॉल्ट-प्रारंभिकता पूर्व शून्य-प्रारंभिकता को सुरक्षित रखती है?

Question

यदि स्थैतिक-भंडारण अवधि वाले किसी ऑब्जेक्ट के लिए कोई C++ कन्स्ट्रक्टर किसी सदस्य को प्रारंभ नहीं करता है, तो क्या यह पूर्व शून्य-प्रारंभिकता को संरक्षित करने के लिए आवश्यक है, या क्या यह सदस्य को अनिश्चित मान के साथ छोड़ देता है?

सी ++ spec का मेरा पठन यह है कि यह खुद के विपरीत है।

उदाहरण:

#include <iostream> 

struct Foo { Foo(); int x; } object; 

Foo::Foo() { } 

int main() { std::cout << object.x << std::endl; } 

फू() निर्माता स्पष्ट रूप से 12.6.2 पैरा 8 में तो टिप्पणी के अनुसार, सदस्य object.x प्रारंभ नहीं करता है:

सदस्य है अनिश्चित मूल्य।

लेकिन विभिन्न प्रारंभिकरणों के विवरण के माध्यम से काम करते हुए, यह गलत लगता है। सदस्य object.x शून्य-प्रारंभिक है क्योंकि इसमें स्थैतिक-भंडारण-अवधि है, और फिर मैं कुछ भी नहीं देख सकता जो इसे बदलता है।

निर्माता के बारे में, 12.6.2 में पाठ लागू होने वाला है:

इकाई डिफ़ॉल्ट-प्रारंभ है।

8,5 पैरा 7 में, डिफ़ॉल्ट आरंभीकरण के संबंधित मामला है:

... कोई प्रारंभ

जो मेरा मतलब है कि पिछले शून्य आरंभीकरण है पढ़ा किया जाता है डिफ़ॉल्ट-प्रारंभिकरण द्वारा नहीं बदला गया।

क्या मुझे कुछ अन्य पाठ याद आ रहा है जो सभी सदस्यों को कन्स्ट्रक्टर कॉल की शुरुआत में "अनिश्चित मूल्य" में रीसेट करता है?

मैं शून्य आरंभीकरण और डिफ़ॉल्ट-आरंभीकरण के बारे में stackoverflow पर विभिन्न अन्य प्रश्न पाया, लेकिन मैं नहीं देख सकता था विश्लेषण किया किसी भी है कि क्या जब डिफ़ॉल्ट-आरंभीकरण एक ही इकाई के कुछ जल्दी प्रारंभ इस प्रकार होता है।

इस मामले में शायद कोई व्यावहारिक प्रभाव नहीं है। लेकिन एक और जटिल कन्स्ट्रक्टर में, कुछ सदस्यों के साथ शुरू हुआ और अन्य नहीं, क्या संकलक को ट्रैक करना है कि बाइट्स/बिट्स को किस प्रकार शुरू किया गया है ?, या यह सिर्फ पूरे ऑब्जेक्ट को प्रारंभ कर सकता है (उदाहरण के लिए, मेमसेट() कॉलर को कन्स्ट्रक्टर को सरल बनाना)?

Answer 1

Defect report 1787N3914 में applied to the draft standard for C++14 में किए गए परिवर्तन की ओर ले जाता है। कौन सा बदल [dcl.init] से पैरा 12: कोई प्रारंभकर्ता एक वस्तु के लिए निर्दिष्ट किया जाता है

हैं, वस्तु है डिफ़ॉल्ट-प्रारंभ; यदि कोई प्रारंभिकता नहीं की जाती है, तो स्वचालित या गतिशील संग्रहण अवधि वाला ऑब्जेक्ट अनिश्चित मूल्य है। [नोट: स्थैतिक या थ्रेड संग्रहण अवधि वाले ऑब्जेक्ट शून्य-प्रारंभिक हैं, 3.6.2 देखें।- अंत टिप्पणी]

रहे हैं:

कोई प्रारंभकर्ता एक वस्तु के लिए निर्दिष्ट है, तो वस्तु डिफ़ॉल्ट-प्रारंभ है। जब स्वचालित या गतिशील भंडारण अवधि के साथ एक वस्तु के लिए भंडारण प्राप्त किया जाता है, वस्तु एक अनिश्चित महत्व है, और अगर कोई प्रारंभ वस्तु के लिए किया जाता है, वस्तु एक अनिश्चित मूल्य जब तक कि मूल्य बदल दिया जाता है (5.17 को बरकरार रखे हुए है कि [expr.ass])। [नोट: स्थिर या थ्रेड स्टोरेज अवधि वाले ऑब्जेक्ट शून्य-प्रारंभिक हैं, 3.6.2 [basic.start.init] देखें। अंत टिप्पणी] एक अनिश्चित मूल्य एक मूल्यांकन द्वारा निर्मित है, तो व्यवहार निम्नलिखित मामलों को छोड़कर अपरिभाषित है:

[...]

यह केवल यह स्पष्ट अनिश्चित मूल्य स्थिति बनाने के स्वचालित या गतिशील भंडारण अवधि की वस्तुओं के लिए होता है। चूंकि इसे दोष रिपोर्ट के माध्यम से लागू किया गया था, यह शायद सी ++ 11 पर भी लागू होता है क्योंकि सी ++ 14 स्वीकार किए जाने से पहले दोष रिपोर्ट की गई थी लेकिन यह आगे भी लागू हो सकती थी। एक दोष को कितना दूर करने के लिए नियम लागू किए जाने के नियम मुझे कभी स्पष्ट नहीं थे।

के बाद नियुक्ति नई टिप्पणी में लाया गया था, उसी परिवर्तन भी खंड [expr.new] संशोधित अनिश्चित मूल्य भाग एक टिप्पणी बनाने:

नए प्रारंभकर्ता शामिल न करने पर ऑब्जेक्ट डिफ़ॉल्ट है- (8.5 [dcl.init]) प्रारंभ किया गया; अगर। [नोट: यदि कोई प्रारंभिकता नहीं की जाती है, तो ऑब्जेक्ट का अनिश्चित मूल्य होता है। अंत टिप्पणी]

खंड की शुरुआत का कहना है:।

[...] एक नई अभिव्यक्ति द्वारा बनाई गई संस्थाओं गतिशील भंडारण अवधि (3.7.4) है [... ]

कौन सा खंड [dcl.init] में परिवर्तनों को लागू करने के लिए पर्याप्त लग रहे हैं।

इस परिवर्तन से पहले यह परिवर्तन भी दिलचस्प था क्योंकि C++ मानक में indeterminate value was not defined शब्द बदल गया था।