Parameter Passing Mechanisms. Reference Parameters

Transcription

1 Parameter Passing Mechanisms Reference Parameters

2 Function Call Main Function Server Function Arguments Value Parameters Variable Result

3 Problem Using OCD, design and implement a function that, given a string containing a longdistance telephone number, decomposes that number into its area code, exchange, and local number.

4 Preliminary Analysis Our function can receive the long-distance phone number through a string parameter. This problem requires that our function somehow communicate three values (area code, exchange, local number) to its caller. A function cannot return multiple values -- the return statement only returns one value: return Expression ;

5 Behavior Our program should receive from its caller a long-distance phone number (a string). It should check that the number is a valid long- distance number. If so, it should compute and pass back its area code, exchange, and local number.

6 Objects Description Type Movement Name long distance string in ldnumber number area code string out areacode exchange string out exchange local number string out localnum

7 Operations Description Predefined? Library? Name receive a string yes built-in -- select part of yes string substr a string pass back 3 strings yes built-in??

8 Algorithm 0. Receive ldnumber from caller, plus empty variables areacode, exchange and localnum. 1. Check that ldnumber is a long-distance number. 2. Fill areacode with appropriate substring of ldnumber. 3. Fill exchange with appropriate substring of ldnumber. 4. Fill localnum with appropriate substring of ldnumber.

9 Discussion Since a function cannot return 3 strings, we will instead require the caller to pass us three string variables, which our function will then fill in with the appropriate values. Normal parameters are called value parameters and are built as copies of their arguments. Changing a value parameter changes the copy, not its corresponding argument.

10 Solution Reference parameters are parameters declared with an ampersand (&) following the parameter s type (and before its name). A reference parameter is an alias (i.e., another name for) its corresponding argument. Changing the value of a reference parameter changes the value of its corresponding argument.

11 Coding #include <string> // string class #include <cctype> // isdigit() using namespace std; void ChopLDPhoneNumber(string ldnumber, // value: IN string & areacode, // reference: OUT string & exchange, // reference: OUT string & localnum) // reference: OUT { for (int i = 0; i < ldnumber.size(); i++) // check all assert(isdigit(ldnumber[i])); // digits assert(ldnumber[0] == 1 && // check for leading 1 ldnumber.size() == 11); // check number of digits } areacode = ldnumber.substr(1, 3); exchange = ldnumber.substr(4, 3); localnum = ldnumber.substr(7, 4);

12 Testing The caller must now supply a variable for each reference parameter, to be filled in by the function. cout << Enter a L-D phone number: ; string original, part1, part2, part3; cin >> original; ChopLDNumber(original, part1, part2, part3); cout << \narea code: << part1 << \nexchange: << part2 << \nlocal number: << part3 << endl;

13 Notes When function ChopLDNumber() is called: a copy of argument original is made to create parameter ldnumber, an alias of argument part1 is made to create parameter areacode, an alias of argument part2 is made to create parameter exchange, an alias of argument part3 is made to create parameter localnum.

14 main() string original, part1, part2, part3; cin >> original; ChopLDNumber(original, part1, part2, part3); void ChopLDNumber(string ldnumber, // value: IN string & areacode, // reference: OUT string & exchange, // reference: OUT string & localnum) // reference: OUT string & localnum) // reference: OUT { for (int i = 0; i < ldnumber.size(); i++) // check all assert(isdigit(ldnumber[i])); // digits assert(ldnumber[0] == 1 && // check for leading 1 ldnumber.size() == 11); // check number of digits } areacode = ldnumber.substr(1, 3); exchange = ldnumber.substr(4, 3); localnum = ldnumber.substr(7, 4);

15 0. Before the function call original part1 part2 part3 Memory

16 1. ldnumber is created as a copy of original original part1 part2 part3 ldnumber Memory

17 2. areacode is created as an alias for part1 original part1 part2 part3 areacode ldnumber Memory

18 3. exchange is created as an alias for part2 original part1 part2 part3 areacode exchange ldnumber Memory

19 3. localnum is created as an alias for part3 original part1 part2 part3 areacode exchange localnum ldnumber Memory

20 4. The function checks ldnumber for validity original part1 part2 part3 areacode exchange localnum ldnumber Memory

21 5. The function computes areacode, changing part1 original part1 part2 part3 705 areacode exchange localnum ldnumber Memory

22 6. The function computes exchange, changing part2 original part1 part2 part areacode exchange localnum ldnumber Memory

23 7. The function computes localnum, changing part3 original part1 part2 part areacode exchange localnum ldnumber Memory

24 8. The function returns, destroying all parameters original part1 part2 part Memory

25 9. part1, part2, and part3 now contain the information! original part1 part2 part Memory

26 Notes By default, parameters are value parameters. Reference parameters are specified by placing an ampersand after the parameter s type. Reference parameters must be specified in both a function s prototype and its definition, or a linking error will occur. Variables must be passed as arguments for reference parameters to fill, or a compiler error will occur.

27 Function Call Main Function Server Function Arguments Reference Parameters Variable Result

28 Consider Copying argument original consumes time. Creating an alias for an argument takes almost no time. We could speed up calls to our function by making parameter ldnumber a reference parameter. However, we then run the risk of changing original if we mistakenly change ldnumber.

29 Solution Constant reference parameters are reference parameters whose declaration is preceded by the keyword const. void ChopLDPhoneNumber(const string & ldnumber, // IN string & areacode, // OUT string & exchange, // OUT string & localnum) // OUT //... Const reference parameters are read-only reference parameters -- aliases of their arguments -- but they cannot be changed.

30 main() ChopLDNumber(original, part1, part2, part3); void ChopLDPhoneNumber(const string & ldnumber, // value: IN string & areacode, // reference: OUT string & exchange, // reference: OUT string & localnum) // reference: OUT string & localnum) // reference: OUT { for (int i = 0; i < ldnumber.size(); i++) // check all assert(isdigit(ldnumber[i])); // digits assert(ldnumber[0] == 1 && // check for leading 1 ldnumber.size() == 11); // check number of digits } areacode = ldnumber.substr(1, 3); exchange = ldnumber.substr(4, 3); localnum = ldnumber.substr(7, 4);

31 0. Before the function call original part1 part2 part3 Memory

32 1. ldnumber is created as a const reference of original original part1 part2 part3 ldnumber Memory

33 Conclusion The rest of the function proceeds as before, except that all accesses to ldnumber now access original instead of the copy. Any attempt to change ldnumber will generate a compiler error (which makes sense, since its movement is IN, not OUT).

34 Discussion Copying time is not significant for simple types (e.g., int, char, double,...), but it is significant for class types (e.g., string, RandomInt,...). Use reference parameters for arguments whose movement is OUT. Use const reference parameters to store class arguments whose movement is IN. Use value parameters to store simple type arguments whose movement is IN.

35 Summary C++ provides 3 parameter mechanisms: value, used for IN parameters whose arguments are simple types. const reference, for IN parameters whose arguments are class types. reference, for all OUT parameters.

36 Announcement Lab Test: Open books, Open notes for hard copies. 2 hours. 3 programs. You need to prepare your money on your card. You need to print all the results out in the lab. You need to hand in the test sheet.