क्या एक क्लास परिभाषा पूर्ण है जब इसे बेस क्लास में पास किया जाता है?

Question

मैं व्युत्पन्न प्रकार के static constexpr को रखने के लिए एक सीआरटीपी लिखने की कोशिश कर रहा हूं, क्योंकि यह केवल एक वर्ग के साथ असंभव है। यह कोड जीसीसी में ठीक संकलित करता है, लेकिन क्लैंग शिकायत करता है कि Derived एक अधूरा प्रकार है। कौनसा सही हैं?

template<class T> 
class Base { 
public: 
    static constexpr T a = T(1), b = T(20); 
}; 

class Derived : public Base<Derived> { 
public: 
    int x; 
    constexpr Derived(int x) : x(x) {} 
}; 

Answer 1

Derived बिंदु है जिस पर Base<Derived> instantiated है ([class.mem]/2), जो सही परिभाषा समय में होता है पर अधूरा है। आपने constexpr का उपयोग किया, जो [class.static.data]/3 के अनुसार प्रारंभकर्ता को जरूरी बनाता है, और जब Base<Derived> तत्काल होता है, तो इसके स्थिर डेटा सदस्यों ([temp.inst]/3) की घोषणाएं होती हैं, जिनमें प्रारंभकर्ता शामिल होते हैं। हालांकि, प्रारंभकर्ता अपूर्ण प्रकार की वस्तु बनाने का प्रयास कर रहे हैं, जो बीमार है।

आप के रूप const बजाय अपने सदस्य की घोषणा कर सकते हैं:

template<class T> 
class Base { 
public: 
    static const T a; 
}; 
template <typename T> 
constexpr T Base<T>::a = T(1); 

के बाद से प्रारंभकर्ता परिभाषा में है, इस प्रारंभकर्ता की इन्स्टेन्शियशन जैसे जब तक आस्थगित किया जा सकता है Derived पूरा हो गया है। Clang के साथ Demo।

ध्यान दें कि क्लैंग अभी तक a को constexpr के रूप में नहीं मानता है क्योंकि यह उत्सुकता से इसकी परिभाषा को तुरंत विफल करने में विफल रहता है। बग #24541 देखें।