f(int a){
return a+1;
}
unsigned int g(unsigned int a){
return a+1;
}
int main() {
std::cout << (INT_MAX) << std::endl; // 2147483647
std::cout << f(INT_MAX) << std::endl; // -2147483648 // UB
std::cout << (UINT_MAX) << std::endl; // 4294967295
std::cout << g(UINT_MAX) << std::endl; // 0 // not UB
}
В ассемблерном коде f и g одинаковые, ну то есть в машинном коде они точно делают одно и тоже.
Но почему в f UB, а в g нет UB?
Ну что "так написано в стандарте" - я понимаю... Но почему они так написали? какая у них на это была причина?
Мол ведь можно представить что int это точно такая же зацикленная сущность (как и unsigned int), где после INT_MAX идёт INT_MIN - вполне себе определённое поведение (как и когда после UINT_MAX идёт 0)
Потому что они хотят, например, иметь возможность хранить int в типе шире, чем int, когда он используется для индексации массива
Интересная логика у тебя... Ты текст стандарта поверяешь нестандартным машинным кодом? Именно потому это и UB, что стандарт не регламентирует генерируемый машинный код, и не регламентирует машинное представление знаковых целых в отрицательной части значений. UB это просто конец области действия стандарта. Тут мы гарантируем проведение и описываем его ,а дальше - не можем, дальше - UB
с 20 стандарта представление регламентировано (дополнение до двух), причем в черновике сишного стандарта тоже
Обсуждают сегодня