Stage 5: References and References as Function Parameters

References in C++: A Programmer's Power Tool

A reference is essentially an alias or a "second name" for an already existing variable. Unlike pointers (which store an address), a reference behaves exactly like the variable it refers to, but it does not create a copy in memory. For your exam, this is the absolute foundation of efficient programming.

---

1. Basic Syntax and Rules

We declare a reference using the & operator placed next to the data type.

Golden Rules of References:

1. Must be initialized: You cannot write int &ref; without assigning it to a variable.
2. Cannot be "null": A reference must always point to a valid object (there is no equivalent to nullptr).
3. Non-reseatable: Once assigned, a reference points to the same variable for the rest of its life. You cannot "switch" it to another object.

---

2. Reference as a Function Parameter

This is the most important use of references in exams. Passing by reference solves two main problems:

A. Performance (No Copying)

If you pass a large object to a function (e.g., a long std::string or a large structure), passing by value forces the computer to make a copy of the entire object. A reference only sends "access" to the original.

B. Modifying Arguments

By default, functions operate on copies. If you want a function to change a variable declared in main, you must use a reference.

---

3. Reference to Constant (const &)

Often we want to benefit from the efficiency of references (no copying) while simultaneously guaranteeing that the function will not modify our variable. In such cases, we use const.

Exam Tip: If a function only needs to "read" data from a large object, always use const &.

---

4. Comparison: Value vs. Reference

---

Common Exam Mistakes

1. Returning a reference to a local variable: This is a critical error. A local variable disappears after the function finishes, so a reference to it would lead to nothing (dangling reference).

   cpp

   int& bad() { int x = 10; return x; // ERROR! x will cease to exist }

2. Confusing & in declaration with & as address-of operator:

   • int &r = x; (reference declaration)
   • cout << &x; (getting the memory address - this is different!)

3. Missing & in for-loops: When operating on arrays of objects, using for (auto &element : array) prevents unnecessary copying of each element during every iteration.