Блин, указатель - это адрес в памяти. Можете хоть случайное число взять, привести его к типу указателя, и оно будет на что-нибудь указывать. Можете (опять же если захотите) во время выполнения программы прибавить к нему 10, он будет указывать на что-нибудь другое.

Ссылка - это другое имя переменной. Ссылки обрабатываются на этапе компиляции. В компиляторе есть таблица переменных, в которой хранятся типы переменных, адреса и т.д., и таблица имён, в которой хранятся имена и ссылки на другие таблицы, где описано, что эти имена означают. Когда объявляется int i = 5; int &j = i; в таблице переменных создается одна запись, которая соответствует переменной i. А в таблице имен - две записи, одна для i и другая для j, которые ссылаются на одну и ту же запись в таблице переменных. Безумный ученый Страуструп придумал это для передачи изменяемых параметров в функции, потому что ему видите ли лень было писать void f (int *i) {*i = *i + 1;} Конечно, void f (int &i) {i = i + 1;} проще. А потом стал использовать этот механизм в качестве безопасного указателя, потому что нельзя забыть проинициализировать его, и нельзя его испортить.

В ПХП, где нет указателей, используется точно такой же механизм ссылок, но он описан в хелпе понятными словами.

Торможу... Пример можно?

Динамические переменные в таблицах не хранятся. Поскольку оператор new возвращает адрес созданного объекта, он используется в выражениях вида lvalue = new Чего-Нибудь, где lvalue - переменная-указатель, которая была объявлена и (в тот момент, когда компилятор разобрал её объявление) попала в таблицу.

ЗЫ: компилятор создаёт таблицы только для именованных объектов, введенных с помощью инструкций объявления, чтобы где-то хранить информацию о том, что же означают эти имена. С адресом я, возможно, погорячился: компиляторы C++ производят файлы объектного формата, в которых адреса статических объектов не фигурируют, только символические имена. Статические адреса потом вычисляются линкером. Хотя для автоматических объектов адрес представляет собой смещение от начала стекового кадра и вычисляется компилятором.

Стоит глянуть на какой-нибудь компилятор C++ с открытым исходником, gpp или что-нибудь типо того;)

Про готовый бинарник никто не говорил. Таблицы сущестуют только в памяти компилятора. Обсуждалось, как компилятор разбирает конструкции типа int i; int &j = i; Что ксается формальных параметров, там ссылки действительно превращаются в указатели.