Неконстантный указатель на константный объект

@FishZone · Регистрация: 24.11.2016

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

Добрый день, объясните пожалуйста, вот это:

C++

1 2	const int ival = 1024; int *const &piref = &ival;

Типа мы создали дополнительное имя для адреса переменной ival? Зачем тут ссылка на адрес?

@Mournful Max · 23.02.2017, 02:51

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

int *const &piref = &ival;

Мне кажется, или оно даже не скомпилится?

@TheCalligrapher · 23.02.2017, 07:10

&ival имеет тип const int *. Значение типа const int * не может использоваться для инициализации ссылки типа int *const &. Код не скомпилируется.

Для инициализации такой ссылки нужно создать константный временный объект типа int *. А у нас инициализатор имеет тип const int *. Из const int * получить int * не получится - это очевидное нарушение правил константной корректности.

Вот если бы было написано

C++

1 2	const int ival = 1024; const int *const &piref = &ival;

то было бы все правильно. Разве что только было бы не ясно, зачем тут использована ссылка. С точки зрения дальнейшего поведения piref можно было бы убрать "ссылочность" типа piref и поведение бы не изменилось (разве что только dectype(piref) смог бы заметить, что что-то поменялось).

@DemolitionMan · 23.02.2017, 07:15

TheCalligrapher, так не компилируется же:

C++

1	int *const &piref = &ival;

Только так:

C++

1	int const *piref = &ival;

@TheCalligrapher · 23.02.2017, 07:45

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

так не компилируется же

Я сначала неправильно описал ситуацию. Потом исправил.

@Mournful Max Велосипедист... 353 / 220 / 73 Регистрация: 15.12.2015 Сообщений: 785
	23.02.2017, 02:51	2
	Сообщение от FishZone int *const &piref = &ival; Мне кажется, или оно даже не скомпилится? 0

@TheCalligrapher Вездепух 11688 / 6367 / 1723 Регистрация: 18.10.2014 Сообщений: 16,050
	23.02.2017, 07:45	5
	Сообщение от DemolitionMan так не компилируется же Я сначала неправильно описал ситуацию. Потом исправил. 0

Опции темы