Указатели и ссылки: в чем разница

@FishZone · Регистрация: 24.11.2016

Студворк — интернет-сервис помощи студентам

Здравствуйте, объясните, пожалуйста, в чем разница между "ссылается" и "указывает"?

@AmbA · 09.07.2017, 09:57

Ссылка - второе (новое, дополнительное) имя переменной. С помощью ссылки можно делать с переменной всё то же самое, что и с самой переменной. Ссылка - это и есть переменная, но под другим именем.
int x;
int & y = x; // y и x - одно и то же, у них один адрес и одно значение, изменяя y, мы изменяем x
y = x // всегда

Указатель - указывает на адрес в памяти, по которому расположена переменная. Если его *разыменовать, он тоже становится ссылкой.
int x;
int * y = &x; // y - адрес переменной x
*y = x // всегда

@Mournful Max · 09.07.2017, 10:19

Сообщение от FishZone

Здравствуйте, объясните, пожалуйста, в чем разница между "ссылается" и "указывает"?

Абсолютно никакой. Разве что, "указывает" применимо только к указателям, но я не уверен, что так правильно вообще выражаться.
Принято говорить, что указатель ptr ссылается на переменную var.

( ИМХО )

@Renji · 09.07.2017, 11:55

Сообщение от FishZone

Здравствуйте, объясните, пожалуйста, в чем разница между "ссылается" и "указывает"?

Когда "ссылается" - пишем "value.method(1,2,3,4)". Когда "указывает" - "value->method(1,2,3,4)". Под капотом же все ровно тоже самое.

Сообщение от AmbA

Ссылка - второе (новое, дополнительное) имя переменной. С помощью ссылки можно делать с переменной всё то же самое, что и с самой переменной. Ссылка - это и есть переменная, но под другим именем.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include<iostream>
struct Test
{
    int&x=y;//ежели ссылка "и есть переменная", память она кушать не должна?
    int y;
};
 
int main()
{
    //а ведь жрет, зараза, структура получается тяжелее простого int
    std::cout<<sizeof(int)<<" "<<sizeof(Test)<<std::endl;
    return 0;
}

@Undisputed · 09.07.2017, 12:08

Ещё важно понимать что ссылка и указатель это не совсем одно и то же.
Например для ссылок нет адресной арифметики, а у указателей есть.
С помощью ссылок так же можно безопасно ссылаться на временные объекты (константные ссылки, либо rvalue ссылки, если требуется модифицировать временный объект).
Так же ссылки требуют того, что бы определение было сразу при объявлении, а указатели этого не требуют.
Может под капотом эти ссылки и реализованы как указатель, но с точки зрения компилятора в коде программиста это не одно и то же...

А ещё есть такое понятие как ссылка на указатель)))

@Mournful Max · 09.07.2017, 14:49

Renji,

Сообщение от Renji

Когда "ссылается" - пишем "value.method(1,2,3,4)". Когда "указывает" - "value->method(1,2,3,4)".

А если я пишу (*value).method( 1, 2, 3, 4 ) ?

На самом деле странная у Вас формулировка) Вот эта часть мне не очень понятна:

Сообщение от Renji

Когда "ссылается" - пишем "value.method(1,2,3,4)".

Кто тут ссылается и на кого?)

@Renji · 09.07.2017, 14:51

Сообщение от Captain Maxee

А если я пишу (*value).method( 1, 2, 3, 4 ) ?

Ну так при разыменовании указателя (Value*), мы ссылку (Value&) и получаем. Что не так?

Сообщение от Captain Maxee

Кто тут ссылается и на кого?)

value ссылается на некий объект.

@Mournful Max · 09.07.2017, 15:00

Сообщение от Renji

value ссылается на некий объект.

value и есть объект, в данном случае ( value.method( 1, 2, 3, 4 ) )

@Renji · 09.07.2017, 15:03

Сообщение от Captain Maxee

value и есть объект, в данном случае)

Ну разговор то у нас именно про ссылки. Которые совсем не тоже самое что объекты.

C++
1
2
Value valueA,valueB;//вот это объекты
Value&valueC=condition?valueA:valueB;//а это - именно ссылка, а не объект

@Mournful Max · 09.07.2017, 15:04

Не по теме:

Renji, я неправильно Вас понял, извиняюсь. Перелили с пустого в порожнее.

@mskoromets · 09.07.2017, 16:52

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

@Renji · 09.07.2017, 17:49

Сообщение от mskoromets

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

C++
1
2
3
int a=1,b=2;
int*const c=&a;
c=&b;//опс... не меняется

@castaway · 09.07.2017, 18:07

Renji, он всё правильно сказал, может меняться. А то, что она может и не меняться, это и так очевидно, будь он const или нет.

@dawn artist · 09.07.2017, 19:21

Сообщение от Undisputed

Ещё важно понимать что ссылка и указатель это не совсем одно и то же.

А вернее совсем не одно и то же.
Начать можно с того, что указатель является объектом, а ссылка — нет. И этим они различаются фундаментально.

Сообщение от Renji

//ежели ссылка "и есть переменная", память она кушать не должна?
//а ведь жрет, зараза, структура получается тяжелее простого int

Так не интересно. Покажи, чему равен sizeof самой ссылки, а не структуры с ней.

@Renji · 09.07.2017, 19:37

Сообщение от daun-autist

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

Ссылка занимает определенный объем памяти. Никакой другой объект не может занимать этот объем одновременно с ней. В этом смысле она объект. Ну а что касается того что компилятор не дает непосредственно пронаблюдать этот объем через sizeof или оператор взятия адреса:

