Обычно я могу понять причину предупреждения компилятора, но это кажется совершенно неправильным.
#include <stdint.h>
uint8_t myfunc(uint8_t x,uint8_t y)
{
x |= y;
return x;
}
Компилятор Intel с -Wall жалуется:
conversion from "int" to "uint8_t={unsigned char}" may lose significant bits
x |= y;
^
Это правильно? Является ли приведенный выше код непереносимым и нестандартным?
Это integer promotions на работе.
in
x |= y;
оба операнда оператора | повышаются до int
x = (int)x | (int)y;
затем результат преобразуется обратно в uint8_t с потерей точности.
int или unsigned int в uint8_t потенциально может привести к потере битов. Признание того, что нет никаких существенных битов, которые можно было бы потерять, было бы слишком большой проблемой для автора компилятора с очень небольшим выигрышем.
- person Mark Ransom; 03.05.2011
x|y используется в switch (x|y), вам определенно нужно знать, что x|y находится в диапазоне 0-255, чтобы использовать таблицу переходов без дополнительное условие для проверки диапазона...
- person R.. GitHub STOP HELPING ICE; 03.05.2011
|, ^, &) не увеличивают диапазон значения, и поэтому uint8_t | uint8_t обязательно вписывается в uint8_t. Похоже, они отложили этот анализ на потом (после продвижения типа) и не учли этого... Я, конечно, тоже поддержал бы любую форму облегченного анализа диапазонов, но это гораздо сложнее :)
- person Matthieu M.; 03.05.2011
%, / и >> и, конечно же, обратите внимание, что все логические операторы имеют 1-битный диапазон. (В настоящее время он выдает предупреждение для uint8_t x = !foo;??)
- person R.. GitHub STOP HELPING ICE; 03.05.2011
x = (int)x | (int)y;. На самом деле компилятор Intel делает это как x = x | (int)y;.
- person osgx; 28.08.2011
Это верно. Оператор повышает аргумент(ы) до int. Подробнее см. на этой странице. Первое предложение начинается :
C не выполняет никаких арифметических операций с точностью меньше, чем int [...]
Значения x и y повышаются до int для вычислений, но предупреждение, тем не менее, является поддельным. Оператор | не может увеличить ширину результата в битах сверх ширины операндов, которые уже подходят для uint8_t, поскольку они были повышены с uint8_t. Подавляющее большинство вещей, которые помечает этот параметр предупреждения, являются полностью действительным и правильным кодом, и если вы не хотите тратить свое время на 100 подобных вопросов, я думаю, что лучше отключить или игнорировать эти предупреждения.
unsigned char при выполнении операций signed int.
- person AJG85; 03.05.2011
int для аргументов и возвращаемого значения, предупреждения в функции исчезли бы, но когда вы назначили его обратно в uint8_t, предупреждение снова появилось бы в этот момент... Я действительно не вижу никакого способа вокруг него, когда используются маленькие шрифты.
- person R.. GitHub STOP HELPING ICE; 03.05.2011
Предупреждение компилятора может показаться бессмысленным, потому что операция не может производить более 8 бит, но это всего лишь подмножество более крупного класса операций, которые могут. Например, если вы заменили |= на +=, возможность переполнения становится вполне реальной.
Способ устранить предупреждение — сообщить компилятору, что вы сознательно отбрасываете биты с помощью приведения:
x = (uint8_t)(x | y);
