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

Ребят объясните:
int* a;
a = new a(1);
в первой строке указатель ссылается на какуюто память, те она уже выделена и занять ее ни кто не может?
во второй строке new выделяет память и возвращает указатель, при этом указатель `а` не меняется! хотя new вернул другой указатель
как все это согласовывается где найти статейку как это работает?

0

1. В первой строке память ещё не выделена.
2. Всегда надо или сразу выделять память в декларации, или сразу в декларации присваивать указателю NULL, или nullptr. А в случае полей объектов в конструкторе.
3. new не возвращает указатель, он возращает адрес, который есть значение указательного типа. Именно значение, а указателем называется переменная для хранения адреса, или именованная константа, чьё значение - адрес. Во втором случае указатель константный. new переменных с константами не возвращает, он возвращает значение.
4. Присваивание указателю адреса меняет значение указателя, вероятность обратного процентов, где n - разрядность системы. В системах x32 это 0,0000000000000005421%. Если указатель был инициирован в NULL, или nullptr, как это положено, то имеем гарантию изменения указателя при возможности выделения памяти и выполнении присваивания указателю оператора new. Не меняется только имя указателя.

2

vdvoid, чепуха у вас написана.

0

Сообщение от vdvoid int* a;

Это просто объявление указателя на тип int. Если бы вы вместо

Сообщение от vdvoid a = new a(1);

написали бы *a = 1, то вылезла бы ошибка - использование неинициализированной переменной.
Оператор new выделяет ячейку памяти под указатель и присваивает указателю адрес на эту ячейку.
Да, кстати, должно быть a = new int(1);

0

Сообщение от 0x0000005C написали бы *a = 1, то вылезла бы ошибка - использование неинициализированной переменной.

Мимо. Компилятор не заметит ничего.

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

Сообщение от go Компилятор не заметит ничего.

Ну варнинг кинет, если настроен соответственным образом.

0

Сообщение от go Компилятор не заметит ничего.

Не-а не компилятор. Я про компилятор и не говорил. Это было бы run time error. Моя любимая ошибка)

0

Сообщение от 0x0000005C Это было бы run time error.

Сообщение от 0x0000005C использование неинициализированной переменной.

А есть такая?

0

Я вот про это:

Миниатюры

 

0

Сообщение от 0x0000005C Я вот про это:

Это в дебаге! Попробуйте в Release

2

Сообщение от 0x0000005C Я вот про это:

А я думал Access violation.
А в release скомпилить и запустить .exe? Там то нет отладочной информации - приложение должно свалится

0

Сообщение от go А в release скомпилить и запустить .exe? Там то нет отладочной информации - приложение должно свалится

Кстати, у меня отработало без видимых повреждений. Может че-нидь еще упадет, фиг его знает =))))

0

Сообщение от go Компилятор не заметит ничего.

Не заметит, а ошибка велезет. В рантайме.

0

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

это просто объявление переменной типа int* - "указатель на int".
указатель - переменная, хранящая адрес некоторого объекта в динамически распределяемой памяти (heap). объявление переменной подразумевает выделение под нее памяти в программном стеке.
но объявление переменной не означает ее инициализацию (определение). то есть, на данном этапе указатель создан, но не инициализирован адресом. он никуда не ссылается ( у него нет референта )
конечно стек грязный, и физически в а на момент создания будет какое-то число, но оно не имеет смысла. это не адрес, а хаотичный набор бит.
поэтому, например, компилятор Visual Studio выдаст вам ошибку "используется не инициализированная переменная", если вы попробуете использовать такой указатель.

Сообщение от vdvoid a = new a(1);

это бред. в операторе new указывается тип создаваемого объекта. должно быть так:
в этом случае new создаст в heap переменную типа int со значением 1 и возвратит ее адрес. возвращенный адрес помещается в переменную-указатель а. теперь указатель а имеет референт - переменную со значением 1.
если напишите
увидите на экране возвращенный new адрес.
а используя оператор разыменования указателя (*), можно обратиться к самой переменной, адрес которой содержится в а.
например
выведет вам 1

0

да непонятно вот что:

Добавлено через 8 минут
это я все понимаю что вы написали, я опечатался( спешил, непонятно вот что:
как все это согласовывается?
компилятор g++

0

Сообщение от vdvoid cout << &a

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

sizeof(*a)

получаем

0

еще вот что интересно

0

Сообщение от vdvoid еще вот что интересно C++ 1 2 T* p1 = new T; // конструктор вызывается T* p2 = (T*) operator new (sizeof(T)); // не вызывается почему?

А Вы понимаете разницу между функцией, перегрузкой,перекрытием,оператором, выражением?
может стоит вернуться к началу изучения?

0

про перекрытие не слышал остальное хорошо знаю

Добавлено через 27 минут
я так понимаю, сорри за тупость)
с этой строке size берется из T следующим за new, затем вызывается конструктор выражением T
а здесь выражения T нет и конструктор не вызывается поэтому?

0

Сообщение от vdvoid а здесь выражения T нет и конструктор не вызывается поэтому?

Управление памятью

Добавлено через 7 минут
Думаю, что это пояснит:

1

спасибо годная ссылка)

на стековерфлов прочел:
The compiler generates machine code for that. When the compiler sees

CSomeClass* object = new CSomeClass();

(new statement) it generates code that calls the appropriate operator new() (which allocates memory), calls the right constructor, calls destructors of all fully constructed subobjects in case of exception, calls operator delete() in case an exception occurs during construction. All this is done by extra machine code generated by the C++ compiler for that simply looking statement.

0