Я искал способ решения этого вопроса для C: http://forum.vingrad.ru/forum/topic-355730.html


только сгенерить автоматическое имя енуму нельзя.
__LINE__ не вариант. Был бы __COUNTER__ в gcc, но почему-то не добавили.

самый первый: http://gcc.gnu.org/onlinedocs/cpp/Common-P...ned-Macros.html

Значит меня ввели в заблуждение
http://www.pixelbeat.org/programming/gcc/static_assert.html

Впрочем, проект, который я сапорчу, собирается на gcc 2.95.3 и переход на новую версию только планируется.
Там нет __COUNTER__, а значит надо обойтись без енумов.
Но в нём уже есть VLA, значит каст в указатель на массив тоже не подходит.

Я не смог придумать, как в таком случае остановить компиляцию, если выражение не константа, но зато можно остановить линковку:

"1==1" - константа, и линкер не ругнется на отсутствие переменной nonexisting.
Если вместо "1==1" использовать не константное выражение, то будет ошибка линковки.

Добавлено @ 14:33
__COUNTER__ появился в gcc 4.3 

Это сообщение отредактировал(а) leniviy - 8.9.2012, 14:34