Сравнение знаковых и беззнаковых чисел

@yekka · Регистрация: 12.05.2011

Студворк — интернет-сервис помощи студентам

Возьмем пример:

C++
1
2
3
4
5
6
7
8
#include <stdio.h>
 
int main() {
  if ( 1U > -1 ) 
    printf("1 > -1");
  else
    printf("1 <= -1\n");
}

Как бы абсурдно это не выглядело, но результатом выполнения этой программы будет строка "1 <= -1".
Насколько я понимаю, -1 в памяти хранится как FF FF FF FF и если интерпретировать такую последовательность битов как беззнаковое число, то оно, естественно, будет больше единицы. Но если убрать из этого примера буковку 'U', то последовательности сравниваемых битов останутся совершенно теми же, но получим теперь уже "верный" результат "1 > -1", так как числа будут интерпретироваться с учетом знака.

И вот что мне совершенно непонятно, так это почему в языке выбрано именно такое неочевидное и провоцирующее ошибки поведение при сравнении знаковых и беззнаковых целых чисел?

@Mr.X · 16.12.2011, 22:22

Ну, здесь производится арифметическое преобразование типов, согласно которому операнд "меньшего" типа приводится к типу операнда "большего" типа. В иерархии типов "большим" считается тот тип, который может представить большее положительное значение.

@yekka · 17.12.2011, 09:38 **[ТС]**

Сообщение от Mr.X

Ну, здесь производится арифметическое преобразование типов, согласно которому операнд "меньшего" типа приводится к типу операнда "большего" типа. В иерархии типов "большим" считается тот тип, который может представить большее положительное значение.

Хм. Действительно, если отрицательное число будет "большего" типа, то результат получается "правильный".

C++
1
2
3
4
5
6
7
8
9
#include <stdio.h>
#include <stdint.h>
 
int main() {
  if ( (uint32_t) 1 > (int64_t) -1 ) 
    printf("1 > -1\n");
  else
    printf("1 <= -1\n");
}

А то, что отрицательные числа так топорно кастуются в беззнаковые -- это типа фича языка си.

go · 17.12.2011, 11:05

Сообщение от yekka

Насколько я понимаю, -1 в памяти хранится как FF FF FF FF

Да, так и есть. Но при сравнении все привелось к "большему" типу. Т.е. к беззнаковому, и теперь представте, что превый бит трактуется не как знак, а как число...

Новые блоги и статьи Все статьи Все блоги /
Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .	Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .
Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизитов табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/

@Mr.X 3225 / 1752 / 436 Регистрация: 03.05.2010 Сообщений: 3,867
	16.12.2011, 22:22
	Ну, здесь производится арифметическое преобразование типов, согласно которому операнд "меньшего" типа приводится к типу операнда "большего" типа. В иерархии типов "большим" считается тот тип, который может представить большее положительное значение. 2