स्पष्ट प्रकार रूपांतरण और एकाधिक सरल प्रकार विनिर्देशक

Question

प्रकार T की एक वस्तु को प्रारंभ मूल्य तय करने के एक निम्न में से एक की तर्ज पर कुछ करना होगा प्रकार विनिर्देशक, जैसे, unsigned int:

unsigned int x = unsigned int(); 
unsigned int x((unsigned int())); 

विजुअल C++ 2008 और इंटेल सी ++ संकलक 11.1 बिना चेतावनी के इन दोनों को स्वीकार करते हैं; Comau 4.3.10.1b2 और g ++ 3.4.5 (जो स्वीकार्य रूप से, विशेष रूप से हाल ही में नहीं) है।

सी ++ मानक के अनुसार (सी ++ 03 5.2.3/2, expr.type.conv):

अभिव्यक्ति T(), जहां T एक सरल प्रकार-विनिर्देशक है (7.1.5.2) एक गैर सरणी पूरा ऑब्जेक्ट प्रकार या (संभवतः सीवी-योग्य) void प्रकार के लिए, निर्दिष्ट प्रकार का एक rvalue है, जो मूल्य-प्रारंभ

7.1.5.2 कहते हैं, "सरल प्रकार विनिर्देशक हैं बनाता है , "और एक सूची के साथ अनुसरण करता है जिसमें unsigned और int शामिल हैं।

इसलिए, दिए गए 5.2.3/2, "सरल प्रकार-विनिर्देशक" में विलक्षण है, और unsigned और int दो प्रकार विनिर्देशक कि उपयोग उपरोक्त उदाहरण unsigned int अमान्य हैं कर रहे हैं,?

यह सवाल किसी और चीज से जिज्ञासा से बाहर अधिक है (और, यदि हां, फॉलोअप है, यह माइक्रोसॉफ्ट और इंटेल का समर्थन करने के लिए गलत भाव कहा है?); एकाधिक सरल प्रकार विनिर्देशकों के संयोजन द्वारा निर्दिष्ट सभी प्रकार के लिए, मान प्रारंभिक शून्य प्रारंभिक के बराबर है। (यह प्रश्न comments in response to this answer to a question about initialization द्वारा प्रेरित किया गया था)।

Answer 1

मैं posted this question to comp.lang.c++.moderated:

एक ही तरह प्रकार के लिए लागू होता है।

डैनियल सी ++ मानक समिति की Krügler व्याख्या से सहमत थे कि unsigned int सरल प्रकार विनिर्देशक के संयोजन है, और अपने आप में एक सरल प्रकार निर्दिष्टकर्ता नहीं है।

तालिका 7 referenced by Jerry Coffin के शीर्षक के संबंध में, Krügler का कहना है:

मैं मानता हूँ कि टेबल 7 (जो सबसे हाल मसौदा N3000 में टेबल 9) के शीर्षक कुछ भ्रामक है, लेकिन पूर्ववर्ती [dcl.type.simple] में/2 पाठ मेरे लिए बहुत स्पष्ट लग रहा है, जब यह कहते हैं:।

टेबल 7 सरल प्रकार-विनिर्देशक और प्रकार वे निर्दिष्ट की मान्य संयोजनों को सारांशित "

(मैं क्षमा चाहता हूं कि इसे यहां वापस न्यूज ग्रुप से पोस्ट करने में इतना समय लगेगा; यह पूरी तरह से मेरे दिमाग फिसल गया)

Answer 2

हम्म, कभी कभी आप एक typedef की जरूरत है। यदि यह नहीं कहता कि निदान की आवश्यकता है, तो उनके लिए इसका समर्थन करना गलत नहीं है। फिर भी, पोर्टेबिलिटी के लिए, आप एक typedef (uint16_t या uint64_t, हालांकि उन सही नहीं हो सकता है) का उपयोग कर सकते हैं, या एक टेम्पलेट के साथ typename बोली:

iterator<void, unsigned long>::value_type(5) 

कैसे अनुचित रूप से अत्यधिक शब्द के लिए कि क्या है?

संपादित करें: ओह, या बस 5ul। यह unsigned short, unsigned char, और signed char छोड़ देता है, केवल एक ही प्रकार के रूप में आप आसानी से स्पष्ट रूप से निर्माण नहीं कर सकते हैं।

Answer 3

§7.1.5.2 में, तालिका 7, जो क्या एक सरल विनिर्देशक के रूप में दी जाने वाली अनुमति की पूरी सूची (जो "अहस्ताक्षरित int" शामिल नहीं है) है करने के लिए नीचे पढ़ते रहें।

Answer 4

7.1.5.2:

सरल प्रकार-विनिर्देशक या तो किसी पूर्व-घोषित उपयोगकर्ता परिभाषित प्रकार या मौलिक types`

इसका मतलब है कि unsigned int i = unsigned int() कानूनी है में से एक निर्दिष्ट करते हैं, के बाद से unsigned int एक मौलिक प्रकार है (और इस प्रकार एक सरल प्रकार-विनिर्देशक, 3.9.1 देखें)।

long double 
long long 
long long int 
unsigned long 
unsigned long long int 
short int 
...