Что означает предупреждение " comparison between signed and unsigned integer expressions"

@Terminator004 · Регистрация: 14.09.2016

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

Я написал вот такую строчку:

C++
1
2
3
4
for(int i=0; i < stringas.size();i++){
    cout << " [" << stringas[i] << "] ";
 }
 cout << endl;

И мне пишет: warning: comparison between signed and unsigned integer expressions.

Ну я дописал тогда unsigned int:

C++
1
2
3
4
for(unsigned  int i=0; i < stringas.size();i++){
    cout << " [" << stringas[i] << "] ";
 }
 cout << endl;

И Warning пропал. Почему он появился и что это всё значит? Зачем тот unsigned?

@Lambont · 03.02.2018, 01:39

Потому что stringas.size() возвратит значение типа size_t, которое является беззнаковым (unsigned) целым числом, потом вы это число сравниваете с переменной i, которая если является знаковой (signed), то требует сужающего преобразования.

В общем, очень просто говоря, в случае знаковым i, он может иметь отрицательное значение в отличии от типа size_t, что в свою очередь, если это так, то там будет очень большое число при сравнении, и скорей всего дальше будет UB.

@alex white · 03.02.2018, 01:41

Terminator004, размер контейнеров принято задавать беззнаковым числом. Сравнение знаковых и беззнаковых чисел может быть подверженым ошибкам, в силу правил преобразования, ему предшествующему. Выбирается максимальный по вместимости тип из двух, а при равенстве размера - беззнаковый. Поэтому, к примеру, сравнение -1 < 4u вернёт false, т.к. -1 преобразуется (поменяется интерпретация его двоичного кода) в максимальное значение типа unsigned.
А вообще, для размеров, индексов массивов, существует тип size_t, который является синонимом одного из беззнаковых целочисленных типов, в соответствии с реализацией языка.

@NekoDev · 06.11.2020, 01:16

Вы испоьлуете

C++
1
int переменная

,а надо

C++
1
unsigned int переменная

Новые блоги и статьи Все статьи Все блоги /
Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .
Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .

@Lambont 93 / 91 / 62 Регистрация: 23.11.2013 Сообщений: 242
	03.02.2018, 01:39
	Потому что `stringas.size()` возвратит значение типа `size_t`, которое является беззнаковым (unsigned) целым числом, потом вы это число сравниваете с переменной `i`, которая если является знаковой (signed), то требует сужающего преобразования. В общем, очень просто говоря, в случае знаковым `i`, он может иметь отрицательное значение в отличии от типа `size_t`, что в свою очередь, если это так, то там будет очень большое число при сравнении, и скорей всего дальше будет UB. 1

@alex white 277 / 226 / 93 Регистрация: 27.06.2016 Сообщений: 639
	03.02.2018, 01:41
	Terminator004, размер контейнеров принято задавать беззнаковым числом. Сравнение знаковых и беззнаковых чисел может быть подверженым ошибкам, в силу правил преобразования, ему предшествующему. Выбирается максимальный по вместимости тип из двух, а при равенстве размера - беззнаковый. Поэтому, к примеру, сравнение -1 < 4u вернёт false, т.к. -1 преобразуется (поменяется интерпретация его двоичного кода) в максимальное значение типа unsigned. А вообще, для размеров, индексов массивов, существует тип size_t, который является синонимом одного из беззнаковых целочисленных типов, в соответствии с реализацией языка. 1