Python beginners

18 October 2026 20:33

ну чисто технически программа может работать бесконечно пока ее не прибьют снаружи

Python beginners

18 October 2026 20:32

подожди, там интеррапт код вызывал?

Python beginners

18 October 2026 20:31

JMP компилятор написать не могет

Python beginners

18 October 2026 20:29

разница наверное есть, но как по мне тонкая как между шампанским и игристым вином 🌚

Python beginners

18 October 2026 20:24

а для импл дефайнед получается должны, ну тут разница есть

Python beginners

18 October 2026 20:24

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

Python beginners

18 October 2026 20:23

как то неудобно выходит

Python beginners

18 October 2026 20:23

или это просто классификатор, от которого предлагают плясать разработчикам компилятора?

Python beginners

18 October 2026 20:22

undefined behavior \ unspecified behavior \ impl. defined behavior определяется стандартом

Python beginners

18 October 2026 20:21

и уб определяется по спеке или по документации конкретного компилятора?

Python beginners

18 October 2026 20:20

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

Python beginners

18 October 2026 20:18

но они же и ub могут взять и определить ему поведение

Python beginners

18 October 2026 20:17

а мог изменить поведение кода от одного минорной версии к другой

Python beginners

18 October 2026 20:16

for (int i = 1; i < 100000000000000000; i *= 10)

Вот тебе пример UB где компилятор оптимизирует цикл до while(1)

Python beginners

18 October 2026 20:16

а мог не сгенерировать и выкинуть за ненадобностью

Python beginners

18 October 2026 20:32

походу надо статью читать идти

Python beginners

18 October 2026 20:32

анрол бесконечного лупа...

Python beginners

18 October 2026 20:31

ну это тоже что то из ебанутых случаев. какие выходы из бесконечных циклов

Python beginners

18 October 2026 20:26

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

Python beginners

18 October 2026 20:24

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

Python beginners

18 October 2026 20:23

потому что юзверям с этим жить

Python beginners

18 October 2026 20:23

тогда зачем юзвери этим оперируют

Python beginners

18 October 2026 20:22

ну вот если у нас на руках уб по спеке, его задокументировали в доке компилятора, то это же уже не уб

Python beginners

18 October 2026 20:21

в случае с impl. defined мы можем предположить основываясь на документации каким будет поведение программы в результате.
в случае с UB мы можем определить только эмпирически.

Python beginners

18 October 2026 20:21

как определить что перед тобой, если не дали спеку в руки?

Python beginners

18 October 2026 20:18

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

Python beginners

18 October 2026 20:17

impl. defined — говорит о том что авторы компилятора сами выбирают и гарантируют определенное поведение

Python beginners

18 October 2026 20:16

а имплементейшн дефайнед не может сказать "выкинем"?

Python beginners

18 October 2026 20:16

Он и для валидного кода это может

Python beginners

18 October 2026 20:15

/channel/ru_python_beginners/3317949