Ссылки vs указатели - в чем разница?

@_Ivana · Регистрация: 01.03.2013

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

Навеяно соседней темой. Не понимаю в чем разница, хотя несколько раз честно пробовал почитать на эту тему, правда без должного внимания и усердия. Зато программировал на ассемблере и чистом С, понимаю абстракцию "адрес ячейки памяти" и "размер типа в байтах", с арифметикой указателей и указателями на указатели сложностей вроде не испытываю

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

@mporro · 26.11.2015, 13:02

Evg
Использование ссылок в C++ без использования оптимизации, всё равно, что брачная ночь без невесты.
Ссылки специально оговариваются стандартом как некоторая абстракция без уточнения конкретной реализации.
Если передавать параметры по ссылке на неизменяемые данные, то компилятор может провести оптимизацию для данной платформы: когда надо передать через указатель, а когда можно и нужно -- скопировать. Мы не почувствуем разницы, но и не рискуем вляпаться в дыры "преждевременной оптимизации".

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

Evg · 26.11.2015, 13:18

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

Использование ссылок в C++ без использования оптимизации, всё равно, что брачная ночь без невесты

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

то компилятор может провести оптимизацию для данной платформы

Про этот момент я всё русским языком написал. Когда ты начинаешь думать о том, что может или не может сделать компилятор, то ты начинаешь заглядывать вовнутрь абстракции

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

@Mr.X · 26.11.2015, 13:22

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

"зачем нужна ссылка" ответ дать сложно

Ну, Страуструп говорит, что ссылки были введены в основном для поддержки перегрузки операторов, ибо
a = b - c;
выглядит красивше, чем
a = &b - &c;

@mporro · 26.11.2015, 13:28

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

ты не можешь реально оценить/управлять эффективность работы своего кода

Не могу. Но мне и не нужно! Этим управляет компилятор. Он это умеет гораздо лучше меня.
А я гораздо лучше разбираюсь в абстракциях предметной области, чтобы написать макроязык.

@Mr.X · 26.11.2015, 13:30

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

Евгений хорошо показал, что например, для встроенных типов, регистровая переменная быстрее чем адрес на неё. Копия переданная через стек вряд ли быстрее. А как быть с массивами, большущими структурами/классами?

Ну так ссылки и предназначены для больших объектов. Какой смысл передавать по ссылке маленький?

IGPIGP · 26.11.2015, 13:45

Сообщение от Mr.X

Какой смысл передавать по ссылке маленький?

Чтобы и вернуть значение по ссылке, например. И не использовать при этом указатель. Хотя про большие объекты, это правда.

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

Сообщение от Mr.X

для поддержки перегрузки операторов,

Это ни кто не вспомнил! Да, ведь для серийных (маниакальных)) операторов типа присваивания или ввода-вывода в поток нужно возвращать ссылку, тогда можно:

C++
1
cout<<(a=b=c)<<d<<e;

@Mr.X · 26.11.2015, 13:47

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

Чтобы и вернуть значение по ссылке, например.

Не, в примере Evg константная ссылка.

IGPIGP · 26.11.2015, 13:54

Сообщение от Mr.X

Не, в примере Evg константная ссылка.

Тут мы не поняли друг друга. Я отвечал на:

Сообщение от Mr.X

Ну так ссылки и предназначены для больших объектов. Какой смысл передавать по ссылке маленький?

Evg · 26.11.2015, 14:43

Сообщение от Mr.X

выглядит красивше, чем

Вряд ли страуструп говорил про "красивше". Ради этого не станут заводить новых сщностей

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

Не могу. Но мне и не нужно! Этим управляет компилятор. Он это умеет гораздо лучше меня

Ну вот 90% программистов так и думает. Потому и имеем то, что скорость процессоров и объём памяти растут, а софт становится всё медленнее и медленнее. Потому что нагородили программных абстракций, а разбираться, как ими эффективно пользоваться, никто не хочет - типа это забота компилятора, а не моя

@Mr.X · 26.11.2015, 15:02

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

Вряд ли страуструп говорил про "красивше". Ради этого не станут заводить новых сщностей

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

IGPIGP · 26.11.2015, 15:14

Сообщение от Mr.X

чтобы было красивше

