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

@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

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

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

Новые блоги и статьи Все статьи Все блоги /
сукцессия 15 неявная схема anaschu 29.06.2026 Алиса Калибровка параметров симбиотической модели: технический обзор Содержание: Введение Постановка проблемы Технические аспекты реализации Процесс внедрения изменений	сукцессия 14. Обновленная схема модели anaschu 28.06.2026 ГЛОБАЛЬНАЯ ОПИСАТЕЛЬНАЯ СПЕЦИФИКАЦИЯ ЭКОСИСТЕМНОЙ МОДЕЛИ «SOIL CHEMISTRY & MYCORRHIZA 2. 0» https:/ / ibb. co/ NnkGpfMd Представленная интегрированная схема описывает непрерывную нелинейную. . .	сукцессия 13. Питон модель трехзонного мицелия, пока что в основном арбускулярного anaschu 28.06.2026 ## Разработка агентной модели микоризной сукцессии: от выявления артефактов к созданию комплексной системы ### Аннотация Представлено исследование по разработке агентной модели микоризной. . .	сукцессия 12. краткий список проверок модели перед запуском. anaschu 27.06.2026 Скрытые отказы в моделях систем динамики (SD-models) экологических систем: два случая из практики Контекст Разбирался прототип модели систем динамики (SD-модели) микоризной сукцессии: пять. . .
Сукцессия 11. Проверка орудий перед войной: разработка через тестирование anaschu 27.06.2026 Как не дать модели соврать самой себе: проверки для симуляции микоризной сукцессии Введение Когда вы строите математическую модель живой системы — грибов, растений, почвы — главная опасность. . .	10 сукцессия. Питон код войны грибов и растений anaschu 27.06.2026 import numpy as np class PlantAgent: def __init__(self, name, strategy, initial_biomass): self. name = name self. strategy = strategy # "greedy" (широколиственные) или. . .	сукцессия 9. Математика подлости: как растения предали грибных друзей anaschu 27.06.2026 Статья 2. Глобальная фосфорная война: эволюционно-экономические механизмы распределения биомов Земли Введение: Экологический рынок как игра с нулевой суммой Традиционная экология долгое время. . .	сукцессия 8. Как я спорил с ИИ, которые - агенты растений и ненавистники грибов! anaschu 27.06.2026 Статья 1. Хроники грибного восстания: как Сократов диалог разрушил академические догмы ИИ Введение: Синдром «цифрового учебника» Современные большие языковые модели (LLM) обладают колоссальным. . .

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