Як я можу показати значення #define під час компіляції?

Я намагаюся розібратися, яку версію Boost мій код вважає. Я хочу зробити щось подібне:

#error BOOST_VERSION

але препроцесор не розширює BOOST_VERSION.

Я знаю, що міг би роздрукувати його під час виконання програми, і знаю, що міг би подивитися на вихід препроцесора, щоб знайти відповідь. Я вважаю, що спосіб зробити це під час компіляції може бути корисним.

Я знаю, що це тривалий час після оригінального запиту, але це все ще може бути корисним.

Це можна зробити в GCC за допомогою оператора stringify "#", але для цього потрібно два етапи.

#define XSTR(x) STR(x)
#define STR(x) #x

Значення макросу може бути відображено за допомогою:

#pragma message "The value of ABC: " XSTR(ABC)

Див.: 3.4 Структуризація в онлайн-документації gcc.

Як це працює:

Препроцесор розуміє цитовані рядки та обробляє їх відмінно від звичайного тексту. З'єднання струн є прикладом цього спеціального лікування. Прагма повідомлення потребує аргументу, який є цитованим рядком. Якщо в аргументі є більше одного компонента, то всі вони повинні бути рядками, щоб можна було застосувати об'єднання рядків. Препроцесор ніколи не може припустити, що до котирується рядка слід ставитися так, ніби його цитують. Якщо це було тоді:

#define ABC 123
int n = ABC;

не збирався б.

Тепер розглянемо:

#define ABC abc
#pragma message "The value of ABC is: " ABC

що еквівалентно

#pragma message "The value of ABC is: " abc

Це спричиняє попередження попереднього процесу, оскільки abc (без котирування) не може бути з'єднано з попереднім рядком.

Тепер розглянемо попередню послідовність препроцесорів (Що колись називалося стрифікацією, посилання в документації були змінені, щоб відображати переглянуту термінологію. (Обидва умови, до речі, однаково виявляються обережними. Правильний термін - це, звичайно, строфіфікація). ваші посилання.)) оператор. Це діє лише на аргументи макросу і замінює нерозширений аргумент аргументом, укладеним у подвійні лапки. Таким чином:

#define STR(x) #x
char *s1 = "abc";
char *s2 = STR(abc);

присвоїть однакові значення s1 і s2. Якщо ви запускаєте gcc -E, ви можете бачити це у висновку. Можливо, STR краще буде назвати щось на кшталт ENQUOTE.

Це вирішує проблему розміщення лапок навколо котируваного елемента, тепер проблема полягає в тому, що якщо аргумент є макросом, макрос не буде розширено. Саме тому потрібен другий макрос. XSTR розширює свій аргумент, потім викликає STR, щоб розмістити розширене значення в лапки.

BOOST_PP_STRINGIZE здається відмінним рішенням для C ++, але не для звичайного C.

Ось моє рішення для GNU CPP:

/* Some test definition here */
#define DEFINED_BUT_NO_VALUE
#define DEFINED_INT 3
#define DEFINED_STR "ABC"

/* definition to expand macro then apply to pragma message */
#define VALUE_TO_STRING(x) #x
#define VALUE(x) VALUE_TO_STRING(x)
#define VAR_NAME_VALUE(var) #var "="  VALUE(var)

/* Some example here */
#pragma message(VAR_NAME_VALUE(NOT_DEFINED))
#pragma message(VAR_NAME_VALUE(DEFINED_BUT_NO_VALUE))
#pragma message(VAR_NAME_VALUE(DEFINED_INT))
#pragma message(VAR_NAME_VALUE(DEFINED_STR))

Вищевикладені визначення призводять до:

test.c:10:9: note: #pragma message: NOT_DEFINED=NOT_DEFINED
test.c:11:9: note: #pragma message: DEFINED_BUT_NO_VALUE=
test.c:12:9: note: #pragma message: DEFINED_INT=3
test.c:13:9: note: #pragma message: DEFINED_STR="ABC"

Для змінних "визначено як interger" , "визначено як рядок" та "визначені, але не мають значення" , вони працюють чудово. Тільки для змінної "не визначено" вони відображали точно так само, як і вихідну назву змінної. Ви повинні звикнути до цього - а може, хтось може запропонувати краще рішення.

Якщо ви використовуєте Visual C ++, ви можете використовувати #pragma message:

#include <boost/preprocessor/stringize.hpp>
#pragma message("BOOST_VERSION=" BOOST_PP_STRINGIZE(BOOST_VERSION))

Редагувати: Дякую LB за посилання

Мабуть, еквівалент GCC є (не перевірений):

