Добрый день.

Дано:
8 битный микроконтроллер
Keil Си
Структура для хранения переменных во внешней I2C EPROM
Размер EPROM константа 256 байт
Структура постепенно растет и изменяется

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

Что-то типа того:


Но sizeof в данном случае использовать нельзя.
Подскажите пожалуйста, как мне решить мою задачу? (считать вручную уже надоело)

Можно вот такой хак применить, воспользовавшись, тем фактом, что массив не может иметь отрицательный размер:



Если sizeof(A) будет больше EPROM_SIZE, то будет ошибка. Если нет - массив нулевого размера, который оптимизатор выкинет.
Собственно, сообщение нужно закодировать в имени этого массива. Пример сообщения об ошибке, которое выдаёт GCC:
../main.cpp:19: error: size of array 'error_struct_a_is_too_big' is negative


А в макросах это никак не сделать, макросы работают на уровне текстовых строк, им побоку любые языковые конструкции и sizeof в частности.

Макросы обрабатываются препроцессором, то есть до компиляции. sizeof определяется на этапе компиляции. Посему ответ: в лоб на С - никак.

http://msdn.microsoft.com/en-us/library/ew...28VS.80%29.aspx

sizeof в препроцессоре понимали какие-то ранние версии компиляторов IAR.
А для проверки можно тупо написать if в теле программы. Все равно компилятор при оптимизации его выкинет, если условие не выполняется.
Можно даже вызывать какую-нибуь левую подпрограииу, чтобы обругался линкер:


В этом случае сначала компилятор даст warning на недостижимый код из-за for (;;);, а потом линкер не найдет подпрограмму linker_error.

Можно довольно много языковых конструкций использовать для этих целей. Особенно тех, правильность которых зависит от значений целочисленных выражений. switch, например, можно использовать с дублирующимися метками. Да много чего ещё.
А вот в С++ есть такая штука как STATIC_ASSERT, реализацию которого можно найти, например, в boost (А как утвердят новый стандарт -это будет часть языка).
И можно писать в любом месте программы так:



Если условие итненно - всё нормально, ложно - ошибка компиляции.
Я лично именно BOOST_STATIC_ASSERT использую в таких случаях (и пишу на С++ соответственно).

STATIC_ASSERT уже является частью Visual Studio 2010

Он является частью нового стандарта С++.
И в GCC он уже тоже есть. Но стандарт ещё не принят.

Всем большое спасибо.

Сделал костыль предложенный neiver (хоть и пришлось пожертвовать одним байтом ОЗУ. 0 длины массив не создал. Вернее не выкинул его, а ругнулся при требуемом типе оптимизации.)

Жалко конструкция vmp на Keil не сработала. Он упорно пытался найти все что под if (хотя после компиляции его выкинул)

Если волнует, что компилятор выделит память переменной (при ненулевом уровне оптимизации должен выбросить),
можно добавить extern:

Есть такой макрос определения смещения поля в структуре, в ИАРе он встроенный, его использовать.

#define OFFSET(type,field) ((uchar *)&(((type *)0)->field) - (uchar *)0)

Вообще-то он должен offsetof называться....

Может быть, я то свой определил.

Плюс адин к мнению _Pasha, лучше делать #include <stddef.h> и использовать стандартный offsetof().

Вот только топикстартера интересовал другой вопрос