warning: signed and unsigned type in conditional expression Опции

[fox1]

Добрый день !

Есть такое выражение:

char * s1;

px->n1 = px->prec < 0 ? strlen(px->s)
: (s1 = (char *)memchr((void *)px->s, '\0',
px->prec)) != 0 ? s1 - px->s : px->prec;

px->s это char *

Ругается

warning: signed and unsigned type in conditional expression

на строку : px->prec)) != 0 ? s1 - px->s : px->prec;

Где ошибка ????

[demiurg_spb]

попробуйте так:

Код

(xxx != 0U) ? ... : ...;

У Вас в настройках компилятора, видимо, задано трактовать char как unsigned char.

[sonycman]

попробуйте так:

Код

(xxx != 0U) ? ... : ...;

У Вас в настройках компилятора, видимо, задано трактовать char как unsigned char.

А не всё ли равно, знаковое число или нет, при сравнении с нулём?

[demiurg_spb]

Варнинг выдаётся независимо от того ноль там или что-либо иное.
Главное, чтобы левая и правая части условия были одного теста (оба со знаком или оба без знака).
А так для неотрицательных чисел со знаком в дополнительном коде код совпадает с числами без знака.

[sonycman]

Варнинг выдаётся независимо от того ноль там или что-либо иное.
Главное, чтобы левая и правая части условия были одного теста (оба со знаком или оба без знака).

Глупости какие. Это что за компилятор такие предупреждения выдаёт?
Real View 4.01 никаких проблем в таких записях не видит, потому как при сравнении с нулём их там быть не может.

[demiurg_spb]

Это не глупости. Всё зависит от уровня выдачи варнинга. Задаётся ключами для ЛЮБОГО нормального компилятора.
gcc warning options:

Код

-Wsign-compare
    Warn when a comparison between signed and unsigned values could produce an incorrect result when the signed value is converted to unsigned. This warning is also enabled by -Wextra; to get the other warnings of -Wextra without this warning, use `-Wextra -Wno-sign-compare'.

[sonycman]

Это не глупости. Это зависит от уровня выдачи варнинга. Задаётся ключами для ЛЮБОГО компилятора.

В настройках стоит All Warnings.
И, тем не менее, компилируя unsigned char != 0 никаких предупреждений не выдаётся.

Вы сами подумайте, зачем в данном случае необходимо предупреждение?
Совершенно нормальная запись.

А вот такое - 0U - выглядит довольно странно. Разве нуль может иметь знак?

Warn when a comparison between signed and unsigned values could produce an incorrect result

Ну и как при сравнении целого числа (со знаком или без) на равенство нулю можно получить неверный результат?

[_Bill]

В настройках стоит All Warnings.
И, тем не менее, компилируя unsigned char != 0 никаких предупреждений не выдаётся.

Вы сами подумайте, зачем в данном случае необходимо предупреждение?
Совершенно нормальная запись.

А вот такое - 0U - выглядит довольно странно. Разве нуль может иметь знак?

Ну и как при сравнении целого числа (со знаком или без) на равенство нулю можно получить неверный результат?

Сравнение с нулем для чисел без знака может не быть корректным в ряде случаев, например x<0, где x - данные без знака (unsigned). В таких случаях компилятор выдает предупреждение. Когда выполняется проверка на == / !=, то все выполняется корректно. То же самое относится и к сравнению чисел со знаком и без оного. Например, условие x <= -1 есть "Истина" (true), если x имеет тип unsigned.

[sonycman]

Сравнение с нулем для чисел без знака может не быть корректным в ряде случаев, например x<0, где x - данные без знака (unsigned).

Конечно. В таком случае компилятор обязательно выдаст предупреждение, а то и ошибку.

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

[_Bill]

Конечно. В таком случае компилятор обязательно выдаст предупреждение, а то и ошибку.

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

Ну, да. Проверка на равенство/неравенство всегда будет выполняться корректно.