एक struct के सकल आरंभीकरण, अपने स्वयं के डेटा सदस्यों

Question

_{इस का उपयोग करते हुए इस बारे में एन-वें सवाल है, लेकिन मैं सटीक नकल कर सकता है नहीं मिल ...}

मान लीजिए निम्नलिखित कोड:

#include <iostream> 

struct S { 
    int x; 
    int y; 
}; 

class C { 
public: 
    S s; 
    C() : s{123, s.x} {} 
}; 

int main() { 
    std::cout << C().s.y << '\n'; 
} 

क्या यह s.y प्रारंभ करने के लिए ठीक है? (केवल JetBrains 'ReSharper इसके बारे में शिकायत करता है: Object member this->s.x might not be initialized)।

कोई अच्छा होगा अगर कोई मानक से उद्धरण के साथ अपना उत्तर पुष्टि करता है।

Answer 1

सी ++ 14

8.5.1 से समुच्चय [dcl.init.aggr]

1 एक कुल एक सरणी या एक वर्ग (धारा 9) कोई उपयोगकर्ता द्वारा प्रदान की कंस्ट्रक्टर्स साथ (12.1) है , कोई निजी या सुरक्षित गैर स्थैतिक डेटा सदस्यों (क्लॉज 11), कोई आधार वर्ग (क्लॉज 10), और कोई वर्चुअल फ़ंक्शन (10.3) संरक्षित नहीं है।

2 जब 8.58 में निर्दिष्ट अनुसार प्रारंभकर्ता सूची द्वारा कुल मिलाकर प्रारंभ किया जाता है, तो आरंभकर्ता सूची के तत्वों को कुल मिलाकर, सदस्यता या सदस्य आदेश में वृद्धि के लिए प्रारंभकर्ता के रूप में लिया जाता है।

इसका मतलब है कि एसएक्स को पहले 123 के साथ शुरू किया गया है, तो एस.ई. को एसएक्स के साथ शुरू किया गया है।

अनुकूलन के बिना, जीसीसी 6,3

C::C(): 
     push rbp 
     mov  rbp, rsp 
     mov  QWORD PTR [rbp-8], rdi 
     mov  rax, QWORD PTR [rbp-8] # read address of s 
     mov  DWORD PTR [rax], 123 # write 123 to s.x (offset 0 from s) 
     mov  rax, QWORD PTR [rbp-8] # read address of s again 
     mov  edx, DWORD PTR [rax] # read contents of s.x to edx 
     mov  rax, QWORD PTR [rbp-8] # read address of s 
     mov  DWORD PTR [rax+4], edx # write s.y (offset 4 from s) 
     nop 
     pop  rbp 
     ret 

कौन क्या मानकों का कहना है के साथ सहमत हैं उत्पन्न करता है।

Answer 2

हालांकि ऐसा लगता है कि ऐसा कोई नियम नहीं है जो स्पष्ट रूप से कहता है कि यह चाल खराब है, यह एक अच्छी तरह से परिभाषित व्यवहार के लिए पर्याप्त नहीं है।

मुझे लगता है कि मूल्यांकन के आदेश के साथ कुछ मुद्दे हैं:

this rule braced सूची में भाव के लिए मूल्यांकन के क्रम को परिभाषित करता है; बेशक, सदस्य प्रारंभिकरण के लिए भी एक आदेश है।

यह कहना सुरक्षित है कि प्रत्येक संरचना सदस्य को ब्रैकेट सूची में इसी अभिव्यक्ति के मूल्यांकन के बाद शुरू किया जाता है (स्पष्ट रूप से प्रारंभ करने से पहले s.x का मूल्यांकन किया जाता है)।

हालांकि ऐसा कोई नियम नहीं है जो बताएगा कि आपके मामले में s.x ब्रसेड सूची के दूसरे तत्व का मूल्यांकन करने से पहले शुरू किया जाना चाहिए, उदा। कार्यक्रम संरचना क्षेत्रों को शुरू करने से पहले ब्रैकेट सूची में सभी अभिव्यक्तियों का मूल्यांकन कर सकता है।

बेशक, नियम की अनुपस्थिति साबित करना आसान नहीं है, लेकिन यदि यह नहीं है, तो यह यूबी जैसा दिखता है।

यूपीडी: the rule from @PaulFloyd's answer वास्तव में मेरे उत्तर में क्या लापता था जैसा दिखता है, शायद यह सब के बाद यूबी नहीं है।