Как избежать интегрального продвижения для поразрядных операций

Question

Я этажном что VisualStudio 2015 настаивает на содействие WORD (unsigned short) к unsigned int когда только WORD значениям участвует только в битовых манипуляциях. (т. е. продвигает 16 бит до 32 бит при выполнении 16 бит | 16 бит).

например.

// where WORD is a 'unsigned short' 
const WORD kFlag = 1; 
WORD old = 2; 
auto value = old | kFlag; // why the blazes is value an unsigned int (32 bits) 

Кроме того, есть ли способ, чтобы получить 0x86 для WORD|WORD встроенных функций? Я, конечно же, не хочу платить (16-> 32 | 16 ->) -> 16. Также этот код не должен потреблять больше, чем несколько 16-разрядных регистров, а не несколько 32-битных регистров.

Но использование реестра действительно просто в стороне. Оптимизатор может делать все, что угодно, если результаты для меня неотличимы. (т. е. он не должен изменять размер видимым образом).

Основная проблема для меня в том, что использование флагов | kFlagValue приводит к более широкой сущности, а затем перекачивание этого в шаблон дает мне ошибку несоответствия типа (шаблон довольно длинный, чем я хочу здесь, но точка - это два аргумента, и они должны совпадать по типу или быть тривиально конвертируемыми, но не из-за этого автоматического правила увеличения размера).

Если бы я имел доступ к «консервативной обработки битов набора функций», то я мог бы использовать:

 flag non-promoting-bit-operator kFlagValue 

Для достижения своих целей.

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

В этом случае C++ не следует продвигать. Это был плохой выбор языка.

Answer 1

Почему именно value повышен для большей категории? Поскольку спецификация языка говорит, что это (16-разрядный unsigned short будет преобразован в 32-разрядный int). 16-разрядные операционные системы на x86 фактически налагают штраф за соответствующие 32-битные (из-за кода префикса), поэтому 32-разрядная версия может работать быстрее.