В чем принципиальное отличие ссылки от указателя в С++? Когда лучше использовать ссылку, а когда указатель? Какие ограничения есть у первых, а какие у вторых?
-
1Уже и забыл,что,существуют ссылки в с++.Никогда не пользовался.Всегда казалось,что,ссылки в с++ введены для "косметики",чтобы не смущать честной народ,воспитанный на современных синтаксисах древними и ужасными сишными письменами.Ссылки для тех,кому не нужны все прелести и возможности указателей,но,необходимо изменять сами переменные а не их копии.Я,вот,лично,не пойму как при работе с железом без указателя через ссылку получить,например,контекст устройства,поскольку там все через пойнтеры и только через них.– Roman14 мая 2017 в 12:45
-
@Roman Пожалуйста, используйте ответы исключительно для ответов. Если у вас возник новый вопрос, пожалуйста, задайте его отдельным вопросом.– Nicolas Chabanovsky ♦14 мая 2017 в 12:48
-
не понятно откуда такой интерес к этому вопросу, если такой вопрос уже давно был в SO, но добавлю, что далеко не все было сказано в ответах о ссыльках и указательях...– AR Hovsepyan28 ноя 2018 в 14:22
2 ответа
Еще отличия:
- Нельзя объявить массив ссылок.
- У ссылки нет адреса.
- Существует арифметика указателей, но нет арифметики ссылок.
Указатель может иметь «невалидное» значение с которым его можно сравнить перед использованием.
Если вызывающая сторона не может не передать ссылку, то указатель может иметь специальное значение
nullptr
:void f(int* num, int& num2) { if(num != nullptr) // if nullptr ignored algorithm { } // can't check num2 on need to use or not }
http://rextester.com/EQMC52074
(Standart) A null pointer constant is an integer literal (2.13.2) with value zero or a prvalue of type std::nullptr_t. A null pointer constant can be converted to a pointer type; the result is the null pointer value of that type and is distinguishable from every other value of object pointer or function pointer type.
Ссылка не обладает квалификатором
const
#include <iostream> int main() { std::cout << "Hello, world!\n"; const int v = 10; //int& const r = v; // Ошибка const int& r = v; enum { is_const = std::is_const<decltype(r)>::value }; if(!is_const) std::cout << "const int& r is not const\n"; else std::cout << "const int& r is const\n"; }
О весёлом
Некоторые ссылаются на отрывок с интервью с Страуструпом:
Очевидной реализацией ссылки является (константный) указатель, при каждом использовании которого происходит разыменование. В некоторых случаях компилятор может оптимизировать ссылку таким образом, что во время исполнения вообще не будет существовать объекта, представляющего ссылку.
Другие задают в ответ лишь в один вопрос:
Чем является реультат разыменовывания указателя?
На тему, нужно ли знать отличия указателя от ссылки, писал Джоэл Спольски в своей статье «Закон Дырявых Абстракций».
-
-
-
-
@Qwertiy: Это да, но ведь по идее любой массив не обязательно инициализировать, а можно присвоить значение позже? Так пришлось бы подправлять правила для массива, добавлять исключение.– VladD12 янв 2016 в 14:33
-
3
Принципиальных отличий два:
- ссылка, в отличии от указателя, не может быть неинициализированной;
- ссылка не может быть изменена после инициализации.
Отсюда и получаем плюсы и минусы использования того и другого:
- ссылки лучше использовать когда нежелательно или не планируется изменение связи ссылка → объект;
- указатель лучше использовать, когда возможны следующие моменты в течении жизни ссылки:
- ссылка не указывает ни на какой объект;
- ссылка указаывает на разные объекты в течении своего времени жизни.