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

🌝Всем привет. Меня вот интересует вопрос. Вот есть код. #include <iostream> #include <climits> int

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)

4 ответов

13 просмотров

Потому что они хотят, например, иметь возможность хранить int в типе шире, чем int, когда он используется для индексации массива

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

Ilya Zviagin
Интересная логика у тебя... Ты текст стандарта пов...

с 20 стандарта представление регламентировано (дополнение до двух), причем в черновике сишного стандарта тоже

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

Обсуждают сегодня

30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
Вот еще странный косяк, подскажите как бороться. Я git clone сделал себе всего embassy и примеры там запускаю. Всё хорошо. Но вот решил в cargo.toml зависимости не как в приме...
Lukutin R2AJP
5
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
Карта сайта