170 похожих чатов

Как компилятор понимает деструкторы каких объектов надо вызвать при очистке

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

21 ответов

29 просмотров

Пишете код, засовываете в godbolt.org, смотрите что именно сделал компилятор

Попробуйте почитать тут https://itanium-cxx-abi.github.io/cxx-abi/abi-eh.html#cxx-abi

у всех объектов есть деструкторы, они и вызываются

serfcity -fsanitize=undefined,address
Дефолтные не вызываются.

с чего это вдруг?) что-либо же создается, значит удаляется тоже

Умеет сравнивать RSP/RIP и точки вызова конструкторов

serfcity--fsanitize=undefined,address Автор вопроса
Aleksander Spichak
Вполне себе вызываються

В дефолтном вызываются деструкторы членов класса?

Dmitriy [Отпуск]
(нет)

Ну он генерируеться на основе деструкторов подобьектов. Так что формально - вызывается. Будь то имплицитно или ехплицитно написанным

Aleksander Spichak
Ну он генерируеться на основе деструкторов подобье...

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

serfcity -fsanitize=undefined,address
Дефолтные не вызываются.

не вызываются тривиальные, а не дефолтные

Компилятор генерирует код функции и знает, какие объекты ему надо создать из кода программы. Поэтому при выходе из функции он также знает, какие объекты ему надо "удалить" - чьи деструкторы вызвать. Ну и конечно запоминает, какие конструкторы уже сработали, а какие ещё нет.

Но кстати, а у тебя есть вопросы, как компилятор разбирается с вызовом деструкторов в таком коде? void Foo() { Kek x; Lol y; if (...) { Kek x2; if (!Bar()) { return; // у кого позвать деструкторы вот тут? } } }

Aleksander Spichak
У всех

Ну в этом примере у всех, но в общем случае не у всех же.

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта