सिंटेक्स के लिए लूप

Question

कुछ दिन पहले मैं जावा में इस कोड के बारे में अपने सहयोगियों के साथ बात कर रहा था:

for(; ;) { } 

यहां कुछ भी विशेष, बस एक अनंत लूप।

लेकिन हमें आश्चर्य है कि यह वाक्य रचनात्मक रूप से सही क्यों है। आप JLS §14.14.1 को एक बार देख ले, तो आप इस देखेंगे:

for ([ForInit] ; [Expression] ; [ForUpdate]) Statement 

मैं समझता हूँ कि ForInit और ForUpdate छोड़ा जा सकता है। लेकिन कम से कम मैं उम्मीद करेंगे कि Expression अनिवार्य है, जबकि पाश में की तरह:

while() {} // compile error, Expression is missed 

तो क्यों अभिव्यक्ति एक के लिए लूप पर छोड़ा जा सकता है? और यहां तक ​​कि एक और सोचता है - क्यों मिस्ड अभिव्यक्ति true को हल किया गया है? मेरी उम्मीद यह होगी कि खाली अभिव्यक्ति false पर हल हो गई है।

वही सोच अन्य भाषाओं के लिए मान्य है (मैंने इसे सी और जावास्क्रिप्ट के साथ आजमाया है, लेकिन मेरा मानना ​​है कि फॉर-लूप के साथ हर भाषा इस तरह से व्यवहार करती है)।

फॉर-लूप में एक अभिव्यक्ति खंड अनिवार्य क्यों नहीं है (लेकिन जबकि-लूप में)? खाली अभिव्यक्ति true को हल क्यों करती है और false पर नहीं?

Answer 1

तर्क in JLS 14.14.1.1 से शुरू होता है और 14.14.1.2 में जारी रहता है, मेरा जोर।

तो ForInit हिस्सा वर्तमान नहीं है, कोई कार्रवाई नहीं की है।

हैं Expressionवर्तमान नहीं है, या यह मौजूद है और इसके मूल्यांकन से उत्पन्न मूल्य (किसी भी संभव unboxing सहित) सही है, तो निहित Statement क्रियान्वित किया जाता है ...

JLS रिक्त ForInit, Expression और ForUpdate कथनों की अनुमति देता है और उनकी अनुपस्थिति से निपटने के लिए स्थितियां हैं, इसलिए उन्हें छोड़ना स्वीकार्य है।

यह while छोरों, per JLS 14.12 साथ ऐसा करने के लिए अनुमति नहीं है।

Expression प्रकार boolean या Boolean, या एक संकलन समय त्रुटि होती होना आवश्यक है।

इस से, विनिर्देश के बाद से है कि इसके बाद के संस्करण के अनुसार एक संकलन समय त्रुटि में परिणाम होगा, नहीं एक खाली अभिव्यक्ति के माध्यम से पारित करने की अनुमति देने के लिए है।

---

यदि आप थोड़ा और ऐतिहासिक कारण ढूंढ रहे हैं, तो C specification mandates this as well।

के बाद से जावा सी से भारी प्रेरणा ली (और ज्यादातर उस में कार्यान्वित किया जाता है), यह सही समझ में जावा के छोरों सी छोरों की तरह ही व्यवहार करने के लिए बनाता है, और यह उनका व्यवहार है: भाव में वैकल्पिक हैं सी का for कथन, और इसके while कथन में अनिवार्य है।