Оценить все макросы в заголовочном файле C++

Подход может состоять в том, чтобы написать «генератор программ», который генерирует программу (программу printDefines), содержащую такие операторы, как std::cout << "MAGIC_NUMBER" << " " << (MAGIC_NUMBER_BASE + 0x2) << std::endl;. Очевидно, что выполнение таких операторов разрешит соответствующие макросы и распечатает их значения.

Список макросов в заголовочном файле можно получить с помощью g++ с помощью -dM -E' option. Feeding this "program generator" with such a list of #defines will generate a "printDefines.cpp" with all the requiredcout`-операторов. Компиляция и выполнение сгенерированной программы printDefines дает окончательный результат. Он разрешит все макросы, включая те, которые сами по себе используют другие макросы.

См. следующий сценарий оболочки и следующий код генератора программ, которые вместе реализуют этот подход:

Скрипт, печатающий значения #define-операторов в «someHeaderfile.h»:

#  printDefines.sh
g++ -std=c++11 -dM -E someHeaderfile.h > defines.txt
./generateDefinesCpp someHeaderfile.h defines.txt > defines.cpp
g++ -std=c++11 -o defines.o defines.cpp
./defines.o

Код генератора программ "generateDefinesCpp":

#include <stdio.h>
#include <string>
#include <iostream>
#include <fstream>
#include <cstring>

using std::cout;
using std::endl;

/*
 * Argument 1: name of the headerfile to scan
 * Argument 2: name of the cpp-file to generate
 * Note: will crash if parameters are not provided.
 */
int main(int argc, char* argv[])
{
    cout << "#include<iostream>" << endl;
    cout << "#include<stdio.h>" << endl;
    cout << "#include \"" << argv[1] << "\"" << endl;
    cout << "int main() {" << endl;
    std::ifstream headerFile(argv[2], std::ios::in);
    std::string buffer;
    char macroName[1000];
    int macroValuePos;
    while (getline(headerFile,buffer)) {
        const char *bufferCStr = buffer.c_str();
        if (sscanf(bufferCStr, "#define %s %n", macroName, &macroValuePos) == 1) {
            const char* macroValue = bufferCStr+macroValuePos;
            if (macroName[0] != '_' && strchr(macroName, '(') == NULL  && *macroValue) {
                cout << "std::cout << \"" << macroName << "\" << \" \" << (" << macroValue << ") << std::endl;" << std::endl;
            }
        }
    }
    cout << "return 0; }" << endl;

    return 0;
}

Подход может быть оптимизирован таким образом, что промежуточные файлы defines.txt и defines.cpp не нужны; Однако для демонстрационных целей они полезны. Применительно к вашему заголовочному файлу содержимое defines.txt и defines.cpp будет следующим:

определяет.txt:

#define CONSTANT_1 MAKE_CONSTANT (MAGIC_NUMBER + 564, MORE_MAGIC_1 | MORE_MAGIC_2)
#define CONSTANT_2 MAKE_CONSTANT (MAGIC_NUMBER - 84, MORE_MAGIC_1 & MORE_MAGIC_2 ^ 0xA)
#define Constants_h 
#define MAGIC_NUMBER MAGIC_NUMBER_BASE + 0x2
#define MAGIC_NUMBER_BASE 40
#define MAKE_CONSTANT(A,B) (A | (B << 4))
#define MORE_MAGIC_1 345
#define MORE_MAGIC_2 65
#define OBJC_NEW_PROPERTIES 1
#define SKIP_CONSTANT "What?"
#define _LP64 1
#define __APPLE_CC__ 6000
#define __APPLE__ 1
#define __ATOMIC_ACQUIRE 2
#define __ATOMIC_ACQ_REL 4
...

определяет.cpp:

#include<iostream>
#include<stdio.h>
#include "someHeaderfile.h"
int main() {
std::cout << "CONSTANT_1" << " " << (MAKE_CONSTANT (MAGIC_NUMBER + 564, MORE_MAGIC_1 | MORE_MAGIC_2)) << std::endl;
std::cout << "CONSTANT_2" << " " << (MAKE_CONSTANT (MAGIC_NUMBER - 84, MORE_MAGIC_1 & MORE_MAGIC_2 ^ 0xA)) << std::endl;
std::cout << "MAGIC_NUMBER" << " " << (MAGIC_NUMBER_BASE + 0x2) << std::endl;
std::cout << "MAGIC_NUMBER_BASE" << " " << (40) << std::endl;
std::cout << "MORE_MAGIC_1" << " " << (345) << std::endl;
std::cout << "MORE_MAGIC_2" << " " << (65) << std::endl;
std::cout << "OBJC_NEW_PROPERTIES" << " " << (1) << std::endl;
std::cout << "SKIP_CONSTANT" << " " << ("What?") << std::endl;
return 0; }

И результат выполнения defines.o тогда:

CONSTANT_1 1887
CONSTANT_2 -9
MAGIC_NUMBER 42
MAGIC_NUMBER_BASE 40
MORE_MAGIC_1 345
MORE_MAGIC_2 65
OBJC_NEW_PROPERTIES 1
SKIP_CONSTANT What?

Вот концепция, основанная на предположениях из поясняющего комментария.

• только один заголовок
• не включает
• нет зависимости от включаемого файла кода
• нет зависимости от ранее включенных заголовков
• нет зависимости от порядка включения

В противном случае основные требования:

• не рискуют повлиять на процесс сборки бинарного файла (будучи частью, из которой состоит реальный программный продукт)
• не пытайтесь эмулировать компилятор/парсер бинарной сборки

Как:

• сделать копию
• включить его из специального файла с кодом,
  который содержит только "#include "copy.h";
  или напрямую предварительно обработать заголовок
  (это просто странно противоречит моим привычкам)
• удалить все, кроме препроцессора и прагм, обращая внимание на продолжение строки
• замените все "#define" на "HaPoDefine", кроме одного (например, первого)
• repeat
  • preprocess the including code file (most compiler have a switch to do this)
  • сохранить вывод
  • превратить еще один "HaPoDefine" обратно в "#define"
• пока не останется "HaPoDefine"
• собрать все расширения макросов из дельт промежуточных сохранений
• отбросить все, что не имеет значения
• поскольку окончательное фактическое числовое значение, скорее всего, является результатом работы компилятора (а не препроцессора), используйте такой инструмент, как bashs "expr", для вычисления значений, понятных человеческому глазу,
  будьте осторожны, чтобы не рисковать различиями в процессе сборки двоичных файлов.
• используйте некоторую магию регулярных выражений для достижения любого желаемого формата

Можете ли вы использовать g++ или gcc с опцией -E и работать с этим выводом?

-E Остановить после этапа предварительной обработки; не запускайте собственно компилятор. Вывод представляет собой предварительно обработанный исходный код, который отправляется на стандартный вывод. Входные файлы, не требующие предварительной обработки, игнорируются.

При этом я представляю:

1. Создайте список всех ключей #define из источника
2. Запустите соответствующую команду ниже для исходного файла (файлов) и позвольте препроцессору GNU сделать свое дело.
3. Возьмите предварительно обработанный результат из stdout, отфильтруйте, чтобы взять только те, которые в целочисленной форме, и выведите его так, как вы хотите представить пары ключ/значение.

Одна из этих двух команд:

gcc -E myFile.c
g++ -E myFile.cpp

https://gcc.gnu.org/onlinedocs/gcc-2.95.2/gcc_2.html https://gcc.gnu.org/onlinedocs/cpp/Preprocessor-Output.html