Skip to main content

Checkpoint: Pointers as Addresses

intermediate20 min readLesson 92 of 148

Prove you can reason about bounds, const contracts, and two-level indirection before memory management.

What you just proved

  • One-past-the-end reasoning under pressure (bounds validation with hi == a + n allowed).
  • Half-open ranges as the native shape of pointer algorithms.
  • Const as a machine-checked contract, including pointer-reshuffling vs value-writing.
  • The T ** out-parameter protocol.

Module 3: who owns the memory behind the pointer, and what happens when that question goes unanswered.