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 ответов

12 просмотров

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

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

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

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

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

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

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Мужики. привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных элементов...
Kraszx
2
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Всем привет! Кто пользуется DevExpress, подскажите пожалуйста, реализован ли в TcxGrid в новых версиях поиск по датам как в Экселе (ну т.е. не просто список чекбоксов со значе...
A Z
4
Карта сайта