Почему при присваивании адреса массива не ставится знак '&' получения адреса

@Aqua77 · Регистрация: 13.07.2015

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

C++
1
2
3
4
5
6
7
8
9
10
int main()
{
    int a[2] = { 2, 3 };
    int* b;
    b = a; //Почему при присваивании адреса массива не ставится знак '&' получения адреса.
//А когда присваиваешь адрес отдельной переменной, то необходимо ставить этот знак.
//int a=2;
    int* b;
    b = &a;//
}

И ещё адрес массива из пяти элементов передаст указателю все пять элементов? От адреса первого [0] до адреса последнего [4]. То есть, после такого присвоения указатель будет иметь все 5 адресов?

@mporro · 24.11.2015, 17:24

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

У объекта один тип.

Да, это тип 0. Каждый объект принадлежит как минимум одной категории: один объект и одни морфизм Id.

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

Никаких конфликтов, потому что 0 - int

Никаких конфликтов, потому что есть определённые правила выбора перегруженной функции.

Тип определяется только тем, какие выражения являются верными над объектом.

Любое натуральное число -- целое. Любой массив -- указатель.

Croessmah · 24.11.2015, 17:29

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

Любой массив -- указатель.

лишь преобразовывается в него.

Tulosba · 24.11.2015, 17:35

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

У объекта один тип.

Класс один. А типов может быть несколько. Например:

C++
1
2
3
4
5
6
7
8
9
10
11
12
struct A {};
struct B {};
struct C : A, B {};
 
void f(A&) {}
void f(B&) {}
 
int main()
{
    C c; // класс C; типы A,B,C
    f(c); // неоднозначаность, т.к. подходит и A, и B
}

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

Никаких конфликтов, потому что 0 - int

Веселье начинается когда ожидаешь, что f(NULL) вызовет версию для указателя, а вызывается для целого.

Кликните здесь для просмотра всего текста

nullptr спасет отца русской демократии

@mporro · 24.11.2015, 17:35

неявно

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

преобразовывается в него

То есть, состоит в отношении является.

Croessmah · 24.11.2015, 17:48

http://stackoverflow.com/quest... e-pointers

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

Класс один. А типов может быть несколько.

вернемся

The term object type refers to the type with which the object is created.

@mporro · 24.11.2015, 17:52

Croessmah
Pointers are not arrays. Именно это в действительности разобрано по ссылке.

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

Croessmah · 24.11.2015, 18:02

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

В частности для программиста нет разницы между неявным преобразованием и отношением является.

ага, а потом они бегают по форуму с вопросами почему не ставится и почему размер не тот

@mporro · 24.11.2015, 18:06

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

а потом они бегают по форуму с вопросами почему

По этой причине всем новичкам C++ стоит говорить, что массив это вообще не int a[5], а классы из <valarray> или <array>. А за int a[5] бить по рукам линейкой.

Tulosba · 24.11.2015, 18:12

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

вернемся

Так-то да (прям как объекты из Стандарта и от Саттера

).
Но с точки зрения ООП терминологии типов может быть несколько.
http://stackoverflow.com/a/769399/3240681

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

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

массив это вообще не int a[5], а классы из <valarray> или <array>

Но-но-но. Палехче!

Croessmah · 24.11.2015, 18:15

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

Но с точки зрения ООП терминологии типов может быть несколько.

Тогда уж любой объект - это последовательность байт

Байт · 24.11.2015, 18:17

Не по теме:

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

любой объект - это последовательность байт

Да, да! Я всегда говорил это!:)

Tulosba · 24.11.2015, 18:23

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

Тогда уж любой объект - это последовательность байт

Так и есть

An object is a region of storage.

Croessmah · 24.11.2015, 18:26

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

Так и есть

еще

The object representation of an object of type T is the sequence of N unsigned char objects taken up by the object of type T, where N equals sizeof(T). The value representation of an object is the set of bits that hold the value of type T.

