Как проверить` typeof ' для значения void во время компиляции?

какой интересный вопрос, спасибо!

после нескольких экспериментов, я нашел решение, которое использует __builtin_types_compatible_p и __builtin_choose_expr внутренние компоненты GCC.

__builtin_types_compatible_p

цитирование руководства GCC:

встроенные функции: int __builtin_types_compatible_p (type1, type2)

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

эта встроенная функция возвращает значение 1 если версии типов type1 и type2 (которые являются типами, а не выражения) совместимы, 0 иначе. результат этой встроенной функции можно использовать в целочисленных постоянных выражениях.

эта встроенная функция игнорирует квалификаторы верхнего уровня (например,const, volatile). Например, int эквивалентно const int.

Итак, вот как мы можем проверить "voidness".

#define __type_is_void(expr) __builtin_types_compatible_p(typeof(expr), void)

__builtin_choose_expr

встроенные функции: type __builtin_choose_expr (const_exp, exp1, exp2)

вы можете использовать встроенную функцию __builtin_choose_expr для оценки кода в зависимости от значения постоянного выражения. Эта встроенная функция возвращает exp1 если const_exp, которое является целочисленным постоянным выражением, не равно нулю. В противном случае он возвращает exp2.

эта встроенная функция аналогична ? : оператор в C, за исключением того, что возвращаемое выражение имеет свой тип, не измененный правилами продвижения. Кроме того, встроенная функция не оценивает выражение, которое не выбрано. Например, если const_exp значение true, exp2 не оценивается, даже если он имеет побочные эффекты.

если exp1 возвращается, тип возврата совпадает с 'ы. Аналогично, если exp2 возвращается, его тип возврата совпадает с exp2.

так __builtin_choose_expr intrinsic-это что-то вроде "статического переключателя", оцениваемого во время компиляции.

подготовка

я не вставляю сюда ваш TIMER макрос, но я предполагаю, что он может разделить его на две версии: одна для void expr и один для остальных. Вот только заглушки, которые оценивают выражение и дают результат того же типа.

#define __DO(expr) \
    ({ typeof(expr) __ret; __ret = (expr); __ret; })

#define __DO_VOID(expr) \
    (void) (expr)

наивное решение

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

#define DO(expr) \
    __builtin_choose_expr(__type_is_void(expr), \
        __DO_VOID(expr), \
        __DO(expr))  # won't work

попытка скомпилировать этот код, передавая выражение void, дает следующую ошибку:

test.c:28:9: error: variable or field ‘__ret’ declared void
test.c:28:9: error: void value not ignored as it ought to be

хотя __DO_VOID выбирается, __DO выдает ошибки. Это поведение описано в руководстве:

... неиспользуемое выражение (exp1 или exp2 в зависимости от значения const_exp) может по-прежнему генерировать синтаксические ошибки. Это может измениться в будущие изменения.

рабочего раствора

фокус в том, чтобы заменить исходную пустоту expr С некоторым значением Non-void, чтобы иметь возможность компилировать __DO case (который в любом случае является мертвым кодом, когда expr является ничтожным).

#define __expr_or_zero(expr) __builtin_choose_expr(__type_is_void(expr), 0, (expr))

#define DO(expr) \
    __builtin_choose_expr(__type_is_void(expr), \
        __DO_VOID(expr), \
        __DO(__expr_or_zero(expr))) # works fine!

вот именно! Вот полный исходный код Ideone:http://ideone.com/EFy4pE