Ссылки, указатели и массивы

Что-то не лезут в голову указатели и ссылки. Вот как я всё понимаю:
Ссылки.
Ссылочные переменные ссылаются на адрес уже существующих переменных, и изменяя их, вы изменяете саму переменную.
Декларировать можно так:
int number=5;
int &ref=number;
Если перед переменной стоит &, то ref не создаётся и принимает значение переменной, а получает тот же адрес, что и переменная (ну а следственно уже значение).
Указатели.
Указатель - это переменная, которая содержит непосредственно адрес переменной (а не располагается по тому же адресу, как ссылка). Декларировать так как выяснилось нельзя:
А почему? Насчёт массивов тоже непонятки, но пока мне бы хотя бы с этим разобраться.

Заранее благодарен

0

Сообщение от Hagrael Декларировать так как выяснилось нельзя:

ну, раз переменная-указатель содержит адрес, значит ей адрес и надо присваивать, а не значение

1

easybudda, то есть ссылочная переменная обозначает адрес, а не использует тот же? о_О

0

Hagrael, вообще говоря, ссылка - это альтернативное имя объекта. Под неё не выделяется память. Т.е. когда компилятор видит запись int &ref = number;, он запоминает, что к определённому адресу память, связанному с number, можно обращаться также, используя идентификатор ref.
Указатель - это переменная, под которую выделяется память, и которая может хранить адрес другого объекта. При этом указатель надо инициализировать так:
В данном контексте оператор & - операция взятия адреса объекта. Т.е. указатель ptr инициализируется не значением переменной (как пытались сделать вы), а её адресом. При этом, чтобы обратиться к самой переменной через указатель, нужно пользоваться операцией *, т.е.
эквивалентно
Со ссылкой такого делать не надо, поскольку ссылка - псевдоним другого объекта, можно писать просто
что эквивалентно
При этом если мы применим операцию взятия адреса к ссылке, мы получим адрес переменной, на которую она ссылается, а если мы применим эту операцию к указателю, мы получим не адрес переменной, а адрес этого указателя.

2

Большое спасибо, очень многое прояснилось
То есть при записи &number (не при декларировании переменной) мы получаем её адрес, круть Но почему нельзя написать так:
?

И зачем надо указывать тип указателя, ведь память под него не зависит от типа, всё равно будет строка, состоящая из определённого кол-ва символов?

0

Сообщение от Hagrael Но почему нельзя написать так

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

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

Сообщение от Hagrael И зачем надо указывать тип указателя

про адресную арифметику почитайте

0

Сообщение от silent_1991 ссылка... Под неё не выделяется память.

А вы это прочитали где-то или сами придумали?

1

Mr.X, да, прошу прощения, пришлось открыть Страуструпа и перечитать про ссылки, там сказано, что "в некоторых случаях компилятор может оптимизировать код так, что вообще не будет существовать объекта, представляющего ссылку".

0

Сообщение от Mr.X А вы это прочитали где-то или сами придумали?

Честно говоря, не помню, почему, но я ссылки в С++ примерно так же воспринимал. На счёт выделения под них памяти ничего не скажу, но что по сути ссылка является псевдонимом существующего в памяти объекта, до сих пор не сомневался... А как оно на самом деле?

0

easybudda, полагаю, ко мне претензии были только в плане выделения памяти)))

0

Сообщение от easybudda про адресную арифметику почитайте

Не нашёл ничего толкового про это Когда я пишу такую строчку:
Выводится PSs о_О Это ещё что такое?

0

Сообщение от Hagrael И зачем надо указывать тип указателя

Тип нужен для того, чтобы указатель знал, на сколько надо сместиться, чтобы достичь очередного элемента массива (в контексте массивов). Т.е. при использовании указателя типа int смещение будет происходить на 4 байта (при sizeof(int) == 4), а при использовании double уже на 8.

0

Сообщение от easybudda Честно говоря, не помню, почему, но я ссылки в С++ примерно так же воспринимал. На счёт выделения под них памяти ничего не скажу, но что по сути ссылка является псевдонимом существующего в памяти объекта, до сих пор не сомневался... А как оно на самом деле?

Вообще-то Страуструп описывает очевидную реализацию ссылки как константный указатель, при каждом использовании которого происходит разыменование.
Как, например, обойтись без выделения памяти, если ссылка является членом класса или параметром функции.

1

Сообщение от silent_1991 Тип нужен для того, чтобы указатель знал, на сколько надо сместиться, чтобы достичь очередного элемента массива (в контексте массивов). Т.е. при использовании указателя типа int смещение будет происходить на 4 байта (при sizeof(int) == 4), а при использовании double уже на 8.

То есть при работе с отдельными переменными это на самом деле не имеет значения?

0

Hagrael, да, по сути указатели всех типов совместимы между собой. Но все же лучше, когда это возможно, использовать указатели соответствующих типов.

1