имя переменной, аргументы функции во время выполнения в C

В C. нет никакого отражения или подобных вещей. Если вам нужна такая возможность - вы должны разработать для этого какие-то утилиты, макросы и использовать специальные правила кодирования для достижения желаемого эффекта. Но ИМО - это не будет читаемый и понятный код C.

На самом деле нет собственного способа сделать это в C. На других языках вы бы искали отражение. Вы можете дополнить его макросами и некоторыми уловками, но, по основному принципу, вам нужно знать имена переменных и аргументы во время компиляции.

Как отмечали другие, отражение не встроено в язык C или C ++. здесь есть множество идей.

Однако отражение возможно в C / C ++ со сторонней библиотекой и отладочными символами в исполняемом или внешнем файле.

Исполняемый файл dwarfdump более или менее делает то, на что вы надеетесь. В DWARF доступна подробная информация о функциях, переменных, типах и т. Д. Подобным образом функциональность libdwarfdump может использоваться процессом для проверки самого себя.

Вот простой ручной пример:

typedef struct somestruct 
{
   int i;
   int j;
} somestruct ;

int abc(int x, float y , struct somestruct z ){
    char a;
    int b ;
}


int main(int argc, char* argv[])
{

   struct somestruct z;
   abc(1,1.0f,z);
   return 0;
}

и частичный вывод dwarfdump

< 1><0x00000055>    DW_TAG_subprogram
                      DW_AT_external              yes(1)
                      DW_AT_name                  "abc"
                      DW_AT_decl_file             0x00000001 /tmp/dwarf.c
                      DW_AT_decl_line             0x00000009
                      DW_AT_prototyped            yes(1)
                      DW_AT_type                  <0x0000004e>
                      DW_AT_low_pc                0x004004ed
                      DW_AT_high_pc               <offset-from-lowpc>18
                      DW_AT_frame_base            len 0x0001: 9c: DW_OP_call_frame_cfa
                      DW_AT_GNU_all_call_sites    yes(1)
                      DW_AT_sibling               <0x000000ad>
< 2><0x00000076>      DW_TAG_formal_parameter
                        DW_AT_name                  "x"
                        DW_AT_decl_file             0x00000001 /tmp/dwarf.c
                        DW_AT_decl_line             0x00000009
                        DW_AT_type                  <0x0000004e>
                        DW_AT_location              len 0x0002: 916c: DW_OP_fbreg -20
< 2><0x00000082>      DW_TAG_formal_parameter
                        DW_AT_name                  "y"
                        DW_AT_decl_file             0x00000001 /tmp/dwarf.c
                        DW_AT_decl_line             0x00000009
                        DW_AT_type                  <0x000000ad>
                        DW_AT_location              len 0x0002: 9168: DW_OP_fbreg -24
< 2><0x0000008e>      DW_TAG_formal_parameter
                        DW_AT_name                  "z"
                        DW_AT_decl_file             0x00000001 /tmp/dwarf.c
                        DW_AT_decl_line             0x00000009
                        DW_AT_type                  <0x0000002d>
                        DW_AT_location              len 0x0002: 9160:        DW_OP_fbreg -32

При внимательном изучении мы видим, что фрагмент определяет функцию abc с аргументами x, y и z.

Тип параметра x - это косвенное обращение к таблице типов с ключом 0x4e.

В другом месте вывода можно увидеть определение типа 0x4e. Тип 0x2d - это некоторая структура, которая связана с параметром z.

< 1><0x0000002d>    DW_TAG_structure_type
                      DW_AT_name                  "somestruct"
                      DW_AT_byte_size             0x00000008
                      DW_AT_decl_file             0x00000001 /tmp/dwarf.c
                      DW_AT_decl_line             0x00000003
                      DW_AT_sibling               <0x0000004e>

< 1><0x0000004e>    DW_TAG_base_type
                      DW_AT_byte_size             0x00000004
                      DW_AT_encoding              DW_ATE_signed
                      DW_AT_name                  "int"

Комбинация ptrace, ELF, DWARF и файловой системы / proc позволяет gdb читать статическую и динамическую информацию о процессе. Другой процесс может использовать аналогичную функциональность для создания функциональности Reflection.

Я использовал варианты этой стратегии для создания собственных отладчиков и детекторов утечки памяти. Однако я никогда не видел, чтобы эта стратегия использовалась для бизнес-логики.

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

backtrace и другие создают расширение GNU к стандарту, которое позволяет анализировать стек вызовов функции (историю вызовов). Если в двоичном файле все еще присутствуют символы (имена функций), backtrace_symbols позволит вам их получить.

Предопределенные макросы __LINE__ и __FILE__ предоставляют способ сбросить данные о том, где вы находитесь, и могут быть основой некоторых очень полезных макросов для трассировки.

Вот и все. Си не обеспечивает большего самоанализа, чем это. Имена и типы параметров исчезли в двоичном файле, сигнатуры функций и типы результатов функций также исчезли.