Ну тоесть например более хитрый пример ``` int a; if (argv[1] == 5)

Question

pro.cxx

И Ivan

Ну тоесть например более хитрый пример ``` int a; if (argv[1] == 5)

{
a = 5;
}
if (argv[2] == 5) {
read(a);
}
```
В случае, если argv[1] и argv[2] содержат одинаковые значения - это ub?

#c++ #embedded #programming #russian

0

16.11.2021

9 ответов

10 просмотров

Ofee Oficsu

UB — это иногда свойство рантайма. Если вы каким-то образом сумеете гарантировать, что argv[1] и argv[2] связаны (например, ввод каждого пользователя контролирует специально приставленный охранник), то здесь нет неопределённого поведения. Если вы такой гарантии дать не можете... Что ж, в языке нет такого понятия, как "произойдёт UB", оно либо есть, либо нет и если строгих гарантий вы дать не можете — оно есть

0

16.11.2021

И Ivan Автор вопроса

Ofee Oficsu
UB — это иногда свойство рантайма. Если вы каким-т...

Вот и интересно, конкретно в этом случае есть ub или нет

0

16.11.2021

Kirill Bolshakov

Ofee Oficsu
UB — это иногда свойство рантайма. Если вы каким-т...

даже без строгих гарантий нам может просто везти и argv[1] всегда равен argv[2], без всякого охранника

0

16.11.2021

Ofee Oficsu

Ofee Oficsu
UB — это иногда свойство рантайма. Если вы каким-т...

Компилятор же в вашем случае имеет право считать, что они связаны. Ведь если они не связаны — случилось бы UB. А UB не бывает в программах на C++. Значит, связаны

0

16.11.2021

Kelbon

Kirill Bolshakov
даже без строгих гарантий нам может просто везти и...

когда тебе везёт и поэтому оно работает это и есть уб ))

0

16.11.2021

Ofee Oficsu

Kirill Bolshakov
даже без строгих гарантий нам может просто везти и...

Если хотя бы один раз не повезёт — то UB был, и будет, всегда, и сейчас, и после, и, главное, до. Так уж вышло, что они ретроактивны, согласно стандарту

0

16.11.2021

Kirill Bolshakov

Ofee Oficsu
Если хотя бы один раз не повезёт — то UB был, и бу...

А вот вопрос тогда будет ли влияние на другие запуски с правильным инпутом? Кажется UB в рамках одного запуска только влияет на другой код

0

16.11.2021

Ofee Oficsu

Kirill Bolshakov
А вот вопрос тогда будет ли влияние на другие запу...

Полагаю, что с моей трактовкой стандарта, хорошая, валидная C++ программа может перестать быть таковой в рантайме однажды и навсегда, включая путешествие в прошлое, если гарантии были нарушены

0

16.11.2021

Kirill Bolshakov · Accepted Answer

Kirill Bolshakov

нет

0

16.11.2021

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

Ну тоесть например более хитрый пример ``` int a; if (argv[1] == 5)

9 ответов

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