" -- Вы не существуете, -- сказал О'Брайен.
Снова на него навалилась беспомощность. Он знал, мог представить себе, какими аргументами будут доказывать, что он не существует, но все они -- бессмыслица, просто игра слов. Разве в утверждении: "Вы не существуете" -- не содержится логическая нелепость? Но что толку говорить об этом? Ум его съежился при мысли о неопровержимых, безумных аргументах, которыми его разгромит О'Брайен.
-- По-моему, я существую, -- устало сказал он. -- Я сознаю себя. Я родился и я умру. У меня есть руки и ноги. Я занимаю определенный объем в пространстве. Никакое твердое тело не может занимать этот объем одновременно со мной. В этом смысле существует Старший Брат? "
(c) 1984.

@dawn artist · 09.07.2017, 19:42

Сообщение от Renji

Ссылка занимает определенный объем памяти.

Цитату из стандарта можно?

Сообщение от Renji

В этом смысле она объект.

Смысл понятия "объект" указан, например, здесь http://en.cppreference.com/w/cpp/language/object

Croessmah · 09.07.2017, 20:01

Renji, в стандарте сказано, что выделять память под саму ссылку или нет определяется реализацией.
Если относится к ссылке как к указателю, то вскоре получим бяку где-нибудь в шаблоне.
Указатели и ссылки являются абсолютно разными сущностями языка.

@Renji · 09.07.2017, 20:11

Сообщение от Croessmah

Renji, в стандарте сказано, что выделять память под саму ссылку или нет определяется реализацией.

Компилятор может и под указатель ничего не выделять, потому что "the as-if rule". Конкретно с полями структуры фокус может и не сработать, но с переменными - запросто.

Сообщение от daun-autist

Цитату из стандарта можно?

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

Сообщение от daun-autist

Смысл понятия "объект" указан, например, здесь http://en.cppreference.com/w/cpp/language/object

Указанные там размер/выравнивание/имя ссылка вполне имеет. То что их нельзя наблюдать непосредственно через sizeof это уже другой разговор.

oldnewyear · 09.07.2017, 20:21

Сообщение от Renji

Ссылка занимает определенный объем памяти. Никакой другой объект не может занимать этот объем одновременно с ней. В этом смысле она объект.

References are not objects; they do not necessarily occupy storage
http://en.cppreference.com/w/c... /reference

@dawn artist · 09.07.2017, 20:28

oldnewyear, бесполезно, у него, похоже ГСМ (гуманитарный склад мышления).
Либо это троллинг.

Добавлено через 3 минуты

Сообщение от Renji

Указанные там размер/выравнивание/имя ссылка вполне имеет.

Так покажи нам их!

Новые блоги и статьи Все статьи Все блоги /
1С: Программный отбор элементов справочника Номенклатура по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .	Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	1С: Программный отбор элементов справочника Сотрудники по значению перечисления Maks 21.03.2026 Установка программного отбора элементов справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит предопределенное значение перечислений. Процедура. . .
Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .

@FishZone 2 / 2 / 0 Регистрация: 24.11.2016 Сообщений: 77

	Указатели и ссылки: в чем разница 08.07.2017, 18:55. Показов 11901. Ответов 85 Метки нет (Все метки) Здравствуйте, объясните, пожалуйста, в чем разница между "ссылается" и "указывает"? 0

@AmbA 495 / 24 / 6 Регистрация: 09.06.2017 Сообщений: 322 Записей в блоге: 20
	09.07.2017, 09:57
	Ссылка - второе (новое, дополнительное) имя переменной. С помощью ссылки можно делать с переменной всё то же самое, что и с самой переменной. Ссылка - это и есть переменная, но под другим именем. int x; int & y = x; // y и x - одно и то же, у них один адрес и одно значение, изменяя y, мы изменяем x y = x // всегда Указатель - указывает на адрес в памяти, по которому расположена переменная. Если его разыменовать, он тоже становится ссылкой. int x; int y = &x; // y - адрес переменной x *y = x // всегда 1

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	09.07.2017, 12:08
	Ещё важно понимать что ссылка и указатель это не совсем одно и то же. Например для ссылок нет адресной арифметики, а у указателей есть. С помощью ссылок так же можно безопасно ссылаться на временные объекты (константные ссылки, либо rvalue ссылки, если требуется модифицировать временный объект). Так же ссылки требуют того, что бы определение было сразу при объявлении, а указатели этого не требуют. Может под капотом эти ссылки и реализованы как указатель, но с точки зрения компилятора в коде программиста это не одно и то же... А ещё есть такое понятие как ссылка на указатель))) 3

@Mournful Max
	09.07.2017, 15:04
	Не по теме: Renji, я неправильно Вас понял, извиняюсь. Перелили с пустого в порожнее. 0

@mskoromets 6 / 6 / 3 Регистрация: 29.12.2016 Сообщений: 132
	09.07.2017, 16:52
	В отличии от ссылок, переменная указателя может в процессе программы может ссылаться на разные объекты, то есть менять область памяти своего указания. 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	09.07.2017, 18:07
	Renji, он всё правильно сказал, может меняться. А то, что она может и не меняться, это и так очевидно, будь он `const` или нет. 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 1
	09.07.2017, 20:01
	Renji, в стандарте сказано, что выделять память под саму ссылку или нет определяется реализацией. Если относится к ссылке как к указателю, то вскоре получим бяку где-нибудь в шаблоне. Указатели и ссылки являются абсолютно разными сущностями языка. 3