Сообщение Re[114]: Че ты лыбишься, хам трамвайный? от 23.08.2023 13:13
Изменено 23.08.2023 13:13 σ
Re[114]: Че ты лыбишься, хам трамвайный?
R>>>Если "возникнет", значит "not constructed according" — все просто.
σ>>Притащи constructed-level правило, по которому программа должна быть такой, чтобы ни для каких входных данных не могло "возникнуть" UB [во время выполнения].
R>Правила соблюдаются только тогда, когда они соблюдаются всегда. Если правила иногда соблюдаются, а иногда нет, то это просто правила не соблюдаются. Опять все просто.
Правила есть разные, и последствия от их нарушения тоже разные. Какие-то нарушения делают программу ill-formed, какие-то — не делают.
Короче. Чтобы долго воду в ступе не толочь (я знаю, ты любишь).
Я думаю, я знаю что в твоей склерозной кочерыжке с чем смешалось.
В C есть понятие strictly confirming program:
> A strictly conforming program shall use only those features of the language and library specified in this International Standard. It shall not produce output dependent on any unspecified, undefined, or implementation-defined behavior, and shall not exceed any minimum implementation limit.
Предполагаю, ты это где-то когда-то видел, и чёт там такое запомнил про отсутствие UB для любого возможного input, чтобы программа считалась «очень хорошей», но…
Ток вот C++ — не C. В нём нет ни понятия «strictly conforming program», ни правила, что [для того, чтобы быть well-formed] в программе не должно возникать UB [во время выполнения] ни для какого возможного input.
σ>>Притащи constructed-level правило, по которому программа должна быть такой, чтобы ни для каких входных данных не могло "возникнуть" UB [во время выполнения].
R>Правила соблюдаются только тогда, когда они соблюдаются всегда. Если правила иногда соблюдаются, а иногда нет, то это просто правила не соблюдаются. Опять все просто.
Правила есть разные, и последствия от их нарушения тоже разные. Какие-то нарушения делают программу ill-formed, какие-то — не делают.
Короче. Чтобы долго воду в ступе не толочь (я знаю, ты любишь).
Я думаю, я знаю что в твоей склерозной кочерыжке с чем смешалось.
В C есть понятие strictly confirming program:
> A strictly conforming program shall use only those features of the language and library specified in this International Standard. It shall not produce output dependent on any unspecified, undefined, or implementation-defined behavior, and shall not exceed any minimum implementation limit.
Предполагаю, ты это где-то когда-то видел, и чёт там такое запомнил про отсутствие UB для любого возможного input, чтобы программа считалась «очень хорошей», но…
Ток вот C++ — не C. В нём нет ни понятия «strictly conforming program», ни правила, что [для того, чтобы быть well-formed] в программе не должно возникать UB [во время выполнения] ни для какого возможного input.
Re[114]: Че ты лыбишься, хам трамвайный?
R>>>Если "возникнет", значит "not constructed according" — все просто.
σ>>Притащи constructed-level правило, по которому программа должна быть такой, чтобы ни для каких входных данных не могло "возникнуть" UB [во время выполнения].
R>Правила соблюдаются только тогда, когда они соблюдаются всегда. Если правила иногда соблюдаются, а иногда нет, то это просто правила не соблюдаются. Опять все просто.
Правила есть разные, и последствия от их нарушения тоже разные. Какие-то нарушения делают программу ill-formed, какие-то — не делают.
Короче. Чтобы долго воду в ступе не толочь (как ты любишь).
Я думаю, я знаю что в твоей склерозной кочерыжке с чем смешалось.
В C есть понятие strictly confirming program:
> A strictly conforming program shall use only those features of the language and library specified in this International Standard. It shall not produce output dependent on any unspecified, undefined, or implementation-defined behavior, and shall not exceed any minimum implementation limit.
Предполагаю, ты это где-то когда-то видел, и чёт там такое запомнил про отсутствие UB для любого возможного input, чтобы программа считалась «очень хорошей», но…
Ток вот C++ — не C. В нём нет ни понятия «strictly conforming program», ни правила, что [для того, чтобы быть well-formed] в программе не должно возникать UB [во время выполнения] ни для какого возможного input.
σ>>Притащи constructed-level правило, по которому программа должна быть такой, чтобы ни для каких входных данных не могло "возникнуть" UB [во время выполнения].
R>Правила соблюдаются только тогда, когда они соблюдаются всегда. Если правила иногда соблюдаются, а иногда нет, то это просто правила не соблюдаются. Опять все просто.
Правила есть разные, и последствия от их нарушения тоже разные. Какие-то нарушения делают программу ill-formed, какие-то — не делают.
Короче. Чтобы долго воду в ступе не толочь (как ты любишь).
Я думаю, я знаю что в твоей склерозной кочерыжке с чем смешалось.
В C есть понятие strictly confirming program:
> A strictly conforming program shall use only those features of the language and library specified in this International Standard. It shall not produce output dependent on any unspecified, undefined, or implementation-defined behavior, and shall not exceed any minimum implementation limit.
Предполагаю, ты это где-то когда-то видел, и чёт там такое запомнил про отсутствие UB для любого возможного input, чтобы программа считалась «очень хорошей», но…
Ток вот C++ — не C. В нём нет ни понятия «strictly conforming program», ни правила, что [для того, чтобы быть well-formed] в программе не должно возникать UB [во время выполнения] ни для какого возможного input.