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

@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

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

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

Новые блоги и статьи Все статьи Все блоги /
Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .
Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .	Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .

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

	Указатели и ссылки: в чем разница 08.07.2017, 18:55. Показов 11962. Ответов 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