Почему данный код валидный?

@NuMeRiC_ · Регистрация: 03.06.2019

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

Привет всем. Написал вот этот код на компиляторе clang новейшей версии:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
using namespace std;
 
class arr{
    char* data;
    public:
    arr(char* arr){cout<<"Ctor"<<endl;}
    ~arr(){
        cout<<"Dtor"<<endl;
        delete data;
    }
};
 
int main(){
    arr A(nullptr);
    A.~arr();
}

Освобождение памяти происходит 2 раза, это говорит и вывод в консоль:
Ctor
Dtor
Dtor
[Program finished]

Но никаких ошибок. В чем дело, ребята?

@hoggy · 03.01.2020, 01:52

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

Я уже полностью опроверг ваше "очевидно" своим контрпримером. Нет, в случае с gcc память на стеке НЕ содержит нули.

как ты объяснишь это?

https://rextester.com/WWRH29370

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

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

Я уже полностью опроверг ваше "очевидно" своим контрпримером. Нет, в случае с gcc память на стеке НЕ содержит нули.

как ты объяснишь это?

https://rextester.com/WWRH29370

@TheCalligrapher · 03.01.2020, 02:01

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

как ты объяснишь это?

Ым... Зачем "объяснять" мусор в памяти? Мне такое и в голову не может прийти.

@hoggy · 03.01.2020, 02:08

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

Зачем "объяснять" мусор в памяти?

затем, что:

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

в отличие от обычного мусора, в случае с gcc, нули - не случайность,
Бро.

можешь билдить/запускать 100500 раз,
и каждый раз получишь один и тот же стабильный результат.

если полазить по различным стек-оверфлоу,
можно найти ответы наподобие:

Когда процесс запрашивает память, а операционная система предоставляет процессу несколько новых страниц, kernel должен инициализировать страницы (например, с нулями), чтобы избежать отображения потенциально достоверных данных, используемых другим процессом. То же самое, когда процесс запускается и получает некоторую память, например, сегмент стека.

как насчет твоего объяснения?

а то может ты думаешь, что эти нули - чистая случайность?
типа... совершенно случайно во всех 100500 запусках выпали нули.

IGPIGP · 03.01.2020, 02:08

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

Однако если выделить память по указателю а в деструкторе затребовать его освобождения то вызвать деструктор дважды подряд не получится. Может есть операционки которым это всё равно, но я не встречал.

Написал высокопарную чушь. На ночь глядя.

MinGW генерит код который работает:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#include <iostream>
using namespace std;
 
class arr{
    public:
    int data, *pdata;
 
    arr(int data_=1):data(data_)
        {
            pdata = new int[data];
            cout<<"Ctor\n"<<endl;
        }
    ~arr()  {
                if(data){
                        --data;
                        cout<<"dtor "<<data<<'\n';
                        delete []pdata;
                        this->~arr();
                }
            }
};
 
int main()
{
arr A(1000);
A.~arr();
return 0;
}

??
Студия валится при первом же перезапуске в рекурсии. Это то к чему я привык. Но не ожидал от GNU для Винды такого.

@TheCalligrapher · 03.01.2020, 02:32

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

можешь билдить/запускать 100500 раз,
и каждый раз получишь один и тот же стабильный результат.

Да, да, дад...

Смотрим сюда
http://coliru.stacked-crooked.... eec82870d0

а потом сюда
http://coliru.stacked-crooked.... 8f891cc69a

и перестаем нести чушь.

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

если полазить по различным стек-оверфлоу,
можно найти ответы наподобие:
Когда процесс запрашивает память, а операционная система предоставляет процессу несколько новых страниц, kernel должен инициализировать страницы (например, с нулями), чтобы избежать отображения потенциально достоверных данных, используемых другим процессом. То же самое, когда процесс запускается и получает некоторую память, например, сегмент стека.
как насчет твоего объяснения?

О, это очень просто! Если вам привиделось, что что-то написанное на "стековерфлоу" не совпадает с тем, что говорю я, то либо 1) на "стековерфлоу" написан потешный глупый бред, либо 2) на "стековерфлоу" написано все правильно, но вы сами просто не в состоянии понять, о чем там идет речь, т.е. имеет место классический эффект "смотрит в книгу, а видит фигу".

Конечно же, в данном случае можно с высокой степенью уверенности сказать, что имеет место именно вторая ситуация ))

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

а то может ты думаешь, что эти нули - чистая случайность?
типа... совершенно случайно во всех 100500 запусках выпали нули.

Именно так. Если я сказал "случайно", значит случайно. Если завтра я скажу "виноваты зеленые человечки", то будут виноваты зеленые человечки. До тех пор, пока я не скажу что-то еще. Для вас пока - только так, без вариантов.

@hoggy · 03.01.2020, 04:09

вот это уже больше похоже на правду:
Не могу заставить g++ не инициализировать локальную переменную нулем

@TheCalligrapher · 03.01.2020, 04:22

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

вот это уже больше похоже на правду:
Не могу заставить g++ не инициализировать локальную переменную нулем

А может надо учится самому смотреть на код, сгенерированный компилятором, вместо того, нести чушь, а потом пытаться выбираться из позорной ситуации путем выискивания всяких "кулстори" из интернета? Даже в GCC 4.8.1: https://godbolt.org/z/CnK58Z

Кстати, особенно удивительно это читать, если учесть, что почти все там написанное соответствует вашим утверждениям "с точностью до наоборот":

1. Об обнулении локальных переменных речь идет именно для MSVС на Windows (хоть это и не правда).
2. Ясно сказано: "Про инициализацию стека - полная бредятина, пример из поста #11 налгядно это демонстрирует" (sic)

)))

@hoggy · 03.01.2020, 05:40

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

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

так иди и учись.

Новые блоги и статьи Все статьи Все блоги /
Саморегулирующийся социальный контракт для сервера cross-section. Hrethgir 14.08.2026 С кодом конечно таких глубоких размышлений пока не было, впрочем я уже привык к алгоритмизации. Суть предмета записи: снова в диалоге с нейросетью (я взял пока себе ник для учётки админа - Rector). . . .	Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия
Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .

@hoggy 8973 / 4319 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	03.01.2020, 04:09
	вот это уже больше похоже на правду: Не могу заставить g++ не инициализировать локальную переменную нулем 0