Tulosba · 24.11.2015, 18:35

Не по теме:

Ага. А человек - набор из мяса, костей и ведра кровищи. А не какой-то там индивидуум. :)

Croessmah · 24.11.2015, 18:40

Не по теме:

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

А человек - набор из мяса, костей и ведра кровищи.

мясо, кости, кровь - это составные типы :)

@daslex · 24.11.2015, 19:14

Новичкам надо говорить правду и вбивать им в голову, что есть стандарт, отладчик и ассемблерный код
(тут, правда, ассемблер не нужен, но иногда нужно к ассемблеру прибегать).

Вот им говорят, что имя массива - это указатель на его первый элемент, а он смотрит в отладчик и видит, что что-то не так. Кредит доверия отладчику резко упал, все отладчики стали говном, новичок им не верит, несет всякую чушь и задает тупые вопросы. (компиляторы у него ошибаются, отладчики бредят, только сам он умен, знаете ли, но почему-то там где-то косяк и тут где-то косяк и туча этих таких косяков. Надо задать вопрос, ведь объяснят лучше чем отладчик, стандарт и ассемблер. Чужое время, оно же гроша ломанного не стоит. Пусть на него любимого тратят свое. А все из мелочей пришло. Такие скользкие, неприятные мелочи. Недоговоренности, ошибочности).

(Я тоже жертва подобных неточностей).

У ТС вообще вопроса бы не возникло, если бы ему изначально было вдолблено, что тут неявное приведение. Что имя массива - всего-лишь идентификатор, некая сущность, которая даже переменной-то не является, но умеет становиться указателем на адрес своего начала и при необходимости становится им, потому что это стандартом оговорено.

Tulosba · 24.11.2015, 20:54

daslex,

Почему при присваивании адреса массива не ставится знак '&' получения адреса

Из 2015 студии.

@daslex · 24.11.2015, 21:04

ну там значит область памяти типизирована
на моем скрине не типизирована.
неодназначность, а так как это студия, то даже стандарт ничего не расскажет. Товарищи из Microsoft, похоже тоже запутались.
___________
у меня тоже 2015 (pro).

zer0mail · 25.11.2015, 07:23

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

Из 2015 студии.

Точка останова на присвоении. так что в p еще ничего не записано.

zer0mail · 25.11.2015, 07:38

Небольшой пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
void fa(int a[2])   {   cout<<sizeof(a);    }
void fp(int* p)     {   cout<<sizeof(p);    }
int main()
{
    int i;
    int A[2];
    int *p=A;
    cout<<sizeof(A);
    cout<<sizeof(p);
    p=new int[5];
    cout<<sizeof(p)<<endl;
    fa(A);
    fa(p);
    fp(A);
    fp(p);
    return 0;
}

sizeof() при передаче массива, как параметра, возвращает размер указателя

