जीसीसी और वेरिएबल-लेंथ एरे

एक सहपाठी ने इस बारे में किसी प्रकार की त्रुटि और संकलक आउटपुट के साथ C ++ कोड भेजा। लेकिन जिस चीज ने मुझे सबसे ज्यादा हैरान किया, वह उसकी समस्या नहीं थी, बल्कि यह तथ्य कि संकलन चरण में एक अज्ञात लंबाई के साथ एक सरणी कोड में स्टैक पर बनाई गई थी। मुझे याद है कि मैं इस भाषा को सीखने की शुरुआत में आया था और महसूस किया कि यह नहीं किया जाना चाहिए। अजीब है, लेकिन सहपाठी के संकलक ने अन्य त्रुटियां उत्पन्न नहीं की हैं:

मैंने कहीं पढ़ा है कि अगले सी ++ 14 मानक इस तरह की चाल की अनुमति दे सकते हैं। लेकिन असली एक कहता है कि सरणी का आकार स्थिर अभिव्यक्ति होना चाहिए। यह एक बार फिर C99 के साथ संगतता कम कर देता है, जहां वीएलएएएस लंबे समय से उपलब्ध हैं।

मैं जीसीसी 4.8.1 का उपयोग करता हूं, इसलिए मैंने इस पर जांच करने का निर्णय लिया:

void foo( int n) { int array[n]; } 

ईमानदार विकल्प के साथ संकलक ईमानदारी से लौटा:

चेतावनी: ISO C ++ वैरिएबल लंबाई सरणी 'सरणी' को मना करता है।

वास्तव में, gcc में C ++ के लिए VLAs एक्सटेंशन हैं ।

सबसे महत्वपूर्ण बात यह है कि आकार-प्रकार का ऑपरेटर रन-टाइम में परिवर्तनीय-लंबाई सरणियों के आकार पर विचार करता है, गणना समय में नहीं। इसलिए, उदाहरण के लिए, हम इस तरह के आकार (vla) का उपयोग करके एक गैर-प्रकार के पैरामीटर के साथ एक टेम्पलेट को इंस्टेंट नहीं कर पाएंगे:

 template <int p> class A { }; void foo(int length) { int const_lenght_array[7]; int variable_length_array[length]; A<sizeof(const_lenght_array)> a1; //OK A<sizeof(variable_length_array)> a2; //ERROR } 

संकलक त्रुटि संदेश अच्छी तरह से उत्तर देता है कि रनटाइम में सरणी आकार की गणना कैसे की जाती है:

त्रुटि: '(अहस्ताक्षरित int) ((((((sizetype) ((ssizetype) लंबाई) + -1)) + 1u) * 4u)' एक स्थिर अभिव्यक्ति नहीं है

तुम भी चर लंबाई और टाइप के सरणियों के लिए संकेत का उपयोग कर सकते हैं:

 int (*p)[length] = &variable_length_array; typedef int variable_int_array_t [length]; 

सबसे अधिक, GNU एक्सटेंशन आपको वैरिएबल लेंथ के वैरिएबल लंबाई के एरे को बनाने की अनुमति देता है, जो नए के लिए भी अनुमति नहीं है, जहां केवल शीर्ष स्तर में एक वैरिएबल लंबाई हो सकती है:

 void bar(int a, int b) { int auto_array[a][b]; //OK int (*dynamic_array)[b] = new int[a][b]; //ERROR } 

अच्छी खबर यह है कि वीएलए को सी ++ 14 में पेश किया जाएगा, लेकिन इस विस्तार और सी 99 के वीएलए के साथ काफी हद तक असंगत हैं। उनके लिए कम से कम साइज़ोफ़ और टाइपडेफ़ / (सी ++ 11) का उपयोग करना बीमार होगा। यह हमें रेक पर कदम नहीं रखने देगा, आकार से केवल अनुपालन व्यवहार की अपेक्षा करेगा। यहाँ gcc के लिए पैच का लिंक दिया गया है।

मुझे पता है कि बहुत से लोग सोचते हैं कि सी ++ में वीएलए बेकार हो रहे हैं: ऐसे उद्देश्यों के लिए एक वेक्टर है, और कोई भी परवाह नहीं करता है कि स्मृति वास्तव में तत्वों के लिए आवंटित की गई है। फिर भी, लेख का उद्देश्य ऐसे अवसर को जीसीसी के साथ दिखाना था, ताकि बाद में आश्चर्य न हो।
अंत में, ओपन-एसटीडी में वीएलए के लिए प्रस्ताव ।