Неинициализированные указатели

Подскажите пожалуйста, если использование неинициализированных указателей в С++ сопряжено с рисками неопределённого поведения и случайного доступа к памяти, то для каких целей в языке оставлена возможность объявления неинициализированных указателей?

0

Сообщение от Igor3D Apple clang 14.0

Так Clang 14 и на Godbold генерирует полную main. С 2022 года кодогенераторы существенно ушли вперед.

Сообщение от Igor3D У меня никаких чудес нету, "а" заполнено мусором (большое число)

Есть, разумеется.

На Apple Clang 14 удаляет цикл из кода по причине UB точно так же, как и везде. На Godbolt это сразу очевидно, потому что неинициализированная переменная выводится как 0. А у вас ("большое число") нужно лишь слегка модифицировать код, чтобы увидеть "чудеса".

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

0

TheCalligrapher, Отвечая вам и Наталья8, этой незамысловатой программой я опроверг мнение Алексей 1153 - "Как раз неинициализированному указателю совсем-совсем ничего не присваивается ..." озвученное ранее, а так же предметно подтвердил позицию заявленную Страуструпом из цитаты его книги "Эта инструкция записывает число 7.0 в некую ячейку памяти. Мы не знаем, в какой части памяти расположена эта ячейка. Это может быть безопасно, но рассчитывать на это нельзя. Рано или поздно мы получим тот же результат, что и при выходе за пределы допустимого диапазона: программа аварийно завершит работу или выдаст неправильные результаты." и цитаты от ИИ "Если попытаться вывести значение неинициализированного указателя, например, с помощью std::cout, то на экран будет выведено адрес в памяти, который хранится в указателе. Это может быть любой адрес, включая тот, который не ссылается на допустимый объект." представленными мною ранее. В каком месте Страуструп врёт, а ИИ ошибается так и осталось для меня загадкой, так же как и смысл приведения примеров неинициализированных переменных применительно к вопросу о неинциализированном указателе.

0

Also what, моя последняя попытка:

неинициализированной фундаментальной переменной ничего не присваивается. Это не мнение, это так работает.

Выделяется место на стеке (либо выделяется регистр под переменную). В это место ничего не пишется, какие битики там были, так и остаётся.

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

Можешь представить белую доску, на которой маркером написаны разные числа.
Обведи на доске прямоугольником некую область - это ты выделил место по переменную на стеке.
Некие числа попали в этот прямоугольник.
Ты же их туда не записывал, они там были ранее, возможно год назад они там были написаны.

Эти числа не имеют смысла. И никто не пойдёт вводить их в качестве пароля или искать дом по этому адресу

0

Алексей1153, Ну почему же не имеют смысла. Всему при желании можно найти применение. По факту число есть? Есть. Указателю адрес на это число присвоен? Присвоен. Утверждение "неинициализированному указателю совсем-совсем ничего не присваивается" ложно? Ложно. Кто и когда туда записал это число вообще вопрос десятый, главное что неинциализированный указатель на него ссылается и мы при желании можем его считать и даже изменить если захотим. А насчет использования/бесполезности - почему бы не использовать это рандомое число вместо функции предоставляющей рандомное число например.

0

Сообщение от Also what В каком месте Страуструп врёт, а ИИ ошибается так и осталось для меня загадкой

Вам уже несколько раз указали, что правильный ответ здесь только один: неопределенное поведение. А разглагольствования про "запишется в некую ячейку" или "будет выведен любой адрес" - это сказочки для блондинок-первокурсниц.

Спецификация (стандарт) языка С++ ясно говорит в [basic.indet], что неинициализированная автоматическая переменная содержит indeterminate value (C++23, [basic.indet], пункт 1). Любое вычисление, порождающее indeterminate value в качестве результата, вызывает неопределенное поведение (за рядом исключений, сделанных для значений типов unsigned char и std::byte) (C++23, [basic.indet], пункт 2).

Всё. Это - единственно правильный ответ. Никакого другого ответа тут быть не может.

И ваш ИИ с радостью вам об этом расскажет, если вы на этом настоите. И даже честно признает, что изначально нес чепуху.

Сообщение от Also what так же как и смысл приведения примеров неинициализированных переменных применительно к вопросу о неинциализированном указателе

???

Неинициализированная переменная типа "указатель" - это просто неинициализированная переменная, ничем не отличающаяся от любой другой неинициализированной переменной. Указатели не имеют никакого особого статуса в С++. Я думал, что такие элементарные вещи не надо разжевывать.

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

0

TheCalligrapher, Простите, а зачем вы мне раз за разом указываете спецификацию неинициализированной переменной, если мой вопрос о неинциализированном указателе? Меня не интересуют неинициализированные переменные от слова совсем.

