सी ++ स्थिर प्रारंभ बनाम __attribute __ ((निर्माता))

Question

उदाहरण:

struct Foo { Foo() { printf("foo\n"); } }; 
static Foo foo; 

__attribute__((constructor)) static void _bar() { printf("bar\n"); } 

यह foo या bar मौसम नियतात्मक है पहले छपा है?

(मुझे आशा है और उम्मीद करेंगे कि स्थिर वस्तुओं के निर्माताओं हमेशा निर्माता विशेषता इसके बारे में कुछ नहीं कहा के बारे में पहले नहीं बल्कि यकीन है कि और GCCs डॉक क्रियान्वित कर रहे हैं।)

Answer 1

foo पहले प्रिंट किया जाएगा, के रूप में वस्तुओं को उनकी घोषणाओं के क्रम में शुरू किया जाता है। चलाने के लिए और देखें:

• Ideone online demo

वैसे, __attribute__((constructor)) स्टैंडर्ड सी नहीं है ++। यह जीसीसी का विस्तार है। तो आपके कार्यक्रम का व्यवहार इस बात पर निर्भर करता है कि जीसीसी ने इसे कैसे परिभाषित किया है। संक्षेप में, यह कार्यान्वयन-परिभाषित है, इसके अनुसार foo पहले मुद्रित है।

doc कहते हैं, इससे पहले कि निष्पादन मुख्य प्रवेश करती है

निर्माता विशेषता समारोह स्वचालित रूप से कहा जा करने का कारण बनता()। इसी तरह, विनाशक विशेषता मुख्य() पूरा होने या बाहर निकलने के बाद स्वचालित रूप से फ़ंक्शन को कॉल करने का कारण बनती है() को कॉल किया गया है। इन विशेषताओं के साथ कार्य डेटा प्रारंभ करने के लिए उपयोगी हैं जो प्रोग्राम के निष्पादन के दौरान पूरी तरह से उपयोग किए जाएंगे।

आप ऑर्डर को नियंत्रित करने के लिए वैकल्पिक पूर्णांक प्राथमिकता प्रदान कर सकते हैं जिसमें निर्माता और विनाशक कार्य चल रहे हैं। एक बड़ी प्राथमिकता संख्या वाला एक कन्स्ट्रक्टर एक बड़ी प्राथमिकता संख्या वाले निर्माता के समक्ष चलता है; विपरीत संबंध विनाशकों के लिए है। इसलिए, यदि आपके पास एक ऐसा निर्माता है जो संसाधन और विनाशक को आवंटित करता है जो समान संसाधन को हटा देता है, तो दोनों कार्यों में आम तौर पर समान प्राथमिकता होती है। कन्स्ट्रक्टर और विनाशक कार्यों के लिए प्राथमिकताएं नामस्थान-स्कोप सी ++ ऑब्जेक्ट्स (सी ++ विशेषताएँ देखें) के लिए निर्दिष्ट हैं।

मैं बोल्ड में टेक्स्ट दर्शाता है लगता है, वस्तुओं, उनकी घोषणाओं के क्रम में प्रारंभ कर रहे हैं के रूप में मैं पहले भी कहा है, जो काफी भी online demo पुष्टि की है।

मुझे लगता है कि आप भी इस पढ़ने के लिए करना चाहते हैं:

• 7.7 C++-Specific Variable, Function, and Type Attributes

आप नियंत्रित/आरंभीकरण आदेश को बदलने के लिए चाहते हैं, आप init_priority विशेषता का उपयोग कर सकते हैं, प्राथमिकता प्रदान करते हैं। the page से लिया:

Some_Class A __attribute__ ((init_priority (2000))); 
Some_Class B __attribute__ ((init_priority (543))); 

यहाँ, BA से पहले आरंभ नहीं हो जाता।

Answer 2

यह गैर-निर्धारिती प्रतीत होता है। जीसीसी के साथ संकलित होने पर मेरे प्रश्न में उदाहरण के आउटपुट के रूप में मेरे पास foo\nbar\n भी था। हालांकि, जब एलएलवीएम/क्लैंग के साथ संकलित किया गया, तो मुझे bar\nfoo\n मिल गया।

लेकिन, जैसा कि मुझे यकीन नहीं है कि यह क्लैंग में एक बग हो सकता है, मैंने एक बग रिपोर्ट here भर दी है। संपादित करें: मुझे वहां एक जवाब मिला और यह वास्तव में क्लैंग में एक बग प्रतीत होता है जो अभी तक तय नहीं हुआ है। यकीन नहीं है कि उस से क्या निष्कर्ष निकालना है। अपेक्षित और व्यवहार होना वास्तव में यहां निर्धारक है, हालांकि, आप इस पर निर्भर नहीं हो सकते हैं क्योंकि कम से कम एक प्रमुख कंपाइलर (क्लैंग) है जो गलत है (या जीसीसी से अलग है, अगर हम इसे के रूप में लेते हैं __attribute__((constructor)))।

ध्यान दें कि यह वास्तविक दुनिया कोड में वास्तव में प्रासंगिक और महत्वपूर्ण हो सकता है। जैसे here एक उदाहरण है जो एक यादृच्छिक जनरेटर बीज करता है जो क्लैंग के साथ विफल रहता है।