मेटा-प्रोग्रामिंग

Question

के साथ ऑटो + स्थैतिक इन-क्लास निरंतर इनइलाइलाइजेशन निम्नलिखित सरलीकृत टेम्पलेट मेटा-प्रोग्रामिंग कोड पर विचार करें जो Angle कक्षा लागू करता है जो आंतरिक रूप से मॉड्यूल 360 डिग्री कम मूल्य को संग्रहीत करता है।

#include <iostream> 
#include <typeinfo> 

template<int N, int D> 
struct Modulus 
{ 
     static auto const value = N % D; 
}; 

template<int N> 
struct Angle 
{ 
     static auto const value = Modulus<N, 360>::value; // ERROR 
     //static int const value = Modulus<N, 360>::value; // OK 
     //static auto const value = N % 360;    // OK 

     typedef Angle<value> type; 
}; 

int main() 
{ 
     std::cout << typeid(Angle<30>::type).name() << "\n"; 
     std::cout << typeid(Angle<390>::type).name() << "\n"; 

     return 0; 
} 

आउटपुट Ideone

Visual C++ 2010 एक्सप्रेस के साथ

पर, मैं static auto const = Modulus<N, 360>::value कर सकते हैं, लेकिन MinGW जीसीसी 4.7.2 (Nuwen distro) या Ideone (जीसीसी 4.5.1) के साथ मैं या तो स्पष्ट निरूपित करने के लिए है static int const value = Modulus<N, 360>::value के रूप में टाइप करें या मुझे auto का उपयोग पूर्ण मॉड्यूलर अभिव्यक्ति के साथ static auto const value = N % 360; के रूप में करना होगा।

प्रश्न: कौन सा कंपाइलर नए सी ++ 11 मानक के अनुरूप सही है?

Answer 1

कोड मान्य है। विज़ुअल सी ++ इसे स्वीकार करने का अधिकार है और जीसीसी इसे अस्वीकार करने में गलत है (पूर्णता के लिए, क्लैंग 3.1 कोड भी स्वीकार करता है)। विनिर्देश कहा गया है कि (सी ++ 11 7.1.6.4 [dcl.spec.auto]/4):

autoप्रकार-विनिर्देशक भी इस्तेमाल किया जा सकता ... के साथ एक स्थिर डेटा सदस्य घोषित करने में एक ब्रेस-या-बराबर-प्रारंभकर्ता जो कक्षा परिभाषा के सदस्य-विनिर्देश के भीतर प्रकट होता है।

आपका value एक स्थिर डेटा सदस्य है। इसमें ब्रेस-या-बराबर-प्रारंभकर्ता (यह = Modulus<N, 360>::value घोषणा का हिस्सा है), और प्रारंभकर्ता सदस्य-विनिर्देश वर्ग परिभाषा के भीतर प्रकट होता है (यानी, यह है कि प्राणियों को "इनलाइन प्रारंभकर्ता" ")।