टाइपपीफ और गैर-साधारण प्रकार विनिर्देश

Question

यह कोड क्यों अमान्य है?

typedef int INT; 
unsigned INT a=6; 

जबकि निम्नलिखित कोड मान्य

typedef int INT; 
static INT a=1; 

है?

मेरी समझ के अनुसार unsigned int"simple type specifier" नहीं है और इसलिए कोड खराब है। हालांकि मुझे यकीन नहीं है।

कोई भी Standard के प्रासंगिक खंड को इंगित कर सकता है जो पहले कोड को अमान्य बनाता है (और दूसरा कोड मान्य)?

संपादित

हालांकि Johannes Schaub's जवाब सही और बात करने के लिए लग रहा था (वह अपने उत्तर हटा दिया गया था BTW) मैं इसकी सत्यता और यथातथ्यता के लिए जेम्स कुरान का जवाब स्वीकार कर लिया।

Answer 1

typedef रों मैक्रो की तरह नहीं हैं (अहस्ताक्षरित चार, लंबे, लघु, या पूर्णांक के साथ जोड़ा जा सकता है)। वे सिर्फ पाठ प्रतिस्थापन नहीं हैं। एक Typedef एक नया टाइपनाम बनाता है।

अब जब आप unsigned int कहते हैं, unsigned एक संशोधक नहीं है जिसे int पर लगाया जाता है। unsigned int पूर्ण टाइपनाम है; इसमें बस एक जगह होती है।

तो, जब आप typedef int INT; कहते हैं तो INT पूर्ण टाइपनाम है। इसे संशोधित नहीं किया जा सकता है।

static (जैसे const) एक स्टोरेज क्लास विनिर्देशक है। यह वास्तव में प्रकार के नाम का हिस्सा नहीं है।

Answer 2

• 7.1.1: स्थैतिक एक भंडारण वर्ग विनिर्देशक है। इसे किसी भी प्रकार से पहले रखा जा सकता है।
• 7.1.5: क्या एक प्रकार निर्दिष्टकर्ता है

Answer 3

यह मत भूलना कि टाइपिफ-आईएनजी मैक्रो-डिफ़ाइनिंग की तरह नहीं है; आपके उदाहरण में, ऐसा लगता है जैसे आपको लगता है कि आपका आईएनटी एक शाब्दिक int की तरह देखा जाना चाहिए। कंपाइलर बिंदु दृश्य से, टाइपपीफ टाइप-उपनाम परिभाषित करता है, लेकिन यह "वाक्यविन्यास" स्तर पर नहीं देखा जाता है (टाइपपीफ-एड प्रकार सिंटैक्स स्तर पर "मूल" प्रकार की तरह हैं); और चूंकि उस स्तर पर बिना किसी छोटे से छोटे या int से पहले हस्ताक्षर किए जाने की अनुमति है, तो unsigned INTunsigned से पहले "प्रकार" ("अलग," छोटा, छोटा, int) से "अलग" ("अलग" जैसा दिखाई देता है।