Можно ли проверить, имеет ли переменная тип struct?

Question

Предположим, у меня есть следующие структур:

struct A{ 
    int a; 
} a; 

struct B{ 
    A a; 
    int b; 
} b; 

как проверить, если b имеет тип B или если b имеет тип A?

Answer 1

Вы имеете в виду во время выполнения, учитывая void *, который указывает на то, что один или другой? К сожалению, это невозможно; C не имеет какого-либо механизма информации о времени выполнения.

Answer 2

Что касается C, данные - это всего лишь строка бит. Как вы используете и интерпретируете данные, зависит от программиста.

Это точно так же, как char может представлять символ, положительное число или отрицательное число (или что-то еще в этом случае). Это зависит от контекста и того, как он используется программистом.

Answer 3

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

struct A{ 
    int a; 
    int identifer = 0; 
} a; 

struct B{ 
    A a; 
    int b; 
    int identifer = 1; 
} b; 

И если ваш код может быть как

if object->identifer == 0 
    bla bla bla 

Answer 4

No. В отличие от C++, который использует vtable для поддержания ассоциаций типа во время выполнения, C не предоставляет метод для выполнения проверки типа.

Возможный обходной путь будет присвоить тип идентификторов в качестве первого элемента структуры:

struct A { 
    int type; 
    int a; 
} a; a.type = 'A'; 

struct B { 
    int type; 
    A a; 
    int b; 
} b; b.type = 'B'; 

// Now, given a (void*) pointer `ptr`, of either `A` or `B`... 
if (*(int*)ptr == 'A') 
{ 
    // ... 
} 
elseif (*(int*)ptr == 'B') 
{ 
    // ... 
} 

Answer 5

во время компиляции:

#define WARN_IF_DIFFERENT_STRUCT_TYPE_1(T, o) do { \ 
    T temp = (o);         \ 
    (void) temp;         \ 
} while (0) 

пример:

struct B b; 
/* will warn if b is not of struct A type */ 
WARN_IF_DIFFERENT_STRUCT_TYPE_1(struct A, b); 

С два объекта передаются в качестве макропараметров с использованием typeof Расширение GNU:

#define WARN_IF_DIFFERENT_STRUCT_TYPE_2(o1, o2) do { \ 
    typeof(o1) temp = (o2);       \ 
    (void) temp;          \ 
} while (0) 

пример:

struct A a; 
struct B b; 
/* will warn if a and b are not the same struct type */ 
WARN_IF_DIFFERENT_STRUCT_TYPE_2(a, b);   

Answer 6

Если вы собираетесь написать свой собственный механизм проверки типа я рекомендую писать макросы для заполнения поля для вас.

typedef struct A { 
    void *type; 
    int a; 
} A; 

Этот макрос инициализирует каждую структуру с его тип информации с помощью stringification:.

#define InitializeType(ptr, type) \ 
     ((ptr)->type == (void *)(#type ## __FILE__ ##)) 
#define IsType(ptr, type)  \ 
     ((ptr)!=NULL && (ptr)->type != (void *)(#type ## __FILE__ ##)) 

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

A alpha; 
InitializeType(&alpha, A); 
IsType(&alpha, A); 

Есть, однако, несколько полостей; вы должны использовать флаг компилятора пула строк, вам нужно инкапсулировать ваши структуры в «классы», чтобы проверка и инициализация типов была локализована в исходном файле, который содержит частную структуру, и вы должны иметь тип void * как первый параметр в каждая структура.