Новые блоги и статьи Все статьи Все блоги /
сукцессия 37. Внедрил дипсик в свой оркестр из ИИ. У него закончилось пространство чата, потому опубликую выводы из его работы здесь anaschu 21.07.2026 ==================================================================== КОНТЕКСТ: Моделирование микоризной сукцессии (AM → ECM) ==================================================================== . . .	сукцессия 36. Делаю прогоны модели около порога бифуркации (превращения эндо микоризы в экто микоризу) anaschu 21.07.2026 СУКЦЕССИЯ МИКОРИЗ: КАК МАТЕМАТИКА ОБЪЯСНЯЕТ ПОДЗЕМНУЮ ВОЙНУ Мы привыкли думать, что лес — это деревья. А грибы — это то, что мы собираем в корзинку осенью. Но если заглянуть под землю, окажется,. . .	ИИ и человечность kumehtar 21.07.2026 Забавно, что общаясь с ИИ, я замечаю, насколько он высказывается умно, и насколько верит в людей. Он умеет прощать. Он знает как отвечать не обесценивая опыт других людей, даже если сам не верит. Он. . .	Нейтральные знания ..., ... чистая наука. Пока что-то проходит модерацию на Хабре, стоит развить мысль ... Hrethgir 20.07.2026 К таким радикальным взглядам я конечно в той публикации не приходил, но чтобы скоротать вечер, решил углубиться немного. 1. Почему показания термометра заряжены целью? Цель заложена в самом. . .
Установка нескольких штампов электронной подписи в строго определенных местах файла docx ВладимирСамохин 19.07.2026 (В!) Работа с Электронной подписью - это неотъемлемая часть современного документооборота. Но что делать, если нужно поставить несколько штампов электронной подписи в строго определенных местах. . .	сукцессия 35. Научная статья о проделанной работе anaschu 19.07.2026 Написал в формате латекс и пдф	Вангую, что это не пройдёт модерацию, и на неделе я запущу свой сервер. Hrethgir 19.07.2026 Эта публикация сейчас в песочнице и ждёт приглашения. https:/ / habr. com/ ru/ sandbox/ 295048/ По ссылке 403. Не очень информативно такую ссылку постить. Запись от Usaga размещена Сегодня в 06:46 . . .	сукцессия 33. открытые вопросы от клауде anaschu 19.07.2026 "Что накопилось за эту часть А — тринадцать правок, из которых шесть пришли из ваших вопросов и каждая оказалась реальной ошибкой, а не калибровкой: односторонний симбиоз, отсутствующий листопад,. . .

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	24.11.2015, 17:52
	Croessmah Pointers are not arrays. Именно это в действительности разобрано по ссылке. Стандарт написан не только для тех, кто использует язык, но и для тех, кто реализует компиляторы, потому в стандарте есть детали реализации, в которые программисты, по существу, даже не должны лезть. В частности для программиста нет разницы между неявным преобразованием и отношением является. Для тех, кто производит компиляторы разница есть. Им нужно решать -- есть ли необходимость создавать новый объект, когда можно, а когда нельзя применить оптимизацию. 0

Tulosba
	24.11.2015, 18:35
	Не по теме: Ага. А человек - набор из мяса, костей и ведра кровищи. А не какой-то там индивидуум. :) 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	24.11.2015, 19:14
	Новичкам надо говорить правду и вбивать им в голову, что есть стандарт, отладчик и ассемблерный код (тут, правда, ассемблер не нужен, но иногда нужно к ассемблеру прибегать). Вот им говорят, что имя массива - это указатель на его первый элемент, а он смотрит в отладчик и видит, что что-то не так. Кредит доверия отладчику резко упал, все отладчики стали говном, новичок им не верит, несет всякую чушь и задает тупые вопросы. (компиляторы у него ошибаются, отладчики бредят, только сам он умен, знаете ли, но почему-то там где-то косяк и тут где-то косяк и туча этих таких косяков. Надо задать вопрос, ведь объяснят лучше чем отладчик, стандарт и ассемблер. Чужое время, оно же гроша ломанного не стоит. Пусть на него любимого тратят свое. А все из мелочей пришло. Такие скользкие, неприятные мелочи. Недоговоренности, ошибочности). (Я тоже жертва подобных неточностей). У ТС вообще вопроса бы не возникло, если бы ему изначально было вдолблено, что тут неявное приведение. Что имя массива - всего-лишь идентификатор, некая сущность, которая даже переменной-то не является, но умеет становиться указателем на адрес своего начала и при необходимости становится им, потому что это стандартом оговорено. Миниатюры 0

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	24.11.2015, 20:54
	daslex, Из 2015 студии. 1

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	24.11.2015, 21:04
	ну там значит область памяти типизирована на моем скрине не типизирована. неодназначность, а так как это студия, то даже стандарт ничего не расскажет. Товарищи из Microsoft, похоже тоже запутались. ___________ у меня тоже 2015 (pro). 0