GCC - Распечатать определение структуры

Question

Возможно ли для программы C напечатать определение структуры? Было бы здорово иметь имена пользователей, но достаточно упорядоченного списка типов данных (и длины массива в случае массивов).

Я искал инструкции препроцессора для достижения этого, но не смог найти. Существует ли препроцессорная директива, которая может захватить аннотированную часть кода и использовать ее как переменную #define. Если это так, я мог бы инициализировать некоторые переменные sting, чтобы удерживать значение переменных #define.

Например, структура, как это получить печатную как есть

struct foo{ 
int a; 
char b; 
short arr[6]; 
} 

или как этот

struct s{ 
int m1; 
char m2; 
short m3[6]; 
} 

Форматирование не важно, как долго, как структура может быть воссоздана из данных. Так что что-то вроде этого тоже хорошо:

s{int,char,short[10]} 

Just FYI это устройство с ограниченным доступом на основе ARM.

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

Answer 1

Зачем вам это нужно, если у вас уже есть исходный код?

Но, в общем, компиляторы C не предлагают вариант, например. «список» всех структур, которые он видел во время компиляции. Компилятор сохранит таблицы внутренних символов, но никто не думал о необходимости их распечатки. Также могут быть сотни структур и типов во всех исходных и заголовочных файлах, прочитанных во время компиляции.

Обратите внимание, что имена типов, полей и переменных в основном присутствуют, чтобы дать смысл программисту. После компиляции многие имена исчезнут. Только глобальные переменные и отсутствующие внешние переменные сохраняют свое имя в объектном файле, чтобы иметь возможность разрешать их во время связывания, и после связывания эти имена больше не нужны. Компилятор, например, перевел a->b в смещение b, переведя туда место в память, где находится a.

Answer 2

Существуют форматы объектных файлов, которые содержат необходимую информацию и позволяют осуществлять программный доступ. Один из них - Dwarf. Обычно отладчики используют эту информацию.

Я не думаю (но я не уверен), что можно получить доступ к отладочной информации для кода . Это отличие от программ на языках, которые работают в сложной системе времени выполнения, такой как Java или семейство .net. Они могут использовать размышления о себе.

В программах, написанных на традиционно скомпилированных языках, вы, вероятно, откроете объектный файл - возможно, сам исполняемый исполняемый файл! - и изучите его программно, как и отладчик. Учитывая это, можно предположить, что было бы легче проанализировать исходный код (который в C и C++ должен быть доступен для многих определений типов в виде файлов заголовков). Но для нетривиальных применений эта идея может обманывать, потому что компилятор использует лексику и анализирует источник для вас и помещает всю информацию в аккуратные структуры данных, где их можно легко получить. Эта часть процесса компиляции - т. Е.значительная часть передней части - должна была бы быть сделана вами, если вы работаете с источниками.