एक अनियंत्रित constexpr चर स्थिर क्यों नहीं है?

Question

मैं या यकीन है कि अगर यह एक संकलक बग है नहीं कर रहा हूँ अगर मैं constexpr गलत:

struct S{}; 
constexpr S s1{}; 
constexpr S s2; 

struct test{ 
    static constexpr auto t1 = s1; 
    static constexpr auto t2 = s2; //error here 
}; 

जीसीसी 4.8 मुझे एक अजीब त्रुटि दे रहा है "त्रुटि: क्षेत्र प्रारंभकर्ता स्थिर नहीं है"। एस 2 वास्तव में स्थिर नहीं है? यदि ऐसा है तो क्यों?

स्पष्टता के लिए मैं वास्तव में अपने कोड में खाली structs का एक समूह (मेटा प्रोग्रामिंग https://github.com/porkybrain/Kvasir के लिए) का उपयोग कर रहा हूं, इसलिए मुझे वास्तव में इस विशिष्ट उदाहरण में रूचि है।

Answer 1

अद्यतन: कोड, संकलन चाहिए क्योंकि [class.ctor]/5 पढ़ता है:

The implicitly-defined default constructor performs the set of initializations of the class that would be performed by a user-written default constructor for that class with no ctor-initializer (12.6.2) and an empty compound-statement. If that user-written default constructor would satisfy the requirements of a constexpr constructor (7.1.5), the implicitly-defined default constructor is constexpr .

और S के बाद से सिर्फ एक खाली struct है, परोक्ष परिभाषित डिफ़ॉल्ट निर्माता खाली है और इस तरह संतोषजनक constexpr आवश्यकताओं है।

तो यहां आप कंपाइलर्स की अपूर्णता से निपट रहे हैं, जिसे आपको किसी भी तरह से काम करना है।

---

पुराना जवाब:

बजना अधिक समझदार त्रुटि संदेश का उत्सर्जन करता है:

main.cpp:3:13: error: default initialization of an object of const type 'const S' 
requires a user-provided default constructor 
constexpr S s2; 
      ^

[dcl.constexpr]/9 विवरण उपलब्ध कराती है और यहां तक ​​कि लगभग ठीक एक उदाहरण के रूप में अपने कोड:

A constexpr specifier used in an object declaration declares the object as const. Such an object shall have literal type and shall be initialized.(...) [ Example:

struct pixel { 
    int x, y; 
}; 
constexpr pixel ur = { 1294, 1024 };// OK 
constexpr pixel origin; // error: initializer missing 

—end example ]