Занимает ли какое-либо место в памяти неинициализированный указатель?

@BlackStoneBlack · Регистрация: 10.05.2016

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

Добрый день! Появился вопрос: занимает ли какое-либо место в памяти неинициализированнный указатель? Для примера приведу следующий код:

C++

#include <iostream>
using namespace std;
 
int main()
{
    int* p;
    cout << (int) sizeof(p) << " "; // Здесь выведет 4 или 8 в зависимости от разрядности
    p = new int(5);
    cout << *p << "\n"; // Здесь выведет, естественно, 5
    delete p;
 
   return 0;
}

Вот меня интересует, занимает ли указатель p какое-либо количество памяти до применения оператора new? Понятное дело, что sizeof не показателен (возможно, ошибаюсь). Заранее спасибо за ответ.

@Mightsoul · 02.06.2020, 19:21

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

занимает ли указатель p какое-либо количество памяти

Занимает.

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

до применения оператора new?

new лишь выделяет фрагмент данных в куче и возвращает его начальный адрес.

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

Понятное дело, что sizeof не показателен (возможно, ошибаюсь)

Ошибаетесь.

Croessmah · 02.06.2020, 19:46

BlackStoneBlack, это зависит от того, как ваш компилятор код построит.
sizeof действительно не показатель, по той простой причине, что он дает размер типа, и даже, если туда засунули имя объекта, он выдаст именно размер типа объекта и никакого отношения к реально занимаемой памяти это не имеет.

@Mightsoul · 02.06.2020, 20:43

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

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

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

это зависит от того, как ваш компилятор код построит.

Пожалуй, это более правильно, ибо компилятор может поступить иначе, но в каком-то общем плане, память для локальных данных выделяется целиком.

@argcargv · 02.06.2020, 21:01

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

Вот меня интересует, занимает ли указатель p какое-либо количество памяти до применения оператора new?

Компилятор вообще может выкинуть int* p;, p = new int(5); и delete p;.

Croessmah · 02.06.2020, 21:15

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

это так, но речь о том, сколько памяти занимает сам указатель

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

C++

#include <cstdio>
 
int main()
{
    int* p;
    printf("%zu\n",sizeof(p));
    p = new int(5);
    printf("%d\n",*p);
    delete p; 
}

На gcc с -O3:

Assembler

.LC0:
        .string "%zu\n"
.LC1:
        .string "%d\n"
main:
        push    rbp
        mov     esi, 8
        mov     edi, OFFSET FLAT:.LC0
        xor     eax, eax
        call    printf
        mov     edi, 4
        call    operator new(unsigned long)
        mov     esi, 5
        mov     edi, OFFSET FLAT:.LC1
        mov     DWORD PTR [rax], 5
        mov     rbp, rax
        xor     eax, eax
        call    printf
        mov     rdi, rbp
        mov     esi, 4
        call    operator delete(void*, unsigned long)
        xor     eax, eax
        pop     rbp
        ret

Как видим, компилятор всё проделал на регистрах. И только пятерку зачем-то записал в память.
clang же с опцией -O3 выпилил и указатель и new и delete, т.к. нафиг не нужны:

Assembler

main:                                   # @main
        push    rax
        mov     edi, offset .L.str
        mov     esi, 8
        xor     eax, eax
        call    printf
        mov     edi, offset .L.str.1
        mov     esi, 5
        xor     eax, eax
        call    printf
        xor     eax, eax
        pop     rcx
        ret
.L.str:
        .asciz  "%zu\n"
 
.L.str.1:
        .asciz  "%d\n"

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

@Mightsoul · 02.06.2020, 21:46

Зато ваше объяснение более доказательно.

@Mightsoul El. Psy. Congroo. 110 / 92 / 32 Регистрация: 09.01.2018 Сообщений: 344
	02.06.2020, 19:21	2
	Сообщение от BlackStoneBlack занимает ли указатель p какое-либо количество памяти Занимает. Сообщение от BlackStoneBlack до применения оператора new? new лишь выделяет фрагмент данных в куче и возвращает его начальный адрес. Сообщение от BlackStoneBlack Понятное дело, что sizeof не показателен (возможно, ошибаюсь) Ошибаетесь. 0

Croessmah Неэпический 18093 / 10680 / 2060 Регистрация: 27.09.2012 Сообщений: 26,881 Записей в блоге: 1
	02.06.2020, 19:46	3
	BlackStoneBlack, это зависит от того, как ваш компилятор код построит. `sizeof` действительно не показатель, по той простой причине, что он дает размер типа, и даже, если туда засунули имя объекта, он выдаст именно размер типа объекта и никакого отношения к реально занимаемой памяти это не имеет. 0

@Mightsoul El. Psy. Congroo. 110 / 92 / 32 Регистрация: 09.01.2018 Сообщений: 344
	02.06.2020, 20:43	4
	Croessmah, это так, но речь о том, сколько памяти занимает сам указатель, а не данные, расположенные по адресу, который хранится в этом самом указателе. Выделение памяти для локальных данных функции осуществляется одной единственной инструкцией, поскольку это эффективно и размер локального хранилища заранее известен. Добавлено через 7 минут Сообщение от Croessmah это зависит от того, как ваш компилятор код построит. Пожалуй, это более правильно, ибо компилятор может поступить иначе, но в каком-то общем плане, память для локальных данных выделяется целиком. 0

@argcargv 248 / 70 / 9 Регистрация: 22.07.2018 Сообщений: 321
	02.06.2020, 21:01	5
	Сообщение от BlackStoneBlack Вот меня интересует, занимает ли указатель p какое-либо количество памяти до применения оператора new? Компилятор вообще может выкинуть `int* p;`, `p = new int(5);` и `delete p;`. 0

@Mightsoul El. Psy. Congroo. 110 / 92 / 32 Регистрация: 09.01.2018 Сообщений: 344
	02.06.2020, 21:46	7
	Зато ваше объяснение более доказательно. 0

Опции темы

Занимает ли какое-либо место в памяти неинициализированный указатель?

Решение