C++ Functions
C++ Functions
C++ Functions
C++ Functions
A function is a group of statements that together perform a task. Every C++ program has at least one function,
which is main(), and all the most trivial programs can define additional functions.
You can divide up your code into separate functions. How you divide up your code among different functions is up
to you, but logically the division usually is so each function performs a specific task.
A function declaration tells the compiler about a function's name, return type, and parameters. A function
definition provides the actual body of the function.
The C++ standard library provides numerous built-in functions that your program can call. For example, function
strcat() to concatenate two strings, function memcpy() to copy one memory location to another location and
many more functions.
A function is knows as with various names like a method or a sub-routine or a procedure etc.
Defining a Function:
The general form of a C++ function definition is as follows:
A C++ function definition consists of a function header and a function body. Here are all the parts of a function:
Return Type: A function may return a value. The return_type is the data type of the value the function
returns. Some functions perform the desired operations without returning a value. In this case, the
return_type is the keyword void.
Function Name: This is the actual name of the function. The function name and the parameter list
together constitute the function signature.
Parameters: A parameter is like a placeholder. When a function is invoked, you pass a value to the
parameter. This value is referred to as actual parameter or argument. The parameter list refers to the
type, order, and number of the parameters of a function. Parameters are optional; that is, a function may
contain no parameters.
Function Body: The function body contains a collection of statements that define what the function
does.
Example:
Following is the source code for a function called max(). This function takes two parameters num1 and num2 and
returns the maximum between the two:
return result;
}
Function Declarations:
A function declaration tells the compiler about a function name and how to call the function. The actual body of
the function can be defined separately.
For the above defined function max(), following is the function declaration:
Parameter names are not importan in function declaration only their type is required, so following is also valid
declaration:
Function declaration is required when you define a function in one source file and you call that function in another
file. In such case, you should declare the function at the top of the file calling the function.
Calling a Function:
While creating a C++ function, you give a definition of what the function has to do. To use a function, you will have
to call or invoke that function.
When a program calls a function, program control is transferred to the called function. A called function performs
defined task and when its return statement is executed or when its function-ending closing brace is reached, it
returns program control back to the main program.
To call a function, you simply need to pass the required parameters along with function name, and if function
returns a value, then you can store returned value. For example:
#include <iostream>
using namespace std;
// function declaration
int max(int num1, int num2);
int main ()
{
// local variable declaration:
int a = 100;
int b = 200;
int ret;
return 0;
}
return result;
}
I kept max() function along with main() function and compiled the source code. While running final executable, it
would produce the following result:
Function Arguments:
If a function is to use arguments, it must declare variables that accept the values of the arguments. These
variables are called the formal parameters of the function.
The formal parameters behave like other local variables inside the function and are created upon entry into the
function and destroyed upon exit.
While calling a function, there are two ways that arguments can be passed to a function:
This method copies the actual value of an argument into the formal parameter
Call by value of the function. In this case, changes made to the parameter inside the function
have no effect on the argument.
This method copies the address of an argument into the formal parameter.
Call by pointer Inside the function, the address is used to access the actual argument used in
the call. This means that changes made to the parameter affect the argument.
This method copies the reference of an argument into the formal parameter.
Inside the function, the reference is used to access the actual argument used
Call by reference
in the call. This means that changes made to the parameter affect the
argument.
By default, C++ uses call by value to pass arguments. In general, this means that code within a function cannot
alter the arguments used to call the function and above mentioned example while calling max() function used the
same method.
#include <iostream>
using namespace std;
result = a + b;
return (result);
}
int main ()
{
// local variable declaration:
int a = 100;
int b = 200;
int result;
return 0;
}
When the above code is compiled and executed, it produces the following result:
By default, C++ uses call by value to pass arguments. In general, this means that code within a function cannot
alter the arguments used to call the function. Consider the function swap() definition as follows.
return;
}
Now, let us call the function swap() by passing actual values as in the following example:
#include <iostream>
using namespace std;
// function declaration
void swap(int x, int y);
int main ()
{
// local variable declaration:
int a = 100;
int b = 200;
return 0;
}
When the above code is put together in a file, compiled and executed, it produces the following result:
Which shows that there is no change in the values though they had been changed inside the function.
To pass the value by pointer, argument pointers are passed to the functions just like any other value. So
accordingly you need to declare the function parameters as pointer types as in the following function swap(),
which exchanges the values of the two integer variables pointed to by its arguments.
return;
}
To check the more detail about C++ pointers, kindly check C++ Pointers chapter.
For now, let us call the function swap() by passing values by pointer as in the following example:
#include <iostream>
using namespace std;
// function declaration
void swap(int *x, int *y);
int main ()
{
// local variable declaration:
int a = 100;
int b = 200;
return 0;
}
When the above code is put together in a file, compiled and executed, it produces the following result:
To pass the value by reference, argument reference is passed to the functions just like any other value. So
accordingly you need to declare the function parameters as reference types as in the following function swap(),
which exchanges the values of the two integer variables pointed to by its arguments.
return;
}
For now, let us call the function swap() by passing values by reference as in the following example:
#include <iostream>
using namespace std;
// function declaration
void swap(int &x, int &y);
int main ()
{
// local variable declaration:
int a = 100;
int b = 200;
return 0;
}
When the above code is put together in a file, compiled and executed, it produces the following result:
Inline functions
Calling a function generally causes a certain overhead (stacking arguments, jumps, etc...), and thus
for very short functions, it may be more efficient to simply insert the code of the function where it is
called, instead of performing the process of formally calling a function.
Implementing a program as a set of functions is good from a software engineering standpoint, but
function calls involve execution-time overhead. C++ provides inline functions to help reduce function
call overheadespecially for small functions. Placing the qualifier inline before a function's return
type in the function definition "advises" the compiler to generate a copy of the function's code in
place (when appropriate) to avoid a function call. The trade-off is that multiple copies of the function
code are inserted in the program (often making the program larger) rather than there being a single
copy of the function to which control is passed each time the function is called. The compiler can
ignore the inline qualifier and typically does so for all but the smallest functions.
Preceding a function declaration with the inline specifier informs the compiler that inline
expansion is preferred over the usual function call mechanism for a specific function. This does not
change at all the behavior of a function, but is merely used to suggest the compiler that the code
generated by the function body shall be inserted at each point the function is called, instead of being
invoked with a regular function call.
For example, the concatenate function above may be declared inline as:
This informs the compiler that when concatenate is called, the program prefers the function to be
expanded inline, instead of performing a regular call. inline is only specified in the function
declaration, not when it is called.
Note that most compilers already optimize code to generate inline functions when they see an
opportunity to improve efficiency, even if not explicitly marked with the inline specifier. Therefore,
this specifier merely indicates the compiler that inline is preferred for this function, although the
compiler is free to not inline it, and optimize otherwise. In C++, optimization is a task delegated to
the compiler, which is free to generate any code for as long as the resulting behavior is the one
specified by the code.
Figure uses inline function cube (lines 11-14) to calculate the volume of a cube of side
side. Keyword const in the parameter list of function cube (line 11) tells the compiler that
the function does not modify variable side. This ensures that the value of side is not changed
by the function when the calculation is performed. Notice that the complete definition of
function cube appears before it is used in the program. This is required so that the compiler
knows how to expand a cube function call into its inlined code. For this reason, reusable
inline functions are typically placed in header files, so that their definitions can be included in
each source file that uses them.
divide (12)
The call only passes one argument to the function, even though the function has two parameters. In
this case, the function assumes the second parameter to be 2 (notice the function definition, which
declares its second parameter as int b=2). Therefore, the result is 6.
divide (20,4)
The call passes two arguments to the function. Therefore, the default value for b (int b=2) is
ignored, and b takes the value passed as argument, that is 4, yielding a result of 5.
Default Arguments
It is not uncommon for a program to invoke a function repeatedly with the same argument
value for a particular parameter. In such cases, the programmer can specify that such a
parameter has a default argument, i.e., a default value to be passed to that parameter. When a
program omits an argument for a parameter with a default argument in a function call, the
compiler rewrites the function call and inserts the default value of that argument to be passed
as an argument to the function call.
Default arguments must be the rightmost (trailing) arguments in a function's parameter list.
When calling a function with two or more default arguments, if an omitted argument is not the
rightmost argument in the argument list, then all arguments to the right of that argument also
must be omitted. Default arguments should be specified with the first occurrence of the
function nametypically, in the function prototype. If the function prototype is omitted because
the function definition also serves as the prototype, then the default arguments should be
specified in the function header. Default values can be any expression, including constants,
global variables or function calls. Default arguments also can be used with inline functions.
Figure demonstrates using default arguments in calculating the volume of a box. The function
prototype for boxVolume (line 8) specifies that all three parameters have been given default
values of 1. Note that we provided variable names in the function prototype for readability. As
always, variable names are not required in function prototypes.
Following is a simple example to generate few random numbers. This example makes use of time() function to
get the number of seconds on your system time, to randomly seed the rand() function:
#include <iostream>
#include <ctime>
#include <cstdlib>
int main ()
{
int i,j;
return 0;
}
When the above code is compiled and executed, it produces the following result:
#include <iostream>
#include <time.h>
using namespace std;
int add(int, int);
int main()
{
int k;
srand(time(0));
for (k = 0; k < 10; ++k)
cout<< rand()<<endl;
return 0;
}
We sometimes want to give random initial values to our variables in the program. We can use mod
(%) operator to produce random numbers for predetermined range.