पैरामीटर और स्कोप

मान द्वारा पास करना

पैरामीटर एक प्रति है

पाठ फ़ंक्शन ने दिखाया कि हर कॉल स्टैक पर एक फ़्रेम बनाती है, जिसमें फ़ंक्शन के पैरामीटर और लोकल चर होते हैं, और लौटते समय फ़्रेम ग़ायब हो जाता है। यह स्पष्ट करना बाक़ी है कि किसी पैरामीटर का उस आर्ग्युमेंट से क्या संबंध है जो उसे इनिशियलाइज़ करता है। C++ का डिफ़ॉल्ट उत्तर सबसे सरल है: पैरामीटर एक नया लोकल चर है, जिसे आर्ग्युमेंट के मान की एक प्रति से इनिशियलाइज़ किया जाता है। यदि ऐसा है, तो अपने पैरामीटर बदलने वाला फ़ंक्शन अपनी प्रतियाँ बदलता है, और कॉल करने वाले के चर नहीं बदलते। नीचे दिया गया प्रोग्राम इसे एक ऐसे फ़ंक्शन से परखता है जो दो पूर्णांकों की अदला-बदली करने की कोशिश करता है।

#include <print>​// a और b की अदला-बदली की कोशिश करता है; केवल उनकी प्रतियाँ बदलती हैं।void swapValues(int a, int b){    const int saved{a};    a = b;    b = saved;    std::println("भीतर: a = {}, b = {}", a, b);}​int main(){    int x{1};    int y{2};    swapValues(x, y);    std::println("बाद में: x = {}, y = {}", x, y);}

भीतर: a = 2, b = 1बाद में: x = 1, y = 2

फ़ंक्शन के भीतर अदला-बदली ठीक से होती है; कॉल के बाद x और y अपने मान बनाए रखते हैं। कंपाइलर चेतावनी नहीं देता, क्योंकि चेतावनी देने लायक़ कुछ है ही नहीं: कोड दो लोकल चरों की अदला-बदली करता है जो उसके समाप्त होने पर ग़ायब हो जाते हैं। चित्र कॉल के दौरान स्टैक के फ़्रेमों का अनुसरण करता है।

प्रति किस चीज़ की रक्षा करती है

मान द्वारा पास करना कोई दोष नहीं, बल्कि वह नियम है जो फ़ंक्शनों को विवेकपूर्ण बनाता है। पहला, आर्ग्युमेंट केवल चर नहीं, कोई भी व्यंजक हो सकता है: swapValues(x + 1, 7) वैध है, क्योंकि पैरामीटर एक मान से इनिशियलाइज़ होता है, वह मान कहीं से भी आए। दूसरा, कॉल करने वाला बॉडी पढ़े बिना, घोषणा से ही जानता है कि उसके चर नहीं बदलेंगे। तीसरा, फ़ंक्शन के भीतर पैरामीटर एक और लोकल चर है, जो बाहर कोई परिणाम छोड़े बिना कार्य-चर का काम कर सकता है।

#include <print>​// n के दाशमिक अंकों की संख्या।// पूर्व-शर्त: n >= 0।// पश्च-शर्त: n के अंकों की संख्या लौटाता है (0 के लिए 1)।int digitCount(int n){    int count{1};    while (n >= 10) {        n = n / 10;        ++count;    }    return count;}​int main(){    const int population{48'210};    std::println("{} में {} अंक हैं", population, digitCount(population));}

48210 में 5 अंक हैं

फ़ंक्शन अपने पैरामीटर को 10 से तब तक भाग देकर नष्ट करता है जब तक उसमें एक ही अंक न रह जाए; चूँकि वह एक प्रति है, population अक्षुण्ण रहता है और const हो सकता है। इससे पढ़ने का एक नियम निकलता है जो पूरे पाठ्यक्रम में लागू होता है: यदि किसी पैरामीटर में वह चिह्न & नहीं है जिसका अध्ययन आगे वाले अनुभाग में होगा, तो फ़ंक्शन उसके साथ कुछ भी करे, कॉल करने वाले का चर नहीं बदल सकता।