Когда люди отошли от прямого написания машинного кода, они сразу погрязли в красоте.
Красота требует ссылок. Красота спасёт стек! Красота страшно эффективная сила.

@mporro · 26.11.2015, 15:24

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

а софт становится всё медленнее

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

@Mr.X · 26.11.2015, 15:48

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

Когда люди отошли от прямого написания машинного кода, они сразу погрязли в красоте.
Красота требует ссылок. Красота спасёт стек! Красота страшно эффективная сила.

Ну дак некрасивое и не полетит, как совершенно справедливо заметил мудрый Туполев!

Evg · 26.11.2015, 16:14

Сообщение от Mr.X

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

Я не про само слово "красивше", а про суть

Сообщение от Mr.X

Однако такая новая сущность, как перегрузка операторов, введена, по сути, только для того, чтобы было красивше (ну, или удобнее)

А мне вот казалось, что ради шаблонов. Чтобы шаблоны для скалярных и составных типов можно было написать одинаково

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

Опыт говорит строго об обратном: софт замедляется как только программисты лезут в абстракции, считая себя умнее компилятора

Я не понимаю, что такое "лезут", да и не предлагал я никуда "лезть". Я предлагал матчасть учить (т.е. понимать, как абстракции работают), чтобы правильно ими пользоваться

@mporro · 26.11.2015, 16:28

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

Я не понимаю, что такое "лезут"

То есть, пытаются строить свой код не на контракте абстракции, а на основе деталей реализации.

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

Я предлагал матчасть учить

Матчасть ссылки -- псевдоним объекта. Всё.
Как она реализована? Не знаю!
В одном месте программы компилятор может реализовать её указателем, в другом копией, в третьем -- квантовым запутованием.
Абстракция может быть реализована огромным количеством способов и компилятор, опираясь на то какая операционная система, какое железо и т.п. может сделать правильный выбор реализации в конкретной точки программы. Это центральное преимущество JIT компиляции, которое уже сегодня даёт возможность на C# написать код столь же быстрый, что и на С++. То есть, чтобы обогнать приложение под Windows на C# придётся приложить несоразмерные усилия. Вот мощь абстракции!

@daslex · 26.11.2015, 17:03

Вот так абстрагируешься, абстрагируешься, а потом смотришь и понимаешь, что не фига не понимаешь и приходится нарушать абстракции.

C++
1
2
3
4
5
6
7
8
9
10
11
int& fr(const int &y){
  static  int x=0;
  x+=y;
  return x;
}
 
int main(){
   int x=15;
   fr(x)+=fr(x);
   cout << fr(x) ;
}

А в итоге нарушения абстракции можно получить дополнительные плюшки синтаксиса.

@Mr.X · 26.11.2015, 17:07

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

А мне вот казалось, что ради шаблонов. Чтобы шаблоны для скалярных и составных типов можно было написать одинаково

На самом деле нет. Перегрузка операторов появилась в 1985 году (целью были комплексные числа, матрицы, и т.п.), а шаблоны обнародованы в проекте в 1988 году.
Еще одно подтверждение того, что красивое и полезное вещи в чем-то схожие.

@mporro · 26.11.2015, 17:18

daslex
Если везде понатыкать побочных эффектов, то можно любой код сделать нечитаемым.
В данном примере fr не определяет абстракцию, так как ей невозможно пользоваться без знания внутренних деталей.
Вот как раз такие ситуации, когда начинают мутить воду: я вот тут кусочек памяти сэкономлю, а здесь пару тактов выиграю... в результате приводят к коду, который полон утечек памяти, еле ползёт и его невозможно поддерживать.

@daslex · 26.11.2015, 17:25

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

@mporro · 26.11.2015, 17:38

daslex
fr не синоним переменной x или произвольной переменной, или своего аргумента.
fr была бы синонимом счётчика, если бы возвращала новое состояние.
int fr(const int& x); В противном случае Вы нарушаете абстракцию, нарушая инкапсуляцию.

P.S.
Смоделировать абстракцию с побочными эффектами вообще не самая простая затея. Прежде всего следует рассмотреть все варианты с иммутабельными данными.

