Ну, это смотря какого уровня абстракции рассматривать  Здесь под ЯП, видимо, имелся в виду язык программирования высокого уровня. В C++ переменная - это именованный объект, а объект - это регион памяти на абстрактной машине. Стандарт не обязывает реализацию хранить объект в реальной памяти - реализация обязана только обеспечивать наблюдаемое поведение, эквивалентное поведению абстрактной машины, а как она это будет делать - проблемы реализации.

Например, для такого исходного кода


хороший оптимизирующий компилятор может сгенерировать в точности такой же машинный код, как и для

ни один компилятор переменые на который будет указывать указатель ниоставит в регистрах, как правило почти все переменые ложатся на стек , указатель будет на стек со смещением,
а то что оптимизирует компилятор в регистры как правило переменые циклов , если программер сам не указал тип регистра , но в этом случае компилятор может не пропустить указатель на регистр
к dll я вообще не понял что сказать хотели....

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

под словом "переменная" подразумевалось собирательное название именований, используемых в коде для ассоциации с каким либо "объектом"
рад был бы услышать правиильное название этого термина.


Константный указатель и ссылка неизменяются по разным "идеологическим" причинам. 

Ну, правильно, переменная - это обозначение объекта, вводимое через его объявление. Поскольку ссылка - это не объект, переменная не  может обозначать ссылку.

 
чего то не то.. UnrealMan, ведь должно же быть собирательное слово для a и  ra ?!

Такая вот абстракция получилась



Поправьте меня если я буду не прав в комментариях...



Не спрашивайте зачем я это выложил, я сам не знаю, просто интересно было посмотреть, что же там внутри   

Это сообщение отредактировал(а) SABROG - 20.12.2008, 14:38

данная комбинация имхо обозначает что взять указатель ( т.е. адресс)   
и в функцию уходит указатель (адресс) переменой...

Имхо по ebp-4 должно находится содержимое переменной, в моем случае это содержимое имеет тип int. В то время как lea берет адрес на это содержимое, т.е. ссылку (не указатель). Далее адрес (ссылка) пихается в переменную ra (вы меня извините, что я так свободно оперирую понятием переменной, но на уровне ассемблера любой адрес доступный для записи - переменная), которая лежит по адресу ebp-8. Теперь сам адрес ebp-8 по праву можно считать указателем, т.к. по этому адресу лежит ссылка (адрес a). Но из-за того, что в функцию передается именно ссылка, а не указатель, то значение ссылки извлекается обратно в регистр. Тут видно, что по-хорошему компилятор должен оптимизировать все это до такой степени, чтобы никаких новых переменных не заводилось вообще. При оптимизации -O1  и выше он вообще удаляет все что связано с этими переменными и саму фукнцию func, т.к. они не используются. Остается один лишь return.

SABROG, 
у тебя как-то все сложновато   
на самом деле все намного проще
на уровне ассемблера и ниже есть только адреса (точнее смещение относительно сегментов) и значения по этим адресам

по моему надо конкретно определится что есть указатель, а что есть ссылка!

на мой взгляд указатель это переменная которая содержит адресс переменой на которую указывает !
так что асмовая команда lea как раз соответствует этой задаче.

http://www.xs4all.nl/~smit/asm01001.htm

ваше высказывание?

Есть две команды





Обе выполняют одну и ту же работу - берут адрес и пихают в регистр. Но когда дело доходит до адресной арифметики, то обычным mov уже не отделаться:



В скобках происходит математическая операция с адресом, результат которой помещается в eax (не содержимое по этому адресу, а всего-лишь сам адрес). В моем случае эта операция Адрес_ebp-4_байта=адрес(ссылка)_на_переменную_содержащую_значение_int(4_байта).

MAKCim, у меня то как раз все просто, я с ассемблера в C++ пришел. Правда сейчас подзабыл многое. Если говорить о смещениях и сегментах, то да, в данном случае смещения я называю адресом, несмотря на то, что это не реальный адрес как в реальном режиме процессора и FLAT памятью. Т.ч. можно называть смещения - ссылками, а смещения, которые содержат смещения - указатели   

Это сообщение отредактировал(а) SABROG - 22.12.2008, 00:21

Операция выполняемая данной командой эквивалентна: eax = ebx + 4*ecx? Если да, то давать отдельную мнемонику не было никакого смысла - можно было бы тогда и mov обойтись без квадратных скобок, более того, это было бы понятней, чем использование LEA. Имхо.

Как говорится пути компилятора неисповедимы, тем более, что код скомпилен без оптимизации. Да и скорее всего mov использовался бы в случае, если переменные были статическими и глобальными.

команды lea eax,message нет и быть не может
есть lea eax,[message]