Что такое указатель на массив?

Указатель на массив это указатель на первый элемент массива?

0

Azazel-San, так нету разAzazel-San, так такой код выдаст в любом случае 8(на х64) тк размер указателя же статический

0

Сообщение от DrOffset Этот размер в данном случае - это sizeof(double[20]) или, как сказал, ТС - sizeof(double) * 20

20 там не было?
sizeof(arr) = 20 * 10 * sizeof(double)
sizeof(arr[0]) = 20 * sizeof(double)
arr + 1 == &arr[1], тогда arr[1] == arr[0] + sizeof(arr[0])

0

Azazel-San, было количество элементов подмассива те 20,а к чему все записи выше? То что Вы написали в прошлом ответе и здесь это разные вещи

0

Сообщение от ReYalp То что Вы написали в прошлом ответе и здесь это разные вещи

Вы написали

Сообщение от ReYalp операция ++ двигает на количество байт равное szieof(double) *

И это одни и те же вещи.

Добавлено через 30 секунд

Сообщение от ReYalp те 20

А 20 видимо забыли.

0

Azazel-San, Вы писали в первом ответе sizeof double (*) - это размер указателя, те 8 байт, без разницы на что он указывает, он всегда 8 байт будет в 64 битной архитектуре

0

Сообщение от ReYalp Вы писали в первом ответе sizeof double (*) - это размер указателя, те 8 байт, без разницы на что он указывает, он всегда 8 байт будет в 64 битной архитектуре

Нет, я имел в виду не размер указателя, а sizeof(arr[0]) в смысле как sizeof(double(*)[20]):

0

Azazel-San, тогда ладно)

0

Сообщение от Azazel-San sizeof(arr[0]) в смысле как sizeof(double(*)[20]):

sizeof(arr[0]) - это sizeof(double[20]), а не sizeof(double(*)[20])

Сообщение от Azazel-San sizeof(parr)

Никак не может быть равен sizeof(arr[0]).

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

Сообщение от Azazel-San 20 там не было?

В явном виде не было, но он написал же:

Сообщение от ReYalp szieof(double) * количество элементов массива

* - это в данном случае умножение.

0

DrOffset, почему адресс указателя и указатель имеют одинаковый адресс?

0

Сообщение от ReYalp почему адресс указателя и указатель имеют одинаковый адресс?

Где вы тут видите адрес указателя? )
У вас есть адрес объекта массива в первой строке. И адрес первого элемента массива во второй. Это разные два адреса, у них разные типы.
Численно они совпадают потому что представляют доступ к одной и той же памяти.
Если создать простую структуру в стиле С и взять адрес объекта структуры и ее первого элемента - они тоже совпадут.

0

DrOffset, arr - указатель на первый элемент внутреннего массива, соответственно указатель на массив, он же является указателей на первый элемент этого массива, & - оператор взятия адреса, если я применяю & к указатель то выходит адресс указателя, разве если я напишу & arr то это не будет адресс указателя?

0

Сообщение от ReYalp arr - указатель на первый элемент внутреннего массива

arr - массив, а не указатель!

Специально выделил, чтобы получше видно было, а то вдруг две страницы до этого Вы не смогли прочитать.

0

Croessmah, но компилятор неявно заменяет везде arr на &arr[0]

0

Сообщение от ReYalp но компилятор неявно заменяет везде

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

0

Сообщение от ReYalp arr - указатель на первый элемент внутреннего массива, соответственно указатель на массив, он же является указателей на первый элемент этого массива, & - оператор взятия адреса, если я применяю & к указатель то выходит адресс указателя, разве если я напишу & arr то это не будет адресс указателя?

Всё не так.
Учите систему типов языка С++.

arr - это массив. Я же показывал пример с типом T выше. Внимательно его изучите и осмыслите.

&arr - даст указатель на массив

Также у массивов есть уникальная особенность, массив неявно приводится к указателю на свой первый элемент в определенных выражениях (а не во всех). Например вот здесь
тип p T *, тип arr - T[10].

0

