Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
 
 
Рейтинг 4.92/13: Рейтинг темы: голосов - 13, средняя оценка - 4.92
5 / 5 / 6
Регистрация: 17.05.2014
Сообщений: 61
1

В чем отличие ссылочных переменных от указателей?

06.02.2016, 21:15. Просмотров 2666. Ответов 54
Метки нет (Все метки)

Всем привет. Вопрос в теме, чем отличаются
C++
1
2
int a=5;
int &p=a;
от
C++
1
2
int a=5;
int *p=&a;
Кроме того, что ссылочная переменная автоматически разыименовывается и различий в доступе к элементам(-> и .)
0
Лучшие ответы (1)
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
06.02.2016, 21:15
Ответы с готовыми решениями:

В чем отличие указателей и массивов на примере strlen()?
Здравствуйте уважаемые форумчаче. Появился вот такой вопрос. Почему функция strlen работает в...

В чем отличие локальных и глобальных переменных в C?
В чем отличие локальных и глобальных переменных в C?

В чём отличие разных способов объявления переменных?
в чем отличие int a(2); от int a=2; И как писать правильней

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

54
243 / 137 / 53
Регистрация: 23.11.2015
Сообщений: 394
06.02.2016, 21:18 2
а ни в чем, только синтаксис.

Добавлено через 1 минуту
благодаря этому гораздо сложнее передать куда-нибудь нулевой указатель и прострелить себе ногу.
0
Эксперт С++
4966 / 3072 / 456
Регистрация: 10.11.2010
Сообщений: 11,159
Записей в блоге: 10
06.02.2016, 21:21 3
Различий много, и их неоднократно обсуждали на этом форуме.
Например: ссылка не может быть неинициализированной, компилятору проще оптимизировать работу с ссылкой, нежели с указателем и т.д. и т.п...
1
nd2
3404 / 2785 / 1251
Регистрация: 29.01.2016
Сообщений: 9,423
06.02.2016, 23:19 4
Лучший ответ Сообщение было отмечено Forrgit как решение

Решение

Стивен Дьюхерст "Священные знания".
4
Миниатюры
В чем отличие ссылочных переменных от указателей?  
243 / 137 / 53
Регистрация: 23.11.2015
Сообщений: 394
07.02.2016, 09:47 5
я настаиваю на том, чтобы понимать ссылку просто как саморазименовывающийся константный указатель. тогда все эти различия становятся очевидными. константный указатель тоже логически требует инициализации, ибо кому нужен указатель с мусором, который нельзя изменить, а из того, что он автоматически разименовывается следует, что он не может быть нулевым.
0
nd2
3404 / 2785 / 1251
Регистрация: 29.01.2016
Сообщений: 9,423
07.02.2016, 16:56 6
Цитата Сообщение от Babysitter Посмотреть сообщение
я настаиваю на том, чтобы понимать ссылку просто как саморазименовывающийся константный указатель.
Сделай такое с помощью константного указателя:
C++
1
const int& cr = 5; //константная ссылка на литерал
Есть ещё константные ссылки на временные объекты: временный объект живёт, пока живёт константная ссылка на него.
0
243 / 137 / 53
Регистрация: 23.11.2015
Сообщений: 394
07.02.2016, 21:03 7
nd2, так это
Цитата Сообщение от nd2 Посмотреть сообщение
const int& cr = 5; //константная ссылка на литерал
и есть временный объект типа инт, который уничтожится, когда умрет ссылка. со стороны языка этот литерал передается в конструктор инта, да?
C++
1
2
int __temp = 5;
const int* const cr = &__temp;
0
Эксперт С++
8274 / 3850 / 837
Регистрация: 15.11.2014
Сообщений: 8,726
07.02.2016, 23:07 8
Цитата Сообщение от Babysitter Посмотреть сообщение
я настаиваю на том, чтобы понимать ссылку просто как саморазименовывающийся константный указатель.
вы настаиваете на собственном невежестве.
да ну, пожалуйста.
у нас - свободная страна.
0
243 / 137 / 53
Регистрация: 23.11.2015
Сообщений: 394
08.02.2016, 10:58 9
hoggy, просто великолепный комментарий в стиле русского коммьюнити. давайте забудем, что ссылки так или иначе реализованы через указатели и далеко не я придумал фразу implicitly de-reference constant pointer.
например здесь показано что код этих функций
C++
1
2
3
4
5
6
7
8
int byref(int & foo)
{
  printf("%d\n", foo);
}
int byptr(int * foo)
{
  printf("%d\n", *foo);
}
без оптимизаций разворачивается в абсолютно идентичный LLVM байт-код.
мне в свое время очень помогло такое понимание ссылки и мне бы хотелось, чтобы я узнал его раньше.
0
Don't worry, be happy
16917 / 9793 / 1886
Регистрация: 27.09.2012
Сообщений: 24,270
Записей в блоге: 2
08.02.2016, 11:36 10
Цитата Сообщение от Babysitter Посмотреть сообщение
мне в свое время очень помогло такое понимание ссылки и мне бы хотелось, чтобы я узнал его раньше.
А мне хотелось бы, чтобы я понял раньше, что ссылка - это не разыменованный указатель.
Цитата Сообщение от Babysitter Посмотреть сообщение
без оптимизаций разворачивается в абсолютно идентичный LLVM байт-код.
Не важно во что оно разворачивается. Это разные вещи.
Поедем в метапрограммирование сгоняем?
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#include <iostream>
#include <type_traits>
 
 
template<typename T>
void foo_ptr(const T* obj)
{
    std::cout << sizeof(obj) << std::endl ;
}
 
