Вывод числа с помощью #pragma message, Или преобразование числа в строку в препроцессоре Опции

[Zlumd]

#pragma message позволяет вывести в окно результатов компиляции только текст.
А можно ли как-нибудь вывести число, которое, где-то раньше определено дефайном ?
Пока что ничего лучше, чем это не придумал:

Код

#if USED_BLOCKS==0
#define USED_BLOCKS_STR "0"
#endif
#if USED_BLOCKS==1
#define USED_BLOCKS_STR "1"
#endif
#if USED_BLOCKS==2
#define USED_BLOCKS_STR "2"
#endif
....
#if USED_BLOCKS==65535
#define USED_BLOCKS_STR "65535"
#endif

#pragma message(USED_BLOCKS_STR)

Но это слишком громоздко.

[neiver]

В препроуессоре Си есть оператор стрингизации #, он превращает свой операнд в строку:

Код

#define __STR(ARG) #ARG
#define STR(ARG) __STR(ARG)
...
#define NUMBER 12345

#pragma message(STR(NUMBER))

Макрос STR сделан двух уровневым для того, чтобы для его аргумента перед превращением в строку выполнелась макроподстановка и макрос NUMBER развернулся в число 12345.

[Zlumd]

В препроуессоре Си есть оператор стрингизации #, он превращает свой операнд в строку:

Спасибо. Уже легче стало.
Теперь у меня следующий код:

Код

#define __STR(ARG) #ARG
#define STR(ARG) __STR(ARG)
#pragma message("NAND Flash Blocks used "STR(USED_BLOCKS))

В ответ на это получаю:
NAND Flash Blocks used ((((((((((3+2*8)+3)+3)+31+1)+512)+512)+1)+1)+1)+1)
Можно ли как-то заставить компилятор вычислить ((((((((((3+2*8)+3)+3)+31+1)+512)+512)+1)+1)+1)+1) и выдать мне вместо этого число 1085 ?

[neiver]

Не компилятор, а препроцессор - немного разные вещи.
Короткий ответ: нельзя.
Правильный ответ: если очень хочется, то можно посредствам анальных извращений и библиотеки Boost Preprocessor.
Например, сложение:
http://www.boost.org/doc/libs/1_39_0/libs/.../doc/index.html
Хотя, в вашем случае может не сработать. У макроса BOOST_PP_ADD и аргументы и результат не должны превышать 256, а у вас аж 1085. Но, опять-же если очень хочется, то можно попробывать обойти это ограничение, разбив исходное выражение на два "байта" (с диапазоном 0..100 для удобства), вычислять их отдельно, потом склеить.
Но вот вопрос: оно того стоит?

Если вопрос стоит в том, что нужно проконтролировать, что значение USED_BLOCKS не выходит за некоторые пределы, то есть другой способ. Называется STATIC_ASSERT:

Код

#define CONCAT2(First, Second) (First ## Second)
#define CONCAT(First, Second) CONCAT2(First, Second)
#define STATIC_ASSERT(expr) typedef char CONCAT(static_assert_failed_at_line_, __LINE__) [(expr) ? 1 : -1]

Пользоваться им так:

Код

STATIC_ASSERT(USED_BLOCKS < 1500);
STATIC_ASSERT(USED_BLOCKS > 100);

Здесь выражение вычисляестся уже не препроцессором, а компилятором. Если значение USED_BLOCKS будет больше 1500, то в первой строке возникнет ошибка вида:
"error: Array 'static_assert_failed_at_line_xxx' has a negative length". Аналогично во второй строке, если USED_BLOCKS будет меньше или равно 100. Если значение в нужном диапозоне, то STATIC_ASSERT-ы компилируются без ошибок. Условия можно задавать сколь угодно сложные.

[Zlumd]

Если вопрос стоит в том, что нужно проконтролировать, что значение USED_BLOCKS не выходит за некоторые пределы, то есть другой способ.

Проверку я уже сделал вот так:

Код

#if USED_BLOCKS > LOGIC_BLOCKS
#warning Too many FLASH blocks are used
#endif

Хочется всегда знать сколько у меня есть еще свободной NAND-памяти.
И еще: Почему оператору стрингизации не нравятся скобки:

Код

#define __STR(ARG) #(ARG)
#define STR(ARG) __STR(ARG)
#pragma message("NAND Flash Blocks used "STR(USED_BLOCKS))

Выдает ошибку : Error[Pe052]: expected a macro parameter name

[neiver]

Потому, что оператор # применим только непосредственно к параметрам макросов.

[dxp]

[Возможно] глупый вопрос автору темы: а не проще (правильнее) ли все вычисления этих значений делать вообще не средствами препроцессора, а средствами системы сборки - там вы не будете ограничены скудными возможностями препроцессора С, - а значения передавать компилятору посредством ключа командной строки -D?

[Zlumd]

[Возможно] глупый вопрос автору темы: а не проще (правильнее) ли все вычисления этих значений делать вообще не средствами препроцессора, а средствами системы сборки - там вы не будете ограничены скудными возможностями препроцессора С, - а значения передавать компилятору посредством ключа командной строки -D?

Что такое система сборки? И где находятся настройки, указывающие, какие именно параметры передаются компилятору в командной строке?

[dxp]

Что такое система сборки? И где находятся настройки, указывающие, какие именно параметры передаются компилятору в командной строке?

Система сборки - это то, что собирает проект. Например, широкораспространённая связка make + makefile[s]. Или SCons. Или ещё что-то подобное. Там сборка проекта производится под управлением скрипта. В нём всё и задаётся - и параметры, и как их вычислять (если надо), и как передавать компилятору/ассемблеру/линкеру.

В отличие от ситуации с использованием IDE, тут возможности ограничены только фантазией разработчика. Например, тот же SCons использует скрипт на ЯП Python, поэтому все необходимые вычисления, сколь угодно сложный анализ исходных данных и промежуточных значений, формирование аргументов командной строки для запускаемых инструментов и т.д. и т.п. делаются на нём достаточно легко и непринуждённо, никакого сравнения с ограниченными возможностями препроцессора С.