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

@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 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .	Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .
Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .	Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизитов табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .

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

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