Как переопределить интегральное правило для перечисления?

Question

Это тесно связано с Are C++ enums signed or unsigned?. Согласно ответу JavaMan, enum не является ни signed, ни unsigned. Но он соответствует целым правилам продвижения.

Я работаю с библиотекой, которая использует enums и затем передает их на другие объекты класса, которые ожидают в основном unsigned типов (как unsigned int и size_t). Включение предупреждения -Wsign-conversion в попытке поймать законные ошибки вызывает количество ложных срабатываний из-за правил языка.

Тип правила создает ситуацию, когда ее трудно обеспечить безопасность типа и уловить распространенные ошибки. Это сложно, потому что я хочу избегать таких вещей, как static_cast.

Есть ли способ переопределить поведение по умолчанию для продвижения enums на бетон signed или unsigned? (Аналогично тому, как вы можете указать char, подписан или без знака).

---

См. Также: библиотека была написана в 1990-х годах, поэтому она поддерживает множество старых компиляторов. Было бы замечательно, если бы решение касалось даже C++ 03 и, возможно, раньше.

От How to guard move constructors for C++03 and C++11?, я знаю, что на практике нет надежного способа определить, когда действуют другие варианты языка C++. Он упал на лицо во время тестирования с помощью Clang 3.5, используя -std=c++03 и -std=c++11.

Answer 1

Вы можете свернуть свои собственный enum class:

struct safe_enum { 
    enum type { 
     value1, value2, value3 
    }; 
    type value; 

    operator unsigned int() 
     { return value; } 
}; 

safe_enum foo = safe_enum::value1; 
unsigned bar = safe_enum::value2; 

К сожалению, это теряет «незаданное» поведение C++ 03 перечислений, так что лучше всего практика шаблон сломается кодовый. Кроме того, изменение enum на class приведет к поломке ABI, если оно было отправлено как DLL.

Answer 2

Подкатегорий перечисления C++ 03 зависит от диапазона значений его счетчиков, и он продвигается к его базовому типу, а не int (C++ 98 [conv.prom] §4.5/2).

Грязный способ заставить перечисление вести себя как unsigned int - это добавить значение, которое может обрабатывать только unsigned int.

enum things { 
    a, b, c, 
    force_unsigned = -1U 
}; 

Демо: http://coliru.stacked-crooked.com/a/d3ded108fb5a68bf