обратно же все сводится к 

!!!!

в данном контексте кода ИМХО трудно говорить о ссылке как о просто еще одном названии переменной )

Разница ссылки и простого адреса объекта в том, что компилятор двояко рассматривает операции с ссылкой. В одной ситуации он работает с ссылкой также как и с объектом на которую она ссылается, в другой ситуации ссылка превращается всего-лишь в адрес. Все зависит от того как её используют. Видимо именно это подразумевают ораторы, которые говорят об абстрактности ссылки.


Интересный "хак" на самом деле. Правда на уровне ассемблера ссылка все-равно превратиться в указатель... Можно использовать как вопрос на собеседовании, чтобы завалить тестируемого 

Кстати где было бы удобно использовать подобное ? По сути можно насильно любому участку памяти присвоить тип без всякого приведения и "кастинга", без проверки типа и возможно для доступа к защищенным данным класса, если удастся вычислить их адрес.

Это сообщение отредактировал(а) SABROG - 24.12.2008, 23:30

Хороашая идея и звучное название! Надо будет обдумать предложение   



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


Если рассматривать код, опираясь на результат (машинный код),  то ссылка выглядит как призрак.. Хотя со стороны языка ничего призрачного  в ней нет.


Хак ??? Не больший, чем вместо ссылки использовать указатель - а это  нормальное явление.


Ну откуда берутся то указатели в асме ?!


Интересно, где в примере Вы увидели обход проверки типов ?? 


Это сообщение отредактировал(а) mes - 25.12.2008, 01:33

Предположительно так. Добавляем в класс union, который содержит указатель на int и второй указатель на любой тип данных. В указатель на int помещаем содержимое ссылки i. Пользуем указатель на наш тип данных.

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

Это сообщение отредактировал(а) SABROG - 25.12.2008, 02:08

Ненадо сдвигать акцент хака  с uniona на ссылку. В примере нет ни намека на union. 


однозначно.. ссылка тут не при чем.

Почитав стандарт, понял, что это нормальное поведение. Был не прав.

+1

я там где-то уже писАл, но никто не прислушался
повторяю есчо раз


ССЫЛКА - ЭТО АЛИАС ИМЕНИ ОБЪЕКТА!!!

и ничего более. Именно по этому передачу по ссылке в паскале иногда называют передачей по имени

Это сообщение отредактировал(а) J0ker - 26.12.2008, 01:57

Не имени, а объекта или функции. Не каждому объекту можно поставить в соответствие переменную, которая его обозначает. Например, здесь


ref ссылается на временный объект типа const int со значением 1. Время жизни этого временного объекта то же, что и у данной ссылки.

Адрес присущ любому объекту, но объект - это не адрес, переменная - это тоже не адрес, ссылка - это тоже не адрес, и указатель - это тоже не адрес. Адрес - это значение, идентифицирующее объект или функцию, а указатель - это объект, который предназначен для хранения адреса. Что касается ссылок, то они объектами не являются. Ссылка - это... это... это...  ... всего лишь обозначение сущности (объекта или функции), с которой она может быть связана при инициализации. Про ссылочные типы разжёвывать не буду, ибо муторно и лениво. Эт я говорю, как оно всё есть в общепринятом понимании. Графоманам просьба не обращать внимание и продолжать постить сюда в том же духе, что и раньше.

Это сообщение отредактировал(а) UnrealMan - 25.12.2008, 21:57

исправил   

UnrealMan, а в данном случае ?

с т. з так называемого стандарта возможно
однако на самом деле...рассмотрим пракический пример


c т. з функции b ссылка как раз вполне материальный объект размером 4 байта

Добавлено через 4 минуты и 47 секунд
и все-таки, господа UnrealMan и J0ker
еще раз перечитайте название топа  , по-моему графоманы здесь вы

метод с точки зрения си просто функция.. a заинлайненый -это просто кусок кода, но с точки зрения асма..
а с точки зрения cpp как был методом  так и остался..   

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

поэтому спорить не установив общую "точку отсчета" бессмыслено   

Это сообщение отредактировал(а) mes - 26.12.2008, 03:43

mes, 
к чему это?   
я же специально оговорил, что с т. з теории ссылка - это одно, однако на практике, т. е с т. з физического смысла, ссылка - это другое

Ну так вот. Если говорить об указателях, то не во всех указателях содержится адрес памяти. В указателях на метод класса так вообще может находится число из которого определяется какому объекту принадлежит указатель и смещение в VMT. В общем как компилятор захочет так и будет, физического смысла нет, если только тот смысл под который заточен компилятор. Завтра стандарт C++ может изменится и ссылки могут стать возможны и на методы. И будут содержать вообще не адрес, а что-то понятное только компилятору и в зависимости от ситуации он будет вертеть ей как вздумается.