#pragma message "BOOST_VERSION=" BOOST_PP_STRINGIZE(BOOST_VERSION)

Наскільки я знаю, що "#error" друкуватиме лише рядки, насправді вам навіть не потрібно використовувати лапки .

Ви намагалися написати різні цілеспрямовано неправильні коди, використовуючи "BOOST_VERSION"? Можливо, щось на кшталт "blah [BOOST_VERSION] = foo;" скаже вам щось на кшталт "string literal 1.2.1 не може використовуватися як адреса масиву". Це не буде симпатичним повідомленням про помилку, але, принаймні, воно покаже відповідне значення. Ви можете грати, поки не знайдете помилку компіляції, яка не підкаже вам значення.

Без підвищення:

1. визначте той самий макрос ще раз, і компілятор HIMSELF подасть попередження.

2. З попередження ви бачите розташування попереднього визначення.

3. vi файл попереднього визначення.

ambarish@axiom:~/cpp$ g++ shiftOper.cpp
shiftOper.cpp:7:1: warning: "LINUX_VERSION_CODE" redefined
shiftOper.cpp:6:1: warning: this is the location of the previous definition

#define LINUX_VERSION_CODE 265216
#define LINUX_VERSION_CODE 666

int main ()
{

}

У Microsoft C / C ++ ви можете використовувати вбудований _CRT_STRINGIZE()для друку констант. Багато моїх stdafx.hфайлів містять певну комбінацію таких:

#pragma message("_MSC_VER      is " _CRT_STRINGIZE(_MSC_VER))
#pragma message("_MFC_VER      is " _CRT_STRINGIZE(_MFC_VER))
#pragma message("_ATL_VER      is " _CRT_STRINGIZE(_ATL_VER))
#pragma message("WINVER        is " _CRT_STRINGIZE(WINVER))
#pragma message("_WIN32_WINNT  is " _CRT_STRINGIZE(_WIN32_WINNT))
#pragma message("_WIN32_IE     is " _CRT_STRINGIZE(_WIN32_IE))
#pragma message("NTDDI_VERSION is " _CRT_STRINGIZE(NTDDI_VERSION)) 

і виводить щось подібне:

_MSC_VER      is 1915
_MFC_VER      is 0x0E00
_ATL_VER      is 0x0E00
WINVER        is 0x0600
_WIN32_WINNT  is 0x0600
_WIN32_IE     is 0x0700
NTDDI_VERSION is 0x06000000

#define a <::BOOST_VERSION>
#include a

MSVC2015 : фатальна помилка C1083: Не вдається відкрити включити файл: ':: 106200': Немає такого файлу чи каталогу

Працює, навіть якщо preprocess to fileце ввімкнено, навіть якщо присутні недійсні маркери:

#define a <::'*/`#>
#include a

MSVC2015 : фатальна помилка C1083: Не вдається відкрити включати файл: '::' * / `# ': Немає такого файлу чи каталогу
GCC4.x : попередження: відсутнє завершення' символ [-Winvalid-pp-token]
#define a <:: '* / `#>

Ви також можете попередньо обробити вихідний файл і побачити, на що оцінюється значення препроцесора.

Ви шукаєте

#if BOOST_VERSION != "1.2"
#error "Bad version"
#endif

Не чудово, якщо BOOST_VERSION - це рядок, як я припустив, але можуть бути окремі цілі числа, визначені для основних, другорядних чи ревізійних чисел.

Дивлячись на вихід препроцесора, це найближче до відповіді, яку ви запитуєте.

Я знаю, що ви виключили це (та інші способи), але я не знаю чому. У вас є достатньо конкретна проблема, яку потрібно вирішити, але ви не пояснили, чому будь-який із "звичайних" методів не працює для вас.

Ви можете написати програму, яка роздруковує BOOST_VERSIONта компілює та запускає її як частину вашої системи збирання. Інакше я думаю, що вам не пощастило.

BOOST_VERSION визначений у файлі boost header version.hpp.

Перегляньте також документацію Boost щодо того, як ви використовуєте макрос:

Відносно BOOST_VERSION, з http://www.boost.org/doc/libs/1_37_0/libs/config/doc/html/boost_config/boost_macro_reference.html#boost_config.boost_macro_reference.boost_helper_macros :

Описує номер прискореної версії у форматі XXYYZZ таким чином: що (BOOST_VERSION % 100)є другорядною версією, другорядною та основною.((BOOST_VERSION / 100) % 1000)(BOOST_VERSION / 100000)

Замість #error спробуйте змінити макрос безпосередньо перед його використанням. Компіляція не вдасться, і компілятор надасть поточне значення, яке, на його думку, стосується макроса.

#define BOOST_VERSION бла