template<typename T>
void foo_ref(const T& obj)
{
    std::cout << sizeof(obj) << std::endl ;
}
 
 
 
int main()
{
    char arr[] = "xxxxxxxxxxxxxx" ;
    foo_ptr(arr) ;
    foo_ref(arr) ;
}
http://rextester.com/NTI14021
В данном случае, вывод будет разным.
Можете посмотреть на код asm.
Так что ссылка - это не просто разыменованный указатель,
она реализует другую семантику, со своими правилами и граблям,
что приводит к разному поведению.
Даже несмотря на то, что она может быть реализована в виде указателя.
1
243 / 137 / 53
Регистрация: 23.11.2015
Сообщений: 394
08.02.2016, 12:33 11
значит во втором случае без метапрограммирования это будет выглядеть так
C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
 
void foo_ref(const char (&obj)[15])
{
    std::cout << sizeof(obj) << std::endl ; // 15
}
 
int main()
{
    char arr[] = "xxxxxxxxxxxxxx" ;
    foo_ref(arr) ;
}
хорошо, я понял посыл, существует некоторое, немаленькое количество частных случаев, где ссылка ведет себя не так, как от нее ожидаешь, если руководствуешься такими представлениями о ссылке.
0
Don't worry, be happy
16917 / 9793 / 1886
Регистрация: 27.09.2012
Сообщений: 24,270
Записей в блоге: 2
08.02.2016, 12:36 12
Цитата Сообщение от Babysitter Посмотреть сообщение
во втором случае без метапрограммирования это будет выглядеть так
Без метапрограммирования можно, например, написать и так:
C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
 
void foo_ptr(const char (*obj)[15])
{
    std::cout << sizeof(*obj) << std::endl ; // 15
}
 
int main()
{
    char arr[] = "xxxxxxxxxxxxxx" ;
    foo_ptr(&arr) ;
}
1
2539 / 1198 / 358
Регистрация: 30.11.2013
Сообщений: 3,819
08.02.2016, 13:09 13
Цитата Сообщение от Croessmah Посмотреть сообщение
ссылка - это не разыменованный указатель.
Цитата Сообщение от Croessmah Посмотреть сообщение
Так что ссылка - это не просто разыменованный указатель,
Я запутался - так разыменованный указатель иил нет.
1
918 / 635 / 198
Регистрация: 08.09.2013
Сообщений: 1,690
08.02.2016, 14:14 14
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Я запутался - так разыменованный указатель иил нет.
Тонко. Последний пример Croessmah дает повод задуматься.
0
2 / 2 / 1
Регистрация: 28.09.2013
Сообщений: 253
08.02.2016, 14:48 15
ссылка ссылается (указывает) на объект, указатель указывает на область памяти
0
Don't worry, be happy
16917 / 9793 / 1886
Регистрация: 27.09.2012
Сообщений: 24,270
Записей в блоге: 2
08.02.2016, 15:06 16
rikimaru2013, низкоуровневая реализация, скорее всего,
будет через указатель, а вот на уровне языка - это совершенно не указатель.
1
2539 / 1198 / 358
Регистрация: 30.11.2013
Сообщений: 3,819
08.02.2016, 15:19 17
Croessmah, разименнованый указатель - это адресс. В exe после линкера инструкции связок адрессов между собой, на данном этапе нету ни ссылок, ни указателей.
0
243 / 137 / 53
Регистрация: 23.11.2015
Сообщений: 394
08.02.2016, 15:41 18
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
разименнованый указатель - это адресс
а неразименнованный указатель это что, стесняюсь спросить?
0
2539 / 1198 / 358
Регистрация: 30.11.2013
Сообщений: 3,819
08.02.2016, 15:47 19
Babysitter, переменная, что хранит адресс.
0
Эксперт С++
4966 / 3072 / 456
Регистрация: 10.11.2010
Сообщений: 11,159
Записей в блоге: 10
08.02.2016, 19:22 20
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Croessmah, разименнованый указатель - это адресс.
А я всегда думал что это значение, на которое он указывал.
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
08.02.2016, 19:22

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

Передача в методы переменных ссылочных типов
Есть класс: class Sample { int i; public Sample(int x) { ...

В чем отличие двумерного массива типа char от массива указателей на char?
В чем отличие двумерного массива типа char и массива указателей на char ?

Отличие инкриментов указателей
Чем отличатеся ++*p от (*p)++ и от *p++ вроде увеличивается значение а не адлрес...

Отличие приведение типов указателей
Чем отличаются при Base* a_ptr = new Derivered(); следующие строки: A) auto ptr =...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
20
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2021, vBulletin Solutions, Inc.