Вопрос касается не только собственно IAR, но вообще скорее по языку.
Часто сталкиваюсь с необходимостью проверки неких условий внутри макроса на этапе компиляции, при том, что входные аргументы макроса могут быть заданы константами, определёнными не через #define, а через enum.
Пример - имеем некий макрос:

Допустиммые значения a для него только: 0, 1, 2.
Хочется сделать внутри макроса, чтобы при подстановке недопустимого значения в качестве аргумента, проект не собирался (компилятор выдавал какую-либо ошибку).
Причём в качестве аргумента могли бы выступать или константы заданные хоть #define-ом хоть enum хоть числовыми константами.
Если бы были допустимы только числовые константы, то проблем нет:

Для недопустимого аргумента при компиляции будет ошибка "имя CHECK_XXX не определено".
Для констант заданных #define тоже подобное решение. Но вот для выражений и констант заданных enum, этот способ не катит.

Пока приходится использовать что-то типа такой конструкции:
#define m(a) (((a) == 0) ? X: ((a) == 1) ? Y: ((a) == 2) ? Z: 1/((a) >= 0 && (a) < 3))
в расчёте на ошибку деления на ноль.
Но может быть есть более элегантное решение? Что-то в голову больше ничего не приходит......

Это называется assert_static(). Использую его повсеместно. Его делают и через деление на 0, и другие какие-то способы есть. Не важно, как оно сделано. Важно, что используется аналогично традиционному assert().

если значение известно на этапе препроцессора, то поможет подобная конструкция
#if ((MACRO1)>5) || ((MACRO1)<1)
#error MACRO1 должен быть от 1 до 4
#endif

В IAR assert_static - undefined
А вообще, при значении аргумента x==true, значение assert_static(x) чему должно быть равно (в разных компиляторах и при собственном определении)? Произвольному значению или определённой константе?

Определил сейчас так:
Использую:
(build-time-проверка, что все члены массива кратны (1 << BitrateTab_PACK)). Но работает конечно, только если при положительном условии assert_static() возвращает ==1.


Прочитайте внимательнее о чём был вопрос.

В IAR, да и в остальных местах, обычно static_assert(value, "message")

Ну да. Я обычно добавляю к проекту файл assert_static.h:


Ничему. Как и стандартный assert(), он останавливает компиляцию (обычный - останавливает выполнение программы), если аргумент равен нулю.
Вы придумали нечто иное, но похожее. Логично назвать это как-то по-другому, чтобы другие люди не путались.

Мне и нужна остановка компиляции. Только чтобы это можно было встроить внутрь выражения, а не отдельной строкой. Таким образом, чтобы при положительном значении assert, это выражение нормально вычислялось-бы и assert не влиял-бы на него. Чтобы его можно было применять внутри всяческих выражений типа #define name(x) f(...), которые можно подставить как внутрь компилируемых строк, так и внутрь #if.
Пример я приводил.
Тот свой вариант, что я привёл assert_static(), к сожалению в IAR вызывает только варнинг "деление на ноль", а не ошибку.
Хотя наверно, опциями проекта, можно данных конкретный варнинг перевести в разряд еррор-ов.

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

#define ASSERT_COMPILE(expr) int __static_assert(int static_assert_failed[(expr)?1:-1])

Может быть оператор запятая поможет? Или конструкция из скобок ({}), хотя это наверно только в gnu.



Сообщение отредактировал amaora - Mar 8 2016, 17:08

И как Вы представляете объявление массива внутри выражения????

Можно попробовать схитрить вот так:

Не уверен, что стандарт так разрешает, но в GCC работает.

Надо просто прекратить страдать фигней, и жизнь упростится...

Для извращенцев:


Сообщение отредактировал CrimsonPig - Mar 9 2016, 10:38

По существу есть что сказать?


Опять мимо кассы. Сколько раз повторять?

Теперь попробуйте вставить сюда, то, что Вы предложили.


Да, в принципе можно попробовать. Щас использую вариант с делением на ноль, но деление на ноль вызывает только варнинг компилятора, а не ошибку.
Ваш вариант в gcc вызывает именно ошибку?
Но всё равно - такой вариант я думаю не получится использовать внутри выражения #if.

Это к чему вообще? Типа "нет в жизни счастья"? Давайте бросим заниматься этим бренным копанием в компиляторах и станем готовиться к вечной жизни. Может быть, хоть там будет хорошо

Это как захочешь, у меня именно так.

-Werror - Make all warnings into errors.
-Werror= - Make the specified warning into an error.
...


Также хочу заметить что в стандарте С11 это уже реализовано "из коробки".
тыц