defer в C быть!

лапши из goto станет меньше

Дефер в c++ не будет добавлен не потому, что он конфликтует с другими частями, а потому что это дикий костыль по сравнению с нормальной реализацией RAII.

Дефер используется в тех язкых, где или вообще нет деструкторов (как в C) или где время жизни объекта невозможно четко проконтролировать из-за GC (как в том же golang, похожую штуку добавили недавно в JS).

С одной стороны, это хорошо.

С другой - Си от этого особо лучше не станет.

Ну во всяком случае, это явно полезнее, чем комплексные числа и прочий вздор.

Я удивлён, что так быстро. Всего 3 года от первого предложения до готовой спеки прошло. #embed дрочили 6 лет прежде чем добавить в стандарт, хотя там реализация просто тривиальна.

#embed дрочили 6 лет прежде чем добавить в стандарт, хотя там реализация просто тривиальна.

Теперь еще 10 лет надо подождать, чтобы программисты о нём узнали)

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

Дефер в c++ не будет добавлен не потому, что он конфликтует с другими частями, а потому что это дикий костыль по сравнению с нормальной реализацией RAII.

Вообще, в C++ есть свой defer давно.

Раз: https://www.boost.org/doc/libs/1_85_0/libs/scope/doc/html/index.html

Два: https://en.cppreference.com/w/cpp/experimental/scope_exit

Мне понравился коммент в старой ветке xDD

Ну не. Сишечка должна оставаться говном. Паттерн goto для чистки ресурсов перед выходом был одной из целью моего говномётства в сишку. Не надо фиксить это.

по сравнению с нормальной реализацией RAII

Глупость пишешь. В цпп из коробки нет удобной альтернативы. Чтобы воспользоваться RAII нужно написать класс. Это оверкилл, если нужно сделать что-то мелкое. Поэтому народ клепает эрзац финализаторы.

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

Это детали реализации. Вполне удобно делается и для классов. К тому же в C++/Rust есть и дженерики и макросы, по синтаксису оно не получается не сильно сложнее дефереда.

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

Вообще, в C++ есть свой defer давно.

Раз: https://www.boost.org/doc/libs/1_85_0/libs/scope/doc/html/index.html

Boost != C++

Два: https://en.cppreference.com/w/cpp/experimental/scope_exit

Experimental.

Давай без «есть» и «давно».

Поэтому глупость утверждать, что дефереды хоть чем-то лучше RAII. Это просто попытка хоть как-то хотя бы частично облегчить задачу освобождения ресурсов в тех языках, где невозможно реализовать нормальный RAII.

Помню про defer, вроде норм штука. Однако, домен .dev вызывает опасения - обычно на нём располагаются сайты веб-макак и их сообществ.

Вот это действительно хорошее изменение. Пожалуй одно из очень немногих за последние лет 40, которое я всецело одобряю.

Ого, комитетчики делают что-то полезное!

А напишите плиз кто-нить в каких кейсах дефер может быть полезен. Единственное что на ум приходит – это избавление от goto error; для очистки ресурсов в множестве мест блока кода. Какие еще кейсы?

Вообще, в C++ есть свой defer давно.

это просто defer-образная(вырвиглазная) пришлепка над raii. там все равно рисуется некий класс через шаблон.

Boost == C++

Починил. Boost уже давно работает как экспериментальное расширения стандартной библиотеки и многие вещи из него переносятся в STL практически как есть.

это просто defer-образная(вырвиглазная) пришлепка над raii. там все равно рисуется некий класс через шаблон.

Да ваще насрать 10 раз. Выглядит как defer, работает как defer, значит это defer.

как оно вообще будет взаимодействовать с goto?

если обойти defer используя goto, то ничего не отложится. с одной стороны это выглядит как «ошибка», в другой - вполне можно программировать и так. типа хочу чтобы defer был или не был в зависимости от ситуации.

недостаток defer в том, что он никак не связан лексически и даже логически с тем кодом, который собираются терминировать. и вполне можно сломать уже имеющийся defer, меняя код. то есть нужно особо внимательно менять код. и смотреть есть ли defer’ы(их может быть много в одном блоке) и что они там делают.

Однако, домен .dev вызывает опасения - обычно на нём располагаются сайты веб-макак и их сообществ.

Всё так. Автор этого и многих других добавлений в сишных стандарт – фурри и понитрах (и скорее всего гей и/или трансформер). Вот такие люди нынче пилят стандарт твоего любимого языка.

А ещё он любит Rust.

как оно вообще будет взаимодействовать с goto?

Сходи по ссылке и почитай. Там всё написано.

недостаток defer в том, что он никак не связан лексически и даже логически с тем кодом, который собираются терминировать. и вполне можно сломать уже имеющийся defer, меняя код. то есть нужно особо внимательно менять код. и смотреть есть ли defer’ы(их может быть много в одном блоке) и что они там делают.

Виктор Степаныч, вы что ли?

Виктор Степаныч, вы что ли?

бери выше! я егор моисеич!

в типическом плюсовом raii, я буду файлы открывать как специальный обьект класса навроде LocalFile (который я сам и напишу) то бишь который закроет файл(если тот открыт) по выходу из блока.

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

но с defer такое не прокатит, придется ручками в этих defer закрывать файлы,… и это кончится тем, что однажды это сделать забудут. и начнется страшный, демонический ор о небезопасности си в пользу рустоперделок.

