Макрос вычисления битовой маски

Question

У нас есть набор макросов C, здесь, для использования препроцессора для выполнения операций с битовыми полями, и мы сталкиваемся с предупреждениями при попытке использовать эти макросы в визуальной студии. Проблема может быть продемонстрировано очень легко:

#define BITFIELD_WIDTHMASK(Width) \ 
    ((Width) >= 32 ? ~0x0ul : (1ul << (Width)) - 1) 

unsigned long foo(void) 
{ 
    return BITFIELD_WIDTHMASK(32); 
} 

Компиляция это с MSVC дает предупреждение:

test.c(12) : warning C4293: '<<' : shift count negative or too big, undefined behavior 

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

Заранее спасибо

Answer 1

насчет:

#define BITFIELD_WIDTHMASK(Width) \ 
    ((Width) >= 32 ? ~0x0ul : (1ul << (Width % 32)) - 1) 

?

Answer 2

#define BITFIELD_WIDTHMASK(Width) (((0x80000000ul >> (32-Width)) << 1) - 1) 

Или обрабатывать ширину 0, а также просили ...

#define BITFIELD_WIDTHMASK(Width) \ 
    ((Width) >= 32 \ 
    ? ~0x0ul \ 
    : (((1ul << ((Width)/2)) << ((Width)/2)) << ((Width)&1)) - 1) 

Answer 3

Препроцессора не компилятор вычисляет выражение, когда ширина является буквальным постоянной, и слишком глупо не оценивать обе стороны в выражении?:. Я думаю, потому что он не обрабатывает его вообще, а скорее вставляет выражение?: С постоянными операндами!

Если ширина ноль не требуется, следующее упрощение, которое работает на 1 до 32:

#define BITFIELD_WIDTHMASK(Width) (~0ul >> (32-(Width))) 

Мне кажется, что если вы знаете, ширина равна нулю, (возможно отключить функция), которая неявна, если вы используете константу с нулевым значением, было бы разумно просто использовать нуль, а не ссылаться на макрос.