DrOffset, да у меня проблемы не со всей системой, а только с массивами, arr же почти всегда будет равен указатель на его первый элемент, вроде как только decltype выведет с него тип массива, вот есть массив int arr[10], если я сделаю & arr - что это?

Добавлено через 3 минуты
Croessmah, в книге чётко написано :"Однако у массивов есть одна особенность - места их использования компилятор автоматически заменяет указателем на первый элемент"

Добавлено через 2 минуты
DrOffset, arr - это массив, но как только дело доходит до момента std::cout << arr то это уже не массив, а указатель на его первый элемент, тогда &arr - операция взятия адреса указателя на первый элемент массива, ну что не так?

0

Сообщение от ReYalp "Однако у массивов есть одна особенность - места их использования компилятор автоматически заменяет указателем на первый элемент"

ReYalp, это просто упрощение для того, чтобы не загромождать деталями пояснение. Именно поэтому одной книги не хватит для обучения. Вам когда в детстве говорили, что Земля имеет форму шара - это тоже было упрощение. Вы же теперь знаете, что Земля - это геоид? Если бы вам в 5 лет сказали, что Земля - это геоид, что бы вы поняли из этого?
Этим отличается учебник от профессиональной литературы. В учебнике делают упрощения, в профессиональной литературе - нет.

1

DrOffset, но то что земля имеет форму шара - это неправда, а то что arr заменяется на &arr[0] это правда

0

Сообщение от ReYalp arr - это массив, но как только дело доходит до момента std::cout << arr то это уже не массив, а указатель на его первый элемент, тогда &arr - операция взятия адреса указателя на первый элемент массива, ну что не так?

Пример:
Явление, которое демонстрирует код, точно такую же природу имеет, как в ситуации с массивами, разница только в том, что я это поведение сам описал вручную. У вас же не возникает желания в этом случае сказать, что &arr и arr - это одно и то же?

Сообщение от ReYalp да у меня проблемы не со всей системой, а только с массивами,

Если у вас проблема с массивами, значит проблема со всей системой.

1

Сообщение от ReYalp если я сделаю & arr - что это?

Давай с простого. Понимаешь разницу между int и long?
Какой тип имеет переменная i? int.
Какой тип даст &i? int * - указатель на int.

Какой тип имеет переменная d? long.
Какой тип даст &d? long * - указатель на long.

Можно вызвать foo(d)? Да, можно.
Можно вызвать foo(i)? Да, можно. Но ведь тип переменной i - int, а функция приминает long. Как так? Применяется неявное преобразование типа и получается новая временная переменная типа long, которая и уходит в функцию.

Можно вызвать bar(&d)? Да, можно.
Можно вызвать bar(&i)? Нет, нельзя. А нельзя потому что не разрещается неявно преобразовывать указатель типа int * (указатель на int) в указатель типа long * (указатель на long).


С массивами тоже самое.
Какой тип имеет переменная arr? int[10].
Какой тип даст &arr? int(*)[10] - указатель на массив из 10-ти int'тов

Можно вызвать foo(arr);? Да, можно. Но ведь тип переменной arr - int[10], а функция приминает int *. Применяется неявное преобразование типа и получается новая временная переменная типа int *, которая и уходит в функцию. Полученный указатель указывает на первый элемент массива.
Вот это оно и есть - "волшебное" преобразование из-за которого кажется, что массив - это указатель.

Можно вызвать foo(&arr);? Нет, нельзя. А нельзя потому что не разрещается неявно преобразовывать указатель типа int(*)[10] (указатель на массив int[10]) в указатель типа int * (указатель на int).

Теперь разница между массивом, указателем на массив и просто указателем на элемент этого массива) стала более наглядной?

Добавлено через 27 секунд

Сообщение от ReYalp а то что arr заменяется на &arr[0] это правда

Это фигня какая-то, а не правда.

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

Сообщение от ReYalp Croessmah, в книге чётко написано :"Однако у массивов есть одна особенность - места их использования компилятор автоматически заменяет указателем на первый элемент"

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

1