C - C++ - Passing By Reference To Const

C++ is an example of a message-passing paradigm language, which means that objects and values are passed to functions, which then return further objects and values based on the input data.

One of the benefits of C++ is that it allows very fine grained control over these function interfaces, as well as how the passed objects are stored and manipulated.

• There are different methods of passing data/objects to a function and this will affect efficiency and operation of the program.

In C++ there are three different ways to pass data to a function.

• By value.
• By reference.
• By pointer.

All have different characteristics when it comes to efficiency, storage and behaviour.

• Passing by pointer, is a legacy method used by C-style programs (as well as function pointers).
• Instead we will concentrate on the first and second methods.

When an object (or built-in type) is passed by value to a function, the underlying object is copied using its copy constructor.

• The new object has additional memory allocated to it and all values and sub-objects are copied and stored separately.
• If the object passed is a built-in type such as an int or double value then the copying process is cheap and will often not impact performance.
• However if the passed object contains a lot of stored values, such as a vector or matrix then the copying process will be expensive in terms of both storage and CPU cycles.

Passing an object by value also means that any modifications made to the object, within the scope of the function being passed the object, will occur on the copied object and not on the object that was passed.

• This causes confusion for beginning C++ programmers as well as being a source of bugs!

Example: Consider a norm function which calculates the Euclidean norm of a vector of double values. The function returns one double precision value (“the norm”) and takes the vector as a parameter. The following code shows the vector being passed by value:

double euclid_norm(vector<double> my_vector);

When an object (or built-in type) is passed by reference to a function, the underlying object is not copied.

• The function is given the memory address of the object itself.
• This saves both memory and CPU cycles as no new memory is allocated and no (expensive) copy constructors are being called.
• It is a much more efficient operation.

If the function being passed the object now modifies the object in any way, the original object will reflect those modifications, rather than a copy of the object.

• In some instances this is exactly what is intended.
• In other situations this may not be the desired behaviour.
• Once again there is the possibility of bugs!
• In particular the vector norm function as described above should not be able to modify the passed vector object.

Here is the same euclid_norm function modified to pass the vector by reference.

• Note the added reference symbol (&):

double euclid_norm(vector<double>& my_vector);

To solve the problem of not copying AND not modifying the underlying data a technique known as passing by reference to const is used.

• This is similar to passing by reference except that we mark the my_vector parameter as a const object.
• This tells euclid_norm not to modify my_vector within its own scope:

double euclid_norm(const vector<double>& my_vector);