Новые блоги и статьи Все статьи Все блоги /
Эксперимент с картинкой-обложкой на CodinGame Adler 10.07.2026 Решил на днях провести эксперимент. У меня есть аккаунт на CodinGame, ТОП-3 по РФ среди 2200 участников (в разделе соревнования по программированию ИИ-ботов). Там есть обложка, куда можно влепить. . .	После бана на Пикабу не работает авторизация аккаунта с Яндекса. Hrethgir 09.07.2026 В частности https:/ / auto. ru/ logbook/ zapret-na-vozhdenie-posle-65-let_1cf28789-07b4-4c75-a2f7-4cd4edf9deeb тут хотел оставить комментарий такой Зрите в корень - монополизация на разработку программ. . .	GitDOS: Когда я решил скрестить MS-DOS, GitHub и Claude MaGz GoLd 08.07.2026 Привет, Киберфорум! Хочу поделиться своим проектом, который, надеюсь, вас заинтересует. GitDOS — это веб-приложение, которое позволяет запускать DOS в браузере с тремя крутыми фичами: диски живут в. . .	Учебный мини "цифровой двойник" = (Сервер = Java + Flask_питон )+(3D = Гугловскаая 4T nvideo + google colab) +( WMS = Odoo на Docker) anaschu 07.07.2026 Увидел в требованиях к вакансии создателя имитационных моделей связку (REst + Api + WMS + Anylogic + питон + 3D Nvideo), и решил посмотреть, что это такое. Из этого всего я работал более менее. . .
Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32

	Ссылки vs указатели - в чем разница? 21.11.2015, 20:04. Показов 17037. Ответов 150 Метки нет (Все метки) Навеяно соседней темой. Не понимаю в чем разница, хотя несколько раз честно пробовал почитать на эту тему, правда без должного внимания и усердия. Зато программировал на ассемблере и чистом С, понимаю абстракцию "адрес ячейки памяти" и "размер типа в байтах", с арифметикой указателей и указателями на указатели сложностей вроде не испытываю Есть переменная, если она не регистровая - то лежит в какой-то ячейке памяти (или нескольких, зависит от разрядности памяти и структуры типа переменной), адрес этой ячейки (ака указатель) я могу запоминать в другую переменную типа указателя, передавать/возвращать ее из функций, инкрементировать/декрементировать для движения по массиву переменных (если я его предварительно нарезал в той области памяти конечно), разыменовывать и получать/изменять значение. Вроде все. При чем тут термин "ссылки"? А еще оказывается бывают смартпоинтеры, умные указатели и прочие страшные слова 0

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	26.11.2015, 13:02
	Evg Использование ссылок в C++ без использования оптимизации, всё равно, что брачная ночь без невесты. Ссылки специально оговариваются стандартом как некоторая абстракция без уточнения конкретной реализации. Если передавать параметры по ссылке на неизменяемые данные, то компилятор может провести оптимизацию для данной платформы: когда надо передать через указатель, а когда можно и нужно -- скопировать. Мы не почувствуем разницы, но и не рискуем вляпаться в дыры "преждевременной оптимизации". Именно возможности "оптимизации по необходимости" для управляемых языков позволяют им быть сегодня почти такими же быстрыми, как и низкоуровневые языки. 0

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	26.11.2015, 17:18
	daslex Если везде понатыкать побочных эффектов, то можно любой код сделать нечитаемым. В данном примере fr не определяет абстракцию, так как ей невозможно пользоваться без знания внутренних деталей. Вот как раз такие ситуации, когда начинают мутить воду: я вот тут кусочек памяти сэкономлю, а здесь пару тактов выиграю... в результате приводят к коду, который полон утечек памяти, еле ползёт и его невозможно поддерживать. 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	26.11.2015, 17:25
	Да ладно. Там как раз вообще ничего знать не надо. Достаточно знать конечные результаты. Вы яростно оперируете понятием абстракция, абстрагировавшись от определения абстракции. 0

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	26.11.2015, 17:38
	daslex fr не синоним переменной x или произвольной переменной, или своего аргумента. fr была бы синонимом счётчика, если бы возвращала новое состояние. int fr(const int& x); В противном случае Вы нарушаете абстракцию, нарушая инкапсуляцию. P.S. Смоделировать абстракцию с побочными эффектами вообще не самая простая затея. Прежде всего следует рассмотреть все варианты с иммутабельными данными. 0