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

@ReYalp · Регистрация: 27.12.2017

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

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

@ReYalp · 19.02.2020, 01:04 **[ТС]**

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

@Azazel-San · 19.02.2020, 01:06

Сообщение от 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])

@ReYalp · 19.02.2020, 01:13 **[ТС]**

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

@Azazel-San · 19.02.2020, 01:19

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

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

Вы написали

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

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

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

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

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

те 20

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

@ReYalp · 19.02.2020, 01:27 **[ТС]**

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

@Azazel-San · 19.02.2020, 01:29

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

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

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

C++
1
2
double (*parr)[20] = arr;
sizeof(arr[0]) == sizeof(parr) == (sizeof(double) * 20)

@ReYalp · 19.02.2020, 01:33 **[ТС]**

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

@DrOffset · 19.02.2020, 07:46

Сообщение от 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) * количество элементов массива

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

@ReYalp · 19.02.2020, 08:02 **[ТС]**

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

C++
1
2
3
4
5
6
7
8
9
 #include <iostream>
 
 
int main(int argc, char *argv[])
{
    int arr[10][20];
    std::cout<<&arr<< std::endl;
    std::cout<<arr ;
}

@DrOffset · 19.02.2020, 08:17

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

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

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

@ReYalp · 19.02.2020, 08:27 **[ТС]**

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

Croessmah · 19.02.2020, 08:30

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

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

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

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

@ReYalp · 19.02.2020, 08:32 **[ТС]**

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

Croessmah · 19.02.2020, 08:32

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

но компилятор неявно заменяет везде

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

@DrOffset · 19.02.2020, 08:32

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

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

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

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

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

Также у массивов есть уникальная особенность, массив неявно приводится к указателю на свой первый элемент в определенных выражениях (а не во всех). Например вот здесь

C++
1
2
3
T arr[10];
 
auto p = arr;

тип p T *, тип arr - T[10].

@ReYalp · 19.02.2020, 08:43 **[ТС]**

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

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

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

@DrOffset · 19.02.2020, 08:50

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

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

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

@ReYalp · 19.02.2020, 08:54 **[ТС]**

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

@DrOffset · 19.02.2020, 08:58

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

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

Пример:

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
25
26
#include <iostream>
 
struct Array10
{
    operator int *()
    {
        return &m_array[0];
    }
    operator int const *() const
    {
        return &m_array[0];
    }    
    
    int m_array[10];
};
 
 
int main()
{
    Array10 arr;
    
    Array10 * p = &arr;
    
    std::cout << arr << std::endl;
    std::cout << &arr << std::endl;
}

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

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

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

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

Croessmah · 19.02.2020, 09:00

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

если я сделаю & arr - что это?

Давай с простого. Понимаешь разницу между int и long?

C++
1
2
3
4
5
6
7
8
9
10
void foo(long);
void bar(long *);
//...
int i;
long d;
//...
foo(d);
foo(i);
bar(&d);
bar(&i);

Какой тип имеет переменная 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).

С массивами тоже самое.

C++
1
2
3
4
5
6
void foo(int *);
//...
int arr[10];
//...
foo(arr);
foo(&arr);

Какой тип имеет переменная 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, в книге чётко написано :"Однако у массивов есть одна особенность - места их использования компилятор автоматически заменяет указателем на первый элемент"

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

Новые блоги и статьи Все статьи Все блоги /
Оказывается, Unreal Engine позволяет качество на порядки выше, чем было в Lineedge Etyuhibosecyu 05.07.2026 Жаль, конечно, что я не узнал об этом, пока Lineedge существовала, а то бы Noname2331 написал, что волки превращаются в пиксельную кашу, а я бы его попросил скачать какую-нибудь бриллиантовую или Pro. . .	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .
В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .	Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484

	Что такое указатель на массив? 18.02.2020, 15:28. Показов 6664. Ответов 108 Метки нет (Все метки) Указатель на массив это указатель на первый элемент массива? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 01:04 [ТС]
	Azazel-San, так нету разAzazel-San, так такой код выдаст в любом случае 8(на х64) тк размер указателя же статический 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 01:13 [ТС]
	Azazel-San, было количество элементов подмассива те 20,а к чему все записи выше? То что Вы написали в прошлом ответе и здесь это разные вещи 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 01:27 [ТС]
	Azazel-San, Вы писали в первом ответе sizeof double (*) - это размер указателя, те 8 байт, без разницы на что он указывает, он всегда 8 байт будет в 64 битной архитектуре 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 01:33 [ТС]
	Azazel-San, тогда ладно) 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 08:27 [ТС]
	DrOffset, arr - указатель на первый элемент внутреннего массива, соответственно указатель на массив, он же является указателей на первый элемент этого массива, & - оператор взятия адреса, если я применяю & к указатель то выходит адресс указателя, разве если я напишу & arr то это не будет адресс указателя? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 08:32 [ТС]
	Croessmah, но компилятор неявно заменяет везде arr на &arr[0] 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 08:43 [ТС]
	DrOffset, да у меня проблемы не со всей системой, а только с массивами, arr же почти всегда будет равен указатель на его первый элемент, вроде как только decltype выведет с него тип массива, вот есть массив int arr[10], если я сделаю & arr - что это? Добавлено через 3 минуты Croessmah, в книге чётко написано :"Однако у массивов есть одна особенность - места их использования компилятор автоматически заменяет указателем на первый элемент" Добавлено через 2 минуты DrOffset, arr - это массив, но как только дело доходит до момента std::cout << arr то это уже не массив, а указатель на его первый элемент, тогда &arr - операция взятия адреса указателя на первый элемент массива, ну что не так? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 08:54 [ТС]
	DrOffset, но то что земля имеет форму шара - это неправда, а то что arr заменяется на &arr[0] это правда 0