Как я могу исправить предупреждения типа "сравнение между подписанным и неподписанным"?

Мне рекомендуется использовать следующие опции с GCC, так как это помогает избежать множества распространенных ошибок. Он включает кучу предупреждений и -Werror превращает их в ошибки.

gcc -pedantic -W -Wall -Wextra -Wshadow -Wstrict-overflow=5 -Wwrite-strings -std=c99 -Werror

Учитывая следующий тестовый код:

#include <stdio.h>

int main(void)
{
    int arr[8]={0,10,20,30,40,50,60,70};
    int x;

    printf("sizeof(arr): %d\n", sizeof(arr));
    printf("sizeof(int): %d\n", sizeof(int));

    for(x = 0; x < sizeof(arr)/sizeof(int); x++)
    {
        printf("%d\n",arr[x]);
    }

    return 0;
}

Я получаю это:

test.c:11: error: comparison between signed and unsigned

Я знаю, что один из способов исправить это - отключить предупреждения, но они не заставили меня использовать эти настройки, чтобы отключить их в конце.

Другой способ - передать материал, но мне сказали, что кастинг устарел.

Кроме того, я мог бы сделать x в unsigned int:

unsigned x;

Но это не решает общую проблему, когда мне приходится сравнивать знаковые значения с неподписанными значениями, используя эти параметры компилятора. Есть ли более чистый способ вместо кастинга?

Ответ 1

Это действительно зависит от типа данных. Этого можно избежать, неявным образом приведя значения к типу, который содержит надмножество всех значений, доступных в подписанном и неподписанном типе. Например, вы можете использовать 64-битное значение знака для сравнения 32-битного знака и знакового 32-битного значения.

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

Если вы должны бросить, подумайте, что вы можете вызвать переполнение и подумать, важно ли это для вашего приложения или нет.

Ответ 2

Заменить

int x;
/* ... */
for(x=0;x<sizeof(arr) / sizeof(int);x++)

по

for(size_t x=0;x<sizeof(arr) / sizeof(int);x++)

Но это не решает общую проблему, когда мне приходится сравнивать знаковые значения с неподписанными значениями, используя эти параметры компилятора. Есть ли более чистый способ каста?

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

Ответ 3

Суть в том, что сравнение значений под знаком и без знака допускает некоторые странные случаи. Рассмотрим, например, то, что происходит в длину без знакового массива, больше, чем максимум, который может быть представлен подписанным int. Подписанный счетчик переполнения (оставшийся "меньше" размера массива), и вы начинаете обращаться к памяти, которую вы не хотели...

Компилятор генерирует предупреждение, чтобы убедиться, что вы о них думаете. Использование -Werror способствует предупреждению об ошибке и остановке компиляции.

Будьте предельно осторожны в выборе соответствия вашим типам или отбросите проблему, если вы уверены, что она не применяется, или избавиться от -Werror и сделать ее политикой для устранения всех предупреждений с помощью исправления или объяснение...

Ответ 4

одним из вариантов будет дополнительный флаг "-Wno-sign-compare":)

Ответ 5

Одним из способов решения проблемы было бы выборочно отключить это предупреждение в этом специальном случае. GCC игнорирует диагностику pragma "-Wsomething"

// Disable a warning for a block of code:
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wmissing-prototypes"
// ... Some code where the specified warning should be suppressed ...
#pragma GCC diagnostic pop

Последние версии GCC (на самом деле я не уверен, с тех пор, когда 4.8.x должен его поддерживать) покажите соответствующую опцию -Wsomething. Это важно, поскольку большинство параметров предупреждения не заданы явно, а en bloc с такими параметрами, как -Wall. Сообщение об ошибке будет выглядеть так:

readers.c: In function ‘buffered_fullread’:
readers.c:864:11: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
    if(got < sizeof(readbuf)) /* That naturally catches got == 0, too. */

Часть [-Werror = sign-compare] сообщает вам. Вы можете использовать "Wsign-compare" для "Wsomething" для подавления предупреждения.

И, конечно же, вы должны делать это только там, где это уместно (это не совсем помогает читаемости), например. когда требуется точное поведение, о котором предупреждает компилятор (или, если вы не можете вводить большие изменения в базе кода).

Ответ 6

test.c:11: error: comparison between signed and unsigned

Вы можете объявить x как unsigned int, так как size_t не имеет знака

ИЗМЕНИТЬ:

Если вы не хотите бросать и не хотите объявлять его как unsigned, я не думаю, что там что-то делать.

Возможно, побитовые операции - это способ его решения, удаляя бит знака. Я должен сказать, что ИМО очень сомнительна.

Ответ 7

Мы подавляем это предупреждение в наших компиляторах Visual Studio, поскольку это происходит много и почти никогда не означает ничего значительного. Конечно, не все стандарты кодирования позволяют это.

Вы можете согласовать типы (объявляя переменные как size_t или unsigned int вместо int, например), или вы можете использовать, или вы можете изменить свою линию компиляции. Что об этом.

Ответ 8

Независимо от дилеммы устаревания литья, я все же предлагаю отделить логику от цикла for.

int range = (int)(sizeof(arr) / sizeof(int));
int x;

for(x = 0; x < range; x++)
{
    printf("%d\n", arr[x]);
}

Хотя это использует литье, которое, как вы сказали, устарело, оно очищает место, где происходит кастинг. В общем, я советую не вводить много логики в ваши объявления цикла for. Особенно в вашем случае, когда вы используете разделение size_t, которое (поскольку это целочисленное деление) может иметь возможность усечения ответа. Объявление цикла цикла должно быть чистым и не должно генерировать ошибок. Ваше кастинг происходит в другом месте, что означает, что если вы хотите изменить способ создания диапазона, вам не нужно гадать, чтобы сделать объявление объявления еще длиннее.