Académique Documents
Professionnel Documents
Culture Documents
Chapter 3 - Functions
Outline 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 3.10 3.11 3.12 3.13 3.14 3.15 Introduction Program Components in C++ Math Library Functions Functions Function Definitions Function Prototypes Header Files Random Number Generation Example: A Game of Chance and Introducing enum Storage Classes Scope Rules Recursion Example Using Recursion: The Fibonacci Series Recursion vs. Iteration Functions with Empty Parameter Lists
Chapter 3 - Functions
Outline 3.16 3.17 3.18 3.19 3.20 3.21 Inline Functions References and Reference Parameters Default Arguments Unary Scope Resolution Operator Function Overloading Function Templates
Introduction
Construct a program from smaller pieces or components Each piece more manageable than the original program
3.2
Modules: functions and classes Programs use new and prepackaged modules
New: programmer-defined functions, classes Prepackaged: from the standard library
Function definitions
Only written once Hidden from other functions
3.2
3.3
Example
cout << sqrt( 900.0 ); sqrt (square root) function The preceding statement would print 30 All functions in math library return a double
3.3
Variables
sqrt( x );
Expressions
sqrt( sqrt( x ) ) ; sqrt( 3 - 6x );
De sc rip tio n Exa m p le rounds x to the smallest integer ceil( 9.2 ) is 10.0 not less than x ceil( -9.8 ) is -9.0 cos( x ) trigonometric cosine of x cos( 0.0 ) is 1.0 (x in radians) exp( x ) exponential function ex exp( 1.0 ) is 2.71828 exp( 2.0 ) is 7.38906 fabs( x ) absolute value of x fabs( 5.1 ) is 5.1 fabs( 0.0 ) is 0.0 fabs( -8.76 ) is 8.76 floor( x ) rounds x to the largest integer floor( 9.2 ) is 9.0 not greater than x floor( -9.8 ) is -10.0 fmod( x, y ) remainder of x/y as a floating- fmod( 13.657, 2.333 ) is 1.992 point number log( x ) natural logarithm of x (base e) log( 2.718282 ) is 1.0 log( 7.389056 ) is 2.0 log10( x ) logarithm of x (base 10) log10( 10.0 ) is 1.0 log10( 100.0 ) is 2.0 pow( x, y ) x raised to power y (xy) pow( 2, 7 ) is 128 pow( 9, .5 ) is 3 sin( x ) trigonometric sine of x sin( 0.0 ) is 0 (x in radians) sqrt( x ) square root of x sqrt( 900.0 ) is 30.0 sqrt( 9.0 ) is 3.0 tan( x ) trigonometric tangent of x tan( 0.0 ) is 0 (x in radians) Fig . 3.2 M a th lib ra ry func tio ns.
2003 Prentice Hall, Inc. All rights reserved.
M e tho d ceil( x )
3.4 Functions
Modularize a program Software reusability
Functions
Local variables
Known only in the function in which they are defined All variables declared in function definitions are local variables
Parameters
Local variables passed to function when called Provide outside information
10
3.5
Function Definitions
Function prototype
Tells compiler argument type and return type of function int square( int );
Function takes an int and returns an int
Calling/invoking a function
square(x); Parentheses an operator used to call function
Pass argument x Function gets its own copy of arguments
11
3.5
Function Definitions
Return-value-type
Data type of result returned (use void if nothing returned)
12
3.5
Function Definitions
Example function
int square( int y ) { return y * y; }
return keyword
Returns data, and control goes to functions caller
If no data to return, use return;
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
// Fig. 3.3: fig03_03.cpp // Creating and using a programmer-defined function. #include <iostream> using std::cout; using std::endl; int square( int ); //
13
Outline
fig03_03.cpp (1 of 2)
Function prototype: specifies data types of arguments and return values. square expects and int, and returns function prototype an int.
int main() { Parentheses () cause // loop 10 times and calculate and output function to be called. When // square of x each time done, it returns the result. for ( int x = 1; x <= 10; x++ ) cout << square( x ) << " "; // function call
cout << endl; return 0; } // end main // indicates successful termination
23 24 25 26 27 28
// square function definition returns square of an integer int square( int y ) // y is a copy of argument to function { return y * y; // returns square of y as an int } // end function square
14
Outline
fig03_03.cpp (2 of 2) fig03_03.cpp output (1 of 1)
16
25
36
49
64
81
100
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
// Fig. 3.4: fig03_04.cpp // Finding the maximum of three floating-point numbers. #include <iostream> using std::cout; using std::cin; using std::endl; double maximum( double, double, double ); // function prototype int main() { double number1; double number2; double number3;
15
Outline
fig03_04.cpp (1 of 2)
cout << "Enter three floating-point numbers: "; cin >> number1 >> number2 >> number3; // number1, number2 and number3 are arguments to // the maximum function call cout << "Maximum is: " << maximum( number1, number2, number3 ) << endl; return 0; // indicates successful termination
26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43
16
} // end main
Outline
Comma separated list for multiple parameters.
fig03_04.cpp (2 of 2) fig03_04.cpp output (1 of 1)
// function maximum definition; // x, y and z are parameters double maximum( double x, double y, double z ) { double max = x; // assume x is largest
Enter three floating-point numbers: 99.32 37.3 27.1928 Maximum is: 99.32 Enter three floating-point numbers: 1.1 3.333 2.22 Maximum is: 3.333 Enter three floating-point numbers: 27.9 14.31 88.99 Maximum is: 88.99
17
3.6
Function Prototypes
Definition
double maximum( double x, double y, double z ) { }
18
3.6
Function Prototypes
Function signature
Part of prototype with name and parameters
double maximum( double, double, double );
Argument Coercion
cout << sqrt(4)
Function signature
Conversion rules
Arguments usually converted automatically Changing from double to int can truncate data 3.4 to 3
19
3.6
Da ta typ es long double
Function Prototypes
double float unsigned long int (synonymous with unsigned long) long int (synonymous with long) unsigned int (synonymous with unsigned) int unsigned short int (synonymous with unsigned short) short int (synonymous with short) unsigned char char bool (false becomes 0, true becomes 1) Fig . 3.5 Pro m o tio n hiera rc hy fo r b uilt-in d a ta typ es.
20
3.7
Header Files
21
3.8
Example
i = rand() % 6 + 1;
Rand() % 6 generates a number between 0 and 5 (scaling) + 1 makes the range 1 to 6 (shift)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
// Fig. 3.7: fig03_07.cpp // Shifted, scaled integers produced by 1 + rand() % 6. #include <iostream> using std::cout; using std::endl; #include <iomanip>
22
Outline
fig03_07.cpp (1 of 2)
using std::setw;
#include <cstdlib> // contains function prototype for rand
int main() { // loop 20 times Output for ( int counter = 1; counter <= 20; counter++ ) { // pick random number from 1 to 6 and output cout << setw( 10 ) << ( 1 + rand() % 6 );
// if counter divisible by 5, begin new line of output if ( counter % 5 == 0 ) cout << endl; } // end for structure
27 28 29 30
23
return 0; } // end main 6 5 6 6 6 1 6 2 5 1 2 3 5 5 4 4 6 3 2 1 // indicates successful termination
Outline
fig03_07.cpp (2 of 2) fig03_07.cpp output (1 of 1)
24
3.8 Next
Simulate 6000 rolls of a die Print number of 1s, 2s, 3s, etc. rolled Should be roughly 1000 of each
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
// Fig. 3.8: fig03_08.cpp // Roll a six-sided die 6000 times. #include <iostream> using std::cout; using std::endl; #include <iomanip>
25
Outline
fig03_08.cpp (1 of 3)
using std::setw;
#include <cstdlib> // contains function prototype for rand
int main() { int frequency1 = 0; int frequency2 = 0; int frequency3 = 0; int frequency4 = 0; int frequency5 = 0; int frequency6 = 0; int face; // represents one roll of the die
24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
// loop 6000 times and summarize results for ( int roll = 1; roll <= 6000; roll++ ) { face = 1 + rand() % 6; // random number from 1 to 6 // determine face value and increment appropriate counter switch ( face ) { case 1: // rolled 1 ++frequency1; break; case 2: // rolled 2 ++frequency2; break; case 3: // rolled 3 ++frequency3; break; case 4: // rolled 4 ++frequency4; break; case 5: // rolled 5 ++frequency5; break;
26
Outline
fig03_08.cpp (2 of 3)
50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
27
case 6: // rolled 6 ++frequency6; break; default: // invalid value cout << "Program should never get here!"; } // end switch } // end for
Outline
fig03_08.cpp (3 of 3)
// display results in cout << "Face" << setw( 13 ) << "\n 1" << setw( 13 << "\n 2" << setw( 13 << "\n 3" << setw( 13 << "\n 4" << setw( 13 << "\n 5" << setw( 13 << "\n 6" << setw( 13 return 0; } // end main
Default case included even though it should never be reached. This is a matter of good coding style tabular format
<< "Frequency" ) << frequency1 ) << frequency2 ) << frequency3 ) << frequency4 ) << frequency5 ) << frequency6 << endl;
Face 1 2 3 4 5 6
28
Outline
fig03_08.cpp output (1 of 1)
29
3.8
Pseudorandom numbers
Preset sequence of "random" numbers Same sequence generated whenever program run
srand(seed);
<cstdlib> Used before rand() to set the seed
2003 Prentice Hall, Inc. All rights reserved.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
// Fig. 3.9: fig03_09.cpp // Randomizing die-rolling program. #include <iostream> using std::cout; using std::cin; using std::endl; #include <iomanip> using std::setw; // contains prototypes for functions srand and rand #include <cstdlib> // main function begins program execution int main() { unsigned seed;
30
Outline
fig03_09.cpp (1 of 2)
cout << "Enter seed: "; cin >> seed; srand( seed ); // seed random number generator
25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
// loop 10 times for ( int counter = 1; counter <= 10; counter++ ) { // pick random number from 1 to 6 and output it cout << setw( 10 ) << ( 1 + rand() % 6 ); // if counter divisible by 5, begin new line of output if ( counter % 5 == 0 ) cout << endl; } // end for return 0; } // end main // indicates successful termination
31
Outline
fig03_09.cpp (2 of 2) fig03_09.cpp output (1 of 1)
rand() gives the same sequence if it has the same initial seed.
6 6 2 4
1 6
4 1
6 1
3 5
1 4
6 2
1 6
4 1
6 6
2 4
32
3.8
33
3.9
Enumeration
Set of integers with identifiers
enum typeName {constant1, constant2};
Constants start at 0 (default), incremented by 1 Constants need unique names Cannot assign integer to enumeration variable
Must use a previously defined enumeration type
Example
enum Status {CONTINUE, WON, LOST}; Status enumVar; enumVar = WON; // cannot do enumVar = 1
34
3.9
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
// Fig. 3.10: fig03_10.cpp // Craps. #include <iostream> using std::cout; using std::endl; // contains function prototypes for functions srand and rand #include <cstdlib> #include <ctime> // contains
35
Outline
fig03_10.cpp (1 of 5)
Function to roll 2 dice and return the result as an time int. prototype for function
// function prototype
int main() the current game. { // enumeration constants represent game status enum Status { CONTINUE, WON, LOST }; int sum; int myPoint;
Status gameStatus;
25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
// randomize random number generator using current time srand( time( 0 ) ); sum = rollDice();
36
Outline
fig03_10.cpp (2 of 5)
statement // first switch roll of the dice determines outcome based on die roll. point based on sum of dice
// determine game status and switch ( sum ) { // win on first roll case 7: case 11: gameStatus = WON; break; // lose on first roll case 2: case 3: case 12: gameStatus = LOST; break;
46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
// remember point default: gameStatus = CONTINUE; myPoint = sum; cout << "Point is " << myPoint << endl; break; // optional } // end switch
37
Outline
fig03_10.cpp (3 of 5)
// while game not complete ... while ( gameStatus == CONTINUE ) { sum = rollDice(); // roll dice again
// determine game status if ( sum == myPoint ) gameStatus = WON; else if ( sum == 7 ) gameStatus = LOST; } // end while
// lose by rolling 7
68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88
// display won or lost message if ( gameStatus == WON ) cout << "Player wins" << endl; else cout << "Player loses" << endl; return 0; } // end main // roll dice, calculate sum and int rollDice( void ) { int die1; int die2; int workSum; die1 = 1 + rand() % 6; die2 = 1 + rand() % 6; workSum = die1 + die2; // indicates successful termination
38
Outline
fig03_10.cpp (4 of 5)
Function rollDice takes no arguments, so has void in the parameter list. display results
// pick random die1 value // pick random die2 value // sum die1 and die2
89 90 91 92 93 94 95
// display results of this roll cout << "Player rolled " << die1 << " + " << die2 << " = " << workSum << endl; return workSum; } // end function rollDice // return sum of dice
39
Outline
fig03_10.cpp (5 of 5)
fig03_10.cpp output (1 of 2)
Player rolled Point is 4 Player rolled Player rolled Player rolled Player rolled Player rolled Player rolled Player rolled Player rolled Player loses
1 + 3 = 4 4 2 6 2 2 1 4 4 + + + + + + + + 6 4 4 3 4 1 4 3 = = = = = = = = 10 6 10 5 6 2 8 7
40
Outline
fig03_10.cpp output (2 of 2)
41
Scope
Where variable can be referenced in program
Linkage
For multiple-file program (see Ch. 6), which files can use it
42
register keyword
Hint to place variable in high-speed register Good for often-used items (loop counters) Often unnecessary, compiler optimizes
43
static keyword
Local variables in function Keeps value between function calls Only known in own function
extern keyword
Default for global variables/functions
Globals: defined outside of a function block
44
File scope
Defined outside a function, known in all functions Global variables, function definitions and prototypes
Function scope
Can only be referenced inside defining function Only labels, e.g., identifiers with a colon (case:)
45
Local variables, function parameters static variables still have block scope
Storage class separate from scope
Function-prototype scope
Parameter list of prototype Names in prototype optional
Compiler ignores
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
// Fig. 3.12: fig03_12.cpp // A scoping example. #include <iostream> using std::cout; using std::endl; void useLocal( void ); // function prototype Declared outside of function; void useStaticLocal( void ); // function prototype global variable with file void useGlobal( void ); // function prototype
46
Outline
fig03_12.cpp (1 of 5)
scope.
int x = 1; int main() { int x = 5; // global variable
cout << "local x in main's outer scope is " << x giving << endl; Create a new block, x { // start new scope int x = 7; cout << "local x in main's inner scope is " << x << endl; } // end new scope
27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
47
cout << "local x in main's outer scope is " << x << endl; useLocal(); useStaticLocal(); useGlobal(); useLocal(); useStaticLocal(); useGlobal(); // // // // // // useLocal has local x useStaticLocal has static local x useGlobal uses global x useLocal reinitializes its local x static local x retains its prior value global x also retains its value
Outline
fig03_12.cpp (2 of 5)
cout << "\nlocal x in main is " << x << endl; return 0; } // end main // indicates successful termination
43 44 45 46 47 48 49 50 51 52 53 54 55
// useLocal reinitializes local variable x during each call void useLocal( void ) { int x = 25; // initialized each time useLocal is called cout << << ++x; cout << <<
48
Outline
fig03_12.cpp (3 of 5)
variable (local endl << "local x is Automatic " << x variable function). This " on entering useLocal" << of endl;
is destroyed when the function "local x is " << x exits, and reinitialized when " on exiting useLocal" << endl; the function begins.
56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71
// useStaticLocal initializes static local variable x only the // first time the function is called; value of x is saved // between calls to this function void useStaticLocal( void ) { // initialized only first time useStaticLocal is called static int x = 50; cout << << ++x; cout << << endl << "local static x is " << x " on entering useStaticLocal" << endl;
49
Outline
fig03_12.cpp (4 of 5)
Static local variable of "local static x is " << x function; it is initialized " on exiting useStaticLocal" << endl;
72 73 74 75 76 77 78 79 80 81
// useGlobal modifies global variable x during each call void useGlobal( void ) { cout << endl << "global x is " << x This function does not declare fig03_12.cpp << " on entering useGlobal" << endl; any variables. It uses the (5 of 5) x *= 10; global x declared in the cout << "global x is " << x beginning of the program. fig03_12.cpp << " on exiting useGlobal" << endl;
50
Outline
output (1 of 2)
} // end function useGlobal
local x in main's outer scope is 5 local x in main's inner scope is 7 local x in main's outer scope is 5 local x is 25 on entering useLocal local x is 26 on exiting useLocal local static x is 50 on entering useStaticLocal local static x is 51 on exiting useStaticLocal global x is 1 on entering useGlobal global x is 10 on exiting useGlobal
51
local x is 25 on entering useLocal local x is 26 on exiting useLocal local static x is 51 on entering useStaticLocal local static x is 52 on exiting useStaticLocal global x is 10 on entering useGlobal global x is 100 on exiting useGlobal local x in main is 5
Outline
fig03_12.cpp output (2 of 2)
52
53
5! = 5 * 4! 4! = 4 * 3!
Base case (1! = 0! = 1)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
// Fig. 3.14: fig03_14.cpp // Recursive factorial function. #include <iostream> using std::cout; using std::endl; #include <iomanip>
54
Outline
fig03_14.cpp (1 of 2) Data type unsigned long can hold an integer from 0 to 4 billion.
using std::setw;
unsigned long factorial( unsigned long ); // function prototype int main() { // Loop 10 times. During each iteration, calculate // factorial( i ) and display result. for ( int i = 0; i <= 10; i++ ) cout << setw( 2 ) << i << "! = " << factorial( i ) << endl; return 0; } // end main // indicates successful termination
25 26 27 28 29 30 31 32 33 34 35 36 37 0! 1! 2! 3! 4! 5! 6! 7! 8! 9! 10!
55
// recursive definition of function factorial The base unsigned long factorial( unsigned long number ) case occurs when we have 0! or 1!. All other { cases must be split up // base case if ( number <= 1 ) (recursive step). return 1; // recursive step else return number * factorial( number - 1 ); } // end function factorial = = = = = = = = = = = 1 1 2 6 24 120 720 5040 40320 362880 3628800
Outline
fig03_14.cpp (2 of 2) fig03_14.cpp output (1 of 1)
56
57
f( 3 )
return
f( 2 )
f( 1 )
return
f( 1 )
f( 0 )
return 1
return 1
return 0
58
Exponential complexity
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
// Fig. 3.15: fig03_15.cpp // Recursive fibonacci function. #include <iostream> using std::cout; using std::cin; using std::endl; unsigned long fibonacci( unsigned long ); // int main() { unsigned long result, number; // obtain integer from user cout << "Enter an integer: "; cin >> number; // calculate fibonacci value for number input by user result = fibonacci( number ); // display result cout << "Fibonacci(" << number << ") = " << result << endl; return 0; // indicates successful termination
59
Outline
fig03_15.cpp The Fibonacci numbers get (1 of 2) large very quickly, and are all non-negative integers. Thus, we use the unsigned function prototype long data type.
26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
60
} // end main // recursive definition of function fibonacci unsigned long fibonacci( unsigned long n ) { // base case if ( n == 0 || n == 1 ) return n; // recursive step else return fibonacci( n - 1 ) + fibonacci( n - 2 ); } // end function fibonacci
Outline
fig03_15.cpp (2 of 2) fig03_15.cpp output (1 of 2)
61
Outline
fig03_15.cpp output (2 of 2)
62
Termination
Iteration: loop condition fails Recursion: base case recognized
Both can have infinite loops Balance between performance (iteration) and good software engineering (recursion)
63
Indicates function takes no arguments Function print takes no arguments and returns no value
void print(); void print( void );
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
// Fig. 3.18: fig03_18.cpp // Functions that take no arguments. #include <iostream> using std::cout; using std::endl; void function1(); void function2( void ); int main() { function1(); function2(); return 0; } // end main // function prototype // function prototype
64
Outline
fig03_18.cpp (1 of 2)
// call function1 with no arguments // call function2 with no arguments // indicates successful termination
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
// function1 uses an empty parameter list to specify that // the function receives no arguments void function1() { cout << "function1 takes no arguments" << endl; } // end function1 // function2 uses a void parameter list to specify that // the function receives no arguments void function2( void ) { cout << "function2 also takes no arguments" << endl; } // end function2
65
Outline
fig03_18.cpp (2 of 2) fig03_18.cpp output (1 of 1)
66
Asks the compiler to copy code into program instead of making function call
Reduce function-call overhead Compiler can ignore inline
Example
inline double cube( const double s ) { return s * s * s; }
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
// Fig. 3.19: fig03_19.cpp // Using an inline function to calculate. // the volume of a cube. #include <iostream> using std::cout; using std::cin; using std::endl;
67
Outline
fig03_19.cpp (1 of 2)
// Definition of inline function cube. Definition of function // appears before function is called, so a function prototype // is not required. First line of function definition acts as // the prototype. inline double cube( const double side ) { return side * side * side; // calculate cube
} // end function cube
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
int main() { cout << "Enter the side length of your cube: "; double sideValue; cin >> sideValue; // calculate cube of sideValue and display result cout << "Volume of cube with side " << sideValue << " is " << cube( sideValue ) << endl; return 0; } // end main // indicates successful termination
68
Outline
fig03_19.cpp (2 of 2) fig03_19.cpp output (1 of 1)
Enter the side length of your cube: 3.5 Volume of cube with side 3.5 is 42.875
69
Call by reference
Function can directly access data Changes affect original
70
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
// Fig. 3.20: fig03_20.cpp // Comparing pass-by-value and pass-by-reference // with references. #include <iostream> using std::cout; using std::endl; int squareByValue( int ); void squareByReference( int & ); int main() { int x = 2; int z = 4; // demonstrate squareByValue cout << "x = " << x << " before squareByValue\n"; cout << "Value returned by squareByValue: " << squareByValue( x ) << endl; cout << "x = " << x << " after squareByValue\n" << endl;
71
Outline
fig03_20.cpp (1 of 2)
23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46
// demonstrate squareByReference cout << "z = " << z << " before squareByReference" << endl; squareByReference( z ); cout << "z = " << z << " after squareByReference" << endl; return 0; // indicates successful termination } // end main
72
Outline
fig03_20.cpp (2 of 2)
// // int squareByValue( int number ) { return number *= number; // caller's argument not modified } // end function squareByValue
Changes number, but original parameter (x) is not squareByValue multiplies number by itself, stores the modified. result in number and returns the new value of number
Changes numberRef, an
// squareByReference multiplies numberRef by itself and alias for the original // stores the result in the variable to which numberRef parameter. Thus, z is // refers in function main changed. void squareByReference( int &numberRef ) { numberRef *= numberRef; // caller's argument modified } // end function squareByReference
x = 2 before squareByValue Value returned by squareByValue: 4 x = 2 after squareByValue z = 4 before squareByReference z = 16 after squareByReference
73
Outline
fig03_20.cpp output (1 of 1)
74
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
// Fig. 3.21: fig03_21.cpp // References must be initialized. #include <iostream> using std::cout; using std::endl; int main() { int x = 3;
75
Outline
fig03_21.cpp (1 of 1) fig03_21.cpp output (1 of 1)
y declared as a reference to x.
// y refers to (is an alias for) x int &y = x; cout << "x = " << x << endl << "y = " << y << endl; y = 7; cout << "x = " << x << endl << "y = " << y << endl; return 0; } // end main // indicates successful termination
x y x y
= = = =
3 3 7 7
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
// Fig. 3.22: fig03_22.cpp // References must be initialized. #include <iostream> using std::cout; using std::endl; int main() { int x = 3; int &y;
76
Outline
fig03_22.cpp (1 of 1)
fig03_22.cpp output (1 of 1)
cout << "x = " << x << endl << "y = " << y << endl; y = 7; cout << "x = " << x << endl << "y = " << y << endl; return 0; } // end main // indicates successful termination
Borland C++ command-line compiler error message: Error E2304 Fig03_22.cpp 11: Reference variable 'y' must be initialized in function main() Microsoft Visual C++ compiler error message: D:\cpphtp4_examples\ch03\Fig03_22.cpp(11) : error C2530: 'y' : references must be initialized
77
myFunction(3)
x = 3, y and z get defaults (rightmost)
myFunction(3, 5)
x = 3, y = 5 and z gets default
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
// Fig. 3.23: fig03_23.cpp // Using default arguments. #include <iostream> using std::cout; using std::endl;
78
Outline
fig03_23.cpp (1 of 2)
// function prototype that specifies default arguments int boxVolume( int length = 1, int width = 1, int height = 1 ); int main() { // no arguments--use default values for all dimensions cout << "The default box volume is: " << boxVolume(); // specify length; default width and height cout << "\n\nThe volume of a box with length 10,\n" << "width 1 and height 1 is: " << boxVolume( 10 ); // specify length and width; default height cout << "\n\nThe volume of a box with length 10,\n" << "width 5 and height 1 is: " << boxVolume( 10, 5 );
Function calls with some parameters missing the rightmost parameters get their defaults.
24 25 26 27 28 29 30 31 32 33 34 35 36 37 38
// specify all arguments cout << "\n\nThe volume of a box with length 10,\n" << "width 5 and height 2 is: " << boxVolume( 10, 5, 2 ) << endl; return 0; } // end main // indicates successful termination
79
Outline
fig03_23.cpp (2 of 2) fig03_23.cpp output (1 of 1)
// function boxVolume calculates the volume of a box int boxVolume( int length, int width, int height ) { return length * width * height;
} // end function boxVolume
The default box volume is: 1 The volume of a box with length 10, width 1 and height 1 is: 10 The volume of a box with length 10, width 5 and height 1 is: 50 The volume of a box with length 10, width 5 and height 2 is: 100
80
3.19 Unitary Scope Resolution Operator Unary scope resolution operator (::)
Access global variable if local variable has same name Not needed if names are different Use ::variable
y = ::x + 3;
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
// Fig. 3.24: fig03_24.cpp // Using the unary scope resolution operator. #include <iostream> using std::cout; using std::endl; #include <iomanip>
81
Outline
fig03_24.cpp (1 of 2)
using std::setprecision;
// define global constant PI const double PI = 3.14159265358979; int main() { // define local constant PI const float PI = static_cast< float >( ::PI );
Access the global PI with ::PI. Cast the global PI to a float for the local PI. This example will show the difference between float and double.
// display values of local and global PI constants cout << setprecision( 20 ) << " Local float value of PI = " << PI << "\nGlobal double value of PI = " << ::PI << endl; return 0; // indicates successful termination
26 27
82
} // end main
Outline
fig03_24.cpp (2 of 2) fig03_24.cpp output (1 of 1)
Borland C++ command-line compiler output: Local float value of PI = 3.141592741012573242 Global double value of PI = 3.141592653589790007 Microsoft Visual C++ compiler output: Local float value of PI = 3.1415927410125732 Global double value of PI = 3.14159265358979
83
Type-safe linkage
Ensures proper overloaded function called
2003 Prentice Hall, Inc. All rights reserved.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
// Fig. 3.25: fig03_25.cpp // Using overloaded functions. #include <iostream> using std::cout; using std::endl;
84
Outline
fig03_25.cpp (1 of 2)
// function square for int values int square( int x ) { cout << "Called square with int argument: " << x << endl; return x * x; } // end int version of function square // function square for double values double square( double y ) { cout << "Called square with double argument: " << y << endl; return y * y; } // end double version of function square
Overloaded functions have the same name, but the different parameters distinguish them.
24 25 26 27 28 29 30 31 32 33 34 35
int main() { int intResult = square( 7 ); // calls int version double doubleResult = square( 7.5 ); // calls double version cout << "\nThe square of integer 7 is " << intResult The proper function is called << "\nThe square of double 7.5 is " << doubleResult based upon the argument << endl;
85
Outline
fig03_25.cpp (2 of 2) fig03_25.cpp output (1 of 1)
(int or double).
return 0;
} // end main
Called square with int argument: 7 Called square with double argument: 7.5 The square of integer 7 is 49 The square of double 7.5 is 56.25
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
// Fig. 3.26: fig03_26.cpp // Name mangling. // function square for int values int square( int x ) { return x * x; }
86
Outline
fig03_26.cpp (1 of 2)
23 24 25 26 27 28 29 30 31 32 33 34
// function that receives arguments of types // char, int, float * and double * char *nothing2( char a, int b, float *c, double *d ) { return 0; } int main() { return 0; } // end main
87
Outline
fig03_26.cpp (2 of 2) fig03_26.cpp output (1 of 1)
Mangled names produced in assembly language. $q separates the function name from its parameters. c is char, d is double, i is int, pf is a pointer to a float, etc.
88
Format
Begin with keyword template Formal type parameters in brackets <>
Every type parameter preceded by typename or class (synonyms) Placeholders for built-in types (i.e., int) or user-defined types
Specify arguments types, return types, declare variables
89
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
// Fig. 3.27: fig03_27.cpp // Using a function template. #include <iostream> using std::cout; using std::cin; using std::endl;
90
Outline
fig03_27.cpp (1 of 3)
// definition of function template < class T > // or template < typename T > T maximum( T value1, T value2, T value3 ) { T max = value1; if ( value2 > max ) max = value2; if ( value3 > max ) max = value3; return max;
Formal type parameter T placeholder for type of data to be tested by maximum. template maximum
25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46
int main() { // demonstrate maximum with int values int int1, int2, int3; cout << "Input three integer values: "; cin >> int1 >> int2 >> int3; // invoke int version of maximum cout << "The maximum integer value is: " << maximum( int1, int2, int3 ); // demonstrate maximum with double values double double1, double2, double3; cout << "\n\nInput three double values: "; cin >> double1 >> double2 >> double3; // invoke double version of maximum cout << "The maximum double value is: " << maximum( double1, double2, double3 );
91
Outline
fig03_27.cpp (2 of 3) maximum called with various data types.
47 48 49 50 51 52 53 54 55 56 57 58 59 60
// demonstrate maximum with char values char char1, char2, char3; cout << "\n\nInput three characters: "; cin >> char1 >> char2 >> char3; // invoke char version of maximum cout << "The maximum character value is: " << maximum( char1, char2, char3 ) << endl; return 0; } // end main // indicates successful termination
92
Outline
fig03_27.cpp (3 of 3) fig03_27.cpp output (1 of 1)
Input three integer values: 1 2 3 The maximum integer value is: 3 Input three double values: 3.3 2.2 1.1 The maximum double value is: 3.3 Input three characters: A C B The maximum character value is: C