"(;;)" के लिए टेस्ट हालत क्यों सफल होती है?

Question

जैसा कि मैं समझता हूं "के लिए (;;)" की कोई प्रारंभिक स्थिति नहीं है, कोई परीक्षण स्थिति नहीं है और कोई वृद्धि स्थिति नहीं है, और इसलिए हमेशा के लिए लूप, मैं उत्सुक हूं कि परीक्षण स्थिति प्रत्येक पाश को क्यों सफल करती है।

खाली अभिव्यक्ति ";" सी में सच के रूप में मूल्यांकन? या यह संकलक द्वारा संभाला गया एक विशेष मामला है?

A similar, but unrelated question।

Answer 1

यह सी भाषा में for कथन की परिभाषा से है। 6.8.5.3/2 "for कथन":

दोनों खंड -1 और अभिव्यक्ति -3 छोड़े जा सकते हैं। एक छोड़ा गया अभिव्यक्ति -2 को गैरजेरो स्थिर द्वारा प्रतिस्थापित किया गया है।

Answer 2

सी भाषा में "खाली अभिव्यक्ति" जैसी कोई चीज़ नहीं है। यदि for कथन से कोई अभिव्यक्ति गुम है, तो सिंटैक्टिक रूप से इसका अर्थ है कि संपूर्ण अभिव्यक्ति छोड़ी गई है, न कि यह वहां है, लेकिन खाली है।

ए for लूप एक छोड़ी गई दूसरी अभिव्यक्ति लूप के साथ हमेशा के लिए लूप क्योंकि for कथन का विनिर्देश कहता है। अर्थात। यह एक समर्पित विशेषता है जो for अकेली है, कुछ और सामान्य नहीं है।

Additionaly (एक शब्दावली नाइटपिक) केवल दूसरी अभिव्यक्ति वास्तव में स्थिति है। पहला और तीसरा वास्तव में "शर्तें" नहीं हैं।