संकलक त्रुटि static_assert साथ CRTP का उपयोग कर

Question

निम्नलिखित कोड पर विचार करें जीसीसी के संस्करण 4.9 से 5.3 तक और मुझे एक ही त्रुटि मिलती है (आप इसे गॉडबॉल्ट here पर आजमा सकते हैं)। बजना भी static_assert बिना यह संकलित करने के लिए मना कर दिया है, और शिकायत है कि

error: no member named 'x_derived' in 'Derived' 
static constexpr int x_base = Derived::x_derived; 

कौन सा संकलक सही है (यदि हो)? क्या कोड को ठीक करने का कोई अच्छा तरीका है?

Answer 1

नेस्टेड नाम तक पहुँचना वर्ग पूरा होने की आवश्यकता है, लेकिन Derived यहाँ अभी तक पूरा नहीं हुआ है:

template<typename Derived> 
struct Base { 
    static constexpr int x_base = Derived::x_derived; 
            ^^^^^^^^^ 
}; 

तो कोड बीमार ही बना है।

कुछ कामकाज हैं।

template <typename Derived, int x_derived> 
struct Base { 
    static constexpr int x_base = x_derived; 
}; 

struct Derived : public Base<Derived, 5> { }; 

दूसरा, यदि संभव हो तो (उदाहरण के लिए आप x_derived की जरूरत नहीं है किसी भी सदस्य घोषित करने के लिए), तो आपको देरी करने के लिए एक समारोह में मूल्य ले जा सकते हैं: सबसे पहले, आप अलग से बस मूल्य में एक टेम्पलेट तर्क के रूप में पारित कर सकते हैं इसका तात्कालिकता:

template<typename Derived> 
struct Base { 
    static constexpr int x_base() { 
     static_assert(Derived::x_derived > 1, "Oops"); 
     return Derived::x_derived; 
    } 

}; 

struct Derived : public Base<Derived> { 
    static constexpr int x_derived = 5; 
};