Определение указателя

@Jzx · Регистрация: 31.12.2017

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

C++

#include <iostream>
using namespace std;
 
int main()
{
    int *p;
    cout << p;
}

На этот код компилятор ругается следующим образом:
main.cpp:7:13: warning: 'p' is used uninitialized in this function [-Wuninitialized]

cout << p;

^

А этот код компилируется без ошибок и предупреждений:

C++

#include <iostream>
using namespace std;
 
int main()
{
    int *p;
    cout << &p;
}

Программа печатает 0x7ffd4a29c208

Верно ли я понимаю, что всякое объявление указателя является определением без инициализации: память выделяется, но никакого значения в эту память не записывается?

@FFPowerMan · 02.01.2019, 13:45

Думаю, да. Память выделяется, но в ней находится непонятно что. Поэтому он и ругается.

Добавлено через 2 минуты
cpp.sh инициализирует его 0.

@Undisputed · 02.01.2019, 14:02

Память выделяется под сам указатель, но каким именно будет адрес в указателе - не определено. То есть явно мы туда адрес не записывали, но переменная (указатель) сидит в памяти. То место в памяти которое выделено под хранение адреса имело какое то значение, вот это самое значение при печати и видно.

А то что код компилируется это ещё не все. Есть такая штука как неопределенное поведение.

@_stanislav · 02.01.2019, 14:39

Jzx, ты в своем коде определил переменную на стеке типа указатель на тип int, у этой переменной как и у любой
другой есть адрес.

C++

1
2

int* p = nullptr; // переменная на стеке типа указатель на тип int
int** p = new int*(nullptr); // переменная в куче типа указатель на тип int

@Jzx · 02.01.2019, 14:50 **[ТС]**

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

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

Это понятно.

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

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

И это понятно.

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

Поэтому он и ругается.

И это тоже.

Я хотел узнать о терминах, о той терминологии, которая применима в данной ситуации. Потому что в стандарте языка мне не удалось найти никакой информации о том, что считается объявлением, определением и инициализацией указателя.

@FFPowerMan · 02.01.2019, 15:05

Объявление - это как-бы краткая запись, само объявление, маркировка.
Определение - это само описание(для функции), само тело функции.
Инициализация - задание начального значения переменной, как правило делается вначале программы.
Сделайте одолжение. Не говорите больше что Вам тут все понятно - я считаю это плохой тон. Если бы Вам было все понятно - Вы бы сюда не пришли.

@Jzx · 02.01.2019, 16:04 **[ТС]**

Обнаружил интересную информацию:

В стандарте языка C сообщается следующее:

If an object that has static storage duration is not initialized explicitly, then:

— if it has pointer type, it is initialized to a null pointer;

В стандарте языка C++ сообщается то же самое

Variables with static storage duration (3.7.1) or thread storage duration (3.7.2) shall be zero-initialized (8.5) before any other initialization takes place.

То есть если к объявлениям указателей в приведённых примерах приписать слева static, то они будут косвенным образом (implicitly) инициализрованы нулём. Я модифицировал код и проверил: если использовать слово static, то компилятор действительно перестаёт ругаться. Если же использовать слово extern перед объявлением, то получается чистое объявление, не являющееся определением. То есть частично я ответил на свой вопрос:

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

Верно ли я понимаю, что всякое объявление указателя является определением без инициализации

Как следствие, нельзя использовать extern и static совместно:

C++

1	extern static int *p; //ошибка

@FFPowerMan 2128 / 1211 / 503 Регистрация: 11.10.2018 Сообщений: 6,107
	02.01.2019, 13:45	2
	Думаю, да. Память выделяется, но в ней находится непонятно что. Поэтому он и ругается. Добавлено через 2 минуты cpp.sh инициализирует его 0. 0

@Undisputed 900 / 477 / 93 Регистрация: 10.06.2014 Сообщений: 2,698
	02.01.2019, 14:02	3
	Память выделяется под сам указатель, но каким именно будет адрес в указателе - не определено. То есть явно мы туда адрес не записывали, но переменная (указатель) сидит в памяти. То место в памяти которое выделено под хранение адреса имело какое то значение, вот это самое значение при печати и видно. А то что код компилируется это ещё не все. Есть такая штука как неопределенное поведение. 0

@Jzx -47 / 3 / 0 Регистрация: 31.12.2017 Сообщений: 204
	02.01.2019, 14:50 [ТС]	5
	Сообщение от _stanislav ты в своем коде определил переменную на стеке типа указатель на тип int, у этой переменной как и у любой другой есть адрес. Это понятно. Сообщение от Undisputed Память выделяется под сам указатель, но каким именно будет адрес в указателе - не определено. И это понятно. Сообщение от FFPowerMan Поэтому он и ругается. И это тоже. Я хотел узнать о терминах, о той терминологии, которая применима в данной ситуации. Потому что в стандарте языка мне не удалось найти никакой информации о том, что считается объявлением, определением и инициализацией указателя. 0

@FFPowerMan 2128 / 1211 / 503 Регистрация: 11.10.2018 Сообщений: 6,107
	02.01.2019, 15:05	6
	Объявление - это как-бы краткая запись, само объявление, маркировка. Определение - это само описание(для функции), само тело функции. Инициализация - задание начального значения переменной, как правило делается вначале программы. Сделайте одолжение. Не говорите больше что Вам тут все понятно - я считаю это плохой тон. Если бы Вам было все понятно - Вы бы сюда не пришли. 0

	02.01.2019, 16:04