असाइनमेंट, साइड इफ़ेक्ट और अपरिभाषित व्यवहार

मान और प्रभाव

पाठ अंकगणितीय संक्रियाएँ ने व्यंजक का अध्ययन एक ऐसे वृक्ष के रूप में किया जो एक मान में सिमट जाता है: 2 + 3 * 4 का मान 14 है, और इसकी गणना व्यंजक के बाहर कुछ नहीं बदलती। पाठ संबंध और तर्क ने यही शर्तों के साथ किया, जिनका मान true या false होता है। लेकिन कुछ व्यंजक ऐसे हैं जो मान देने के साथ-साथ प्रोग्राम की अवस्था पर एक छाप छोड़ते हैं: वे किसी चर का मान बदलते हैं, स्क्रीन पर लिखते हैं या इनपुट से पढ़ते हैं। इस छाप को साइड इफ़ेक्ट, या केवल प्रभाव, कहते हैं, और “साइड” शब्द का अर्थ यह नहीं कि यह कम महत्त्वपूर्ण है: x = 7 में प्रभाव, यानी x का 7 हो जाना, ठीक वही है जो चाहा गया है।

यदि ऐसा है, तो हर व्यंजक को दो प्रश्नों के साथ पढ़ना चाहिए: वह क्या देता है और क्या करता है। तीन उदाहरण इस भेद को पक्का करते हैं। count + 1, count के बाद आने वाली संख्या देता है और कुछ नहीं करता: count अपना मान बनाए रखता है। count = 9, 9 देता है और count को 9 बना देता है। std::println("नमस्ते") भी एक व्यंजक है, एक फ़ंक्शन की कॉल, और उसमें जो मायने रखता है वह उसका प्रभाव है: एक पंक्ति लिखना। अपने फ़ंक्शन पाठ फ़ंक्शन में पढ़े जाएँगे, और वहाँ यह भेद फिर आएगा: जो फ़ंक्शन केवल अपना परिणाम निकालता है, उसे समझना और परखना उस फ़ंक्शन से आसान है जो इसके अलावा अपने बाहर कुछ बदलता है।

count + 1; जैसा स्टेटमेंट वैध C++ है: मान की गणना होती है और उसे फेंक दिया जाता है, इसलिए वह किसी काम का नहीं, और GCC -Wunused-value से इसकी चेतावनी देता है। एक व्यंजक-स्टेटमेंट का अर्थ उसके प्रभाव से होता है। इससे यह निकलता है कि प्रभाव वाले व्यंजक ही प्रोग्राम को आगे बढ़ाते हैं, और वही सावधानी भी माँगते हैं, क्योंकि प्रभाव किसी क्षण घटित होता है, और वह क्षण हमेशा वह नहीं होता जो पाठक मान लेता है।