а в плюшечке - все чисто. там raii, как доктор прописал. и можно с гордостью дать пинком под зад расту вашему.

Я уже 10 лет как использую что-то вроде этого, и не парюсь.

Вообще, странный персонаж. Достаточно посмотреть на его мастодроч https://pony.social/@thephd. Любит себя называть ThePhD, хотя, насколько мне известно, никакой степени у него нет.

Я уже 10 лет как использую что-то вродеэтого, и не парюсь.

Это практически scope guard из буста по ссылке выше, только костыльный. Не пиши костыли, возьми Boost.

Вообще, странный персонаж. Достаточно посмотреть на его мастодроч https://pony.social/@thephd. Любит себя называть ThePhD, хотя, насколько мне известно, никакой степени у него нет.

Вообще насрать, что у него там есть. Чувак в одно рыло на мощи чистого аутизма вдалбливает в Сишечку действительно нужные вещи, а не очередное UB в realloc().

Крысиные бега компилируемых языков на тему «что-то нужно делать со скоупом» объявляются открытыми.

Не пиши костыли, возьми Boost.

поправил на - не пиши свои костыли, возьми чужие.

вообще толковейший совет - вместо десятка своих «костыльных» строчек возьми 11 хидеров «правильной реализации». Вбыб бы за такое.

В бусте как раз костыльный. Там надо поддерживать C++03, а мне не надо. Эта бустовская библиотека появилась в 2006 году, но я ещё не разу не видел, чтобы хоть кто-то её использовал. Не секрет, что в бусте половина библиотек вообще никому не нужна. Вот эта - одна из них.

До сишечки, он пытался что-то вдалбливать в С++ и даже в хруст. Из C++ его выперли, и даже для хруста он оказался сильно скандальным.

Это буквально вся суть defer: убрать паровоз

error_free_this:
…
error_free_that:
…
error_free_eh:
…
error:

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

☕ ☕

Ну возможно стоило не defer, а attribute cleanup в стандарт тащить. Это почти полноценный деструктор.

У raii в c++ и помимо необходимости создавать класс куча проблем. Максимально убогая реализация перемещения, раздувающие деструкторами и всякими стражами код shared_ptr, без которого raii становится неюзабельным.

Не пиши костыли, возьми Boost.

... И твой проект можно будет выкинуть на помойку...

похожую штуку добавили недавно в JS

Чё каво?

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

Глупость пишешь. В цпп из коробки нет удобной альтернативы. Чтобы воспользоваться RAII нужно написать класс. Это оверкилл, если нужно сделать что-то мелкое. Поэтому народ клепает эрзац финализаторы.

С точки зрения стандарта С++ defer — это просто незначительный синтаксический сахар поверх RAII, потому в стандарте не нужно. Кроме того, его нужность сильно зависит от стиля программирования. В махровом ООП код устроен так, что необходимости создания дополнительного класса для финализации просто нет, потому что все ресурсы управляются внутри основных классов.

Крысиные бега компилируемых языков на тему «что-то нужно делать со скоупом» объявляются открытыми.

Строго говоря, это имеет мало отношения к компилируемости языка.

См. ключевое слово using, Symbol.dispose и Symbol.asyncDispose

https://simonkoeck.medium.com/typescript-5-2s-using-keyword-managing-resources-with-ease-e0a31efa3eec

Проблема в том, что defer вызывается всегда, а не только в случае ошибки.

Если в error: было только освобождение ресурсов на случай, если до него выполнение не дойдёт из-за ошибки, то всё нормально.

А в Zig помимо defer есть ещё errdefer, код которого выполняется только в том случае, если выход из области видимости происходит из-за ошибки. К сожалению, в сишке такую же штуку заполнить будет сложно, т.к. там нет чётко определённого понятия ошибки.

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

Настолько не нужна, что её уже в STL скопировали и она будет частью следующего стандарта.

Из C++ его выперли, и даже для хруста он оказался сильно скандальным.

Из комитета C++ недавно выперли чувака за то, что он употребил слово «question». Якобы, это у кого-то вызвало ассоциации с холокостом. Там настолько поехавшие шизофреники, что на их фоне даже аутист-понитрах выглядит адекватным.

Да, в сишке придется выдумывать специальную метку «если мы попали сюда, начинай разворачивать errdefer». Но это все уже мертвому припарки, проще Rust или Zig взять.

С другой стороны, errdefer на практике нужен гораздо реже, чем defer, так что при необходимости его можно костылить руками через defer+флаг, а костылить каждый раз руками рутинные штуки (в которых легко допустить ошибку и накосячить) для сишников — дело привычное, они даже этим гордятся!

комитетчики делают что-то полезное

Вангую, что получится как всегда.

Да не, наверно будут делать что-то типа такого

int my_fun(...) {
  bool got_error = false;

  /* poor man's errdefer */
  defer {
    if (got_error) {
      do_error_cleanup()
    }
  }

  /* ... */

  if (something_went_wrong()) {
    got_error = true;

    return -1;
  }

  /* ... */
}

проще Rust или Zig взять

Проще взять кресты. Не обязательно обмазываться шаблонами.

Искренне наслаждаюсь попоболью от Boost у фанатов истенного C++. Хотя, казалось бы, такую срань как C++ бустом уже точно не испортить.

Проще взять кресты

Вообще нет. Я учил людей крестам и Rust, и в случае второго это куда более простой процесс.