0

Сообщение от Also what а зачем вы мне раз за разом указываете спецификацию неинициализированной переменной, если мой вопрос о неинциализированном указателе?

Ым... Вот это поворот... Но в языке С++ понятие инициализации/инициализированности применимо только к объектам, то есть к переменным.

А вы оказывается что-то новое придумали, но нам до сих пор не сказали. Так расскажите же нам тогда, о чем вы вообще ведете речь. Я весь в нетерпении.

0

О неинциализированных указателях и только. Указатель ссылается на переменные, но не является ими. Разве в спецификации это не написано?

0

Сообщение от Also what О неинциализированных указателях и только. Указатель ссылается на переменные, но не является ими.

Чего? Это какое-то очередное ваше изобретение. Причем если предыдущие ваши разглагольствования можно было отнести к типичным и весьма распространенным заблуждениям начинающих (дальше книги Страуструпа много кто не продвигается), то вот это выше - это уже какая-то феерическая отсебятина.

Вынужден вас разочаровать: в языке С++ все объекты в хранилище, без исключения - переменные. Указатели тоже.

Ваши слова отдаленно похожи на несколько перевранные характеристики ссылок (а не указателей). Ссылки в С++ не являются объектами, но, что интересно, являются переменными тоже. Понятие переменной в С++ определяется как совокупность объектов и ссылок:

6 Basics 6 A variable is introduced by the declaration of a reference other than a non-static data member or of an object. The variable’s name, if any, denotes the reference or object.

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

0

TheCalligrapher, TheCalligrapher,"В языке С++ понятие инициализации/инициализированности применимо только к объектам, то есть к переменным", "в языке С++ все объекты в хранилище, без исключения - переменные. Указатели тоже." - то есть указатели тоже объекты/переменные. Тогда почему к ним не применимо понятие инициализации/инициализированности? Противоречите сами себе батенька.

0

Сообщение от Also what то есть указатели тоже объекты/переменные

Верно.

Сообщение от Also what Тогда почему к ним не применимо понятие инициализации/инициализированности? Противоречите сами себе батенька.

Чего? "к ним не применимо понятие инициализации/инициализированности"??? Где это вы такое у меня увидели???

Мои слова:

Сообщение от TheCalligrapher в языке С++ понятие инициализации/инициализированности применимо только к объектам, то есть к переменным.

Где вы здесь увидели "не"?

0

TheCalligrapher, Да ладно дурака-то включать. Ваша цитата "В языке С++ понятие инициализации/инициализированности применимо только к объектам, то есть к переменным." была приведена как ответ на мою "а зачем вы мне раз за разом указываете спецификацию неинициализированной переменной, если мой вопрос о неинциализированном указателе?" где я недвусмысленно веду речь об указателях. "В языке С++ понятие инициализации/инициализированности применимо только к объектам, то есть к переменным" что применительно к обсуждаемым указателям явном образом подразумевает за собой, что к указателям понятие инициализации/инициализированности по вашему мнению не применимо. Налицо переобувание на ходу, вы так не считаете?

0

Also what, предлагаю найти пять отличий в функциях f1 и f2 (ну, кроме имён)

https://godbolt.org/z/xKf7dvTr3



Если удалось найти отличия, поздравляю, программирование - это не твоё

0

Сообщение от Also what "В языке С++ понятие инициализации/инициализированности применимо только к объектам, то есть к переменным" что применительно к обсуждаемым указателям явном образом подразумевает за собой, что к указателям понятие инициализации/инициализированности по вашему мнению не применимо

Что вы плетете? Еще раз даю под запись, для обязательного вызубривания наизусть: переменная типа "указатель" является такой же переменной, как и переменная любого другого типа.

P.S. Кстати, я это уже говорил выше. У мне складывается такое впечатление, что вы не конспектируете мои посты, не прорабатываете их длинными зимними вечерами при свете настольной лампы и не перечитываете их необходимое для закрепления количество раз. Заверяю вас, так никакого толку не будет.

0

TheCalligrapher Ответил уклончиво. Алексей1153 Рискну предположить, что у представленных вами функций кроме имён отличаются ещё и фамилии. Я буду программистом?

0

Also what, так, а ещё три отличия ?

0

Я думаю, что здесь уже ничего толкового не будет.

0

Тебе надо ты и ищи.

Добавлено через 2 минуты
Вы думаете? Мне показалось, что вы точно знаете.

0

короче, обычный тролль.

Расходимся

0

А вы по всей видимости искали какого-то необычного. Вынужден вас разочаровать.

1