संरचना सदस्य प्रारंभिकरण के बीच कोई अनुक्रम बिंदु है?

Question

क्या संरचना सदस्य प्रारंभिक अभिव्यक्तियों के बीच कोई अनुक्रम बिंदु है?

उदाहरण के लिए, क्या यह अच्छी तरह से परिभाषित किया गया है कि कोड बेलो हमेशा "ए, बी" प्रिंट करेगा?

#include <stdio.h> 

typedef struct { 
    char *bytes; 
    int position; 
    int length; 
} Stream; 

typedef struct { 
    char a; 
    char b; 
} Pair; 

char streamgetc(Stream *stream) { 
    return (stream->position < stream->length) ? stream->bytes[stream->position++] : 0; 
} 

int main(void) { 
    Stream stream = {.bytes = "abc", .position = 0, .length = 3}; 
    Pair pair = {.a = streamgetc(&stream), .b = streamgetc(&stream)}; 
    printf("%c, %c\n", pair.a, pair.b); 
    return 0; 
} 

Answer 1

मुझे लगता है कि §6.7.8-23 यह सुलझेगी:

जिस क्रम में कोई साइड इफेक्ट प्रारंभ सूची भाव के बीच होते हैं unspeci फाई एड है।

और यौगिक शाब्दिक के बारे में:

§6.5.2.5-7

सभी अर्थ नियमों और 6.7.8 में प्रारंभकर्ता सूचियों के लिए बाधाओं यौगिक शाब्दिक पर लागू होते हैं।

Answer 2

नहीं, सी मानक के अनुलग्नक सी में खुद के लिए देखते हैं (या ड्राफ़्ट के n1256, n1516, आदि) कर सकते हैं।

प्रत्येक पूर्ण declarator के बाद एक दृश्य बिंदु है, और वहाँ अभी भी प्रारंभ कि && या कॉल कार्यों का उपयोग अंदर भाव से अनुक्रम अंक हो जाएगा।

फ़ंक्शन तर्कों के बीच कोई अनुक्रम बिंदु नहीं है।

func(getc(), getc()); // who knows what order? 

Answer 3

मेरा मानना ​​है कि C99 TC2 (n1124) में प्रासंगिक शब्दों §6.7.8/23 में है:

जिस क्रम में कोई साइड इफेक्ट प्रारंभ सूची भाव के बीच होते हैं अनिर्दिष्ट ^{131 है}।

फुटनोट का कहना है:

131) विशेष रूप से, मूल्यांकन आदेश subobject आरंभीकरण के आदेश के रूप में ही होने की जरूरत नहीं।