Я получаю много предупреждений о коммутаторах, которые только частично покрывают диапазон перечислимого перечисления. Поэтому я хотел бы иметь "по умолчанию" для всех этих коммутаторов и поставить в этом случае __builtin_unreachable (GCC builtin), чтобы компилятор знал, что этот случай недоступен.
Однако я узнал, что GCC4.3 еще не поддерживает эту встроенную систему. Есть ли хороший способ подражать этой функциональности? Я думал о разыменовании нулевого указателя, но это может иметь другие нежелательные эффекты/предупреждения и т.д. У вас есть идея?
Хмм, что-то вроде (поскольку __builtin_unreachable() появился в 4.5):
#define GCC_VERSION (__GNUC__ * 10000 \
+ __GNUC_MINOR__ * 100 \
+ __GNUC_PATCHLEVEL__)
#if GCC_VERSION >= 40500
#define my_unreachable() __builtin_unreachable()
#else
#define my_unreachable() do { printf("Oh noes!!!111\n"); abort(); } while(0)
#endif
Вы можете вызвать встроенную функцию, объявленную _Noreturn, чтобы отметить что-либо после этого вызова как недоступное. После такой функции компилятору разрешается выкидывать любой код. Если сама функция static (и возвращается), компилятор обычно также встроит эту функцию. Вот пример:
static _Noreturn void unreachable() {
return; /* intentional */
}
/* ... */
foo();
bar(); /* should better not return */
unreachable();
baz(); /* compiler will know this is not reachable */
Обратите внимание, что вы вызываете поведение undefined, если функция, помеченная _Noreturn, действительно возвращает. Убедитесь, что указанная функция никогда не будет вызвана.
Будет ли abort (оставляя дамп ядра) или throw (позволяющий чередовать сбор данных) удовлетворить ваши потребности?
Вы действительно хотите иметь инструкции switch, которые не охватывают полное перечисление? Я почти всегда пытаюсь перечислить все возможные случаи (без-op) без случая по умолчанию, так что gcc предупредит меня, если будут добавлены новые перечисления, так как может потребоваться обработать их, а не позволить ему тихо (во время компиляции) упасть в значение по умолчанию.
template<unsigned int LINE> class Unreachable_At_Line {};
#define __builtin_unreachable() throw Unreachable_At_Line<__LINE__>()
Поскольку вы хотите, чтобы компилятор не удалял недостижимый код, ниже самый простой способ.
#define __builtin_unreachable() { struct X {X& operator=(const X&); } x; x=x; }
Компилятор оптимизирует команду x = x;, особенно когда она недоступна. Вот использование:
int foo (int i)
{
switch(i)
{
case 0: return 0;
case 1: return 1;
default: return -1;
}
__builtin_unreachable(); // never executed; so compiler optimizes away
}
Если вы положили __builtin_unreachable() в начало foo(), тогда компилятор генерирует ошибку компоновщика для нереализованного operator =. Я провел эти тесты в gcc 3.4.6 (64-разрядный).
держите его просто:
assert(false);
или, еще лучше:
#define UNREACHABLE (!"Unreachable code executed!")
assert(UNREACHABLE);