Ограниченный набор типов данных
Когда я компилирую этот фрагмент кода в GCC:
uint8_t *reg = ..., newflags = ...;
...
if (*reg == (~(uint8_t)0))
{
newflags |= (1<<2);
newflags |= (1<<7);
}
Я получаю это предупреждение:
warning: comparison is always false due to limited range of data type [-Wtype-limits]
reg и newflags являются типами uint8_t * и uint8_t соответственно.
Что это значит? И что мне делать, чтобы это исправить?
Ответы 1
~(uint8_t)0 должно быть (uint8_t)~0. Операнд для ~, как и для других арифметических операторов, будет расширен до int (или до unsigned int, если не все значения исходного типа представимы в int), а int0 со всеми инвертированными битами выходит за пределы диапазона uint8_t, за исключением случаев, когда реализация поддерживает отрицательные нули... Цитируя предыдущую версию священная книга, 6.5.3.3p4:
- The result of the
~operator is the bitwise complement of its (promoted) operand (that is, each bit in the result is set if and only if the corresponding bit in the converted operand is not set). The integer promotions are performed on the operand, and the result has the promoted type. If the promoted type is an unsigned type, the expression~Eis equivalent to the maximum value representable in that type minusE.
Для максимальной совместимости вы должны использовать 0U вместо 0, чтобы гарантировать, что значение повышается до unsigned int вместо int, но весьма вероятно, что ваш компьютер является компьютером с дополнением до 2, особенно с типами с фиксированной шириной, такими как uint8_t, и поведение (uint8_t)~0 будет эквивалентно (uint8_t)~0U (может отличаться в дополнении до 1 или в знаке и величине!).