C++ References vs Pointers: Memory Aliasing, Lvalues & Safety Guarantees

A Reference is an alternative name (an alias) for an already existing variable. Once a reference is initialized to an object, either the original variable name or the reference name can be used to read or modify the data.

Comprehensive Comparison: References vs Pointers

Property	Reference (`T&`)	Pointer (`T*`)
Initialization	Must be initialized at declaration	Can be uninitialized (wild pointer risk)
Nullability	Cannot be null (always points to an object)	Can be `nullptr` or `NULL`
Reassignment	Cannot be reseated to another variable	Can be freely reassigned to different addresses
Syntax	Clean, natural variable syntax (`ref = 10`)	Requires explicit dereference (`*ptr = 10`)
Arithmetic	No pointer arithmetic supported	Supports arithmetic (`ptr++`, `ptr + 4`)

Practical Code Demonstration

#include <iostream>

void swapByRef(int& a, int& b) {
    int temp = a;
    a = b;
    b = temp;
}

int main() {
    int x = 10, y = 20;
    std::cout << "Before swap: x=" << x << ", y=" << y << "\n";

    swapByRef(x, y); // Clean call without messy & symbols!
    std::cout << "After swap:  x=" << x << ", y=" << y << "\n";
    // Output: x=20, y=10

    return 0;
}

Frequently Asked Questions (FAQ) - Student & Interview Review

Q1. Can a C++ reference be NULL or reassigned to another variable?

No! A reference MUST be bound to a valid existing variable at the moment of declaration. Once bound, it CANNOT be reassigned to refer to a different object (it is bound for life).

Q2. What is the memory size of a reference?

Conceptually, a reference is an alias and has no independent storage. Under the hood, compilers implement references using constant pointers (T* const), meaning it typically consumes 8 bytes on 64-bit systems when passed to functions.