Всегда были проблемы с такого рода проектированием.

Вот пример:
```c
typedef struct ca_str { int a;  } ca_type;
typedef struct cb_str { char b; } cb_type;

struct p_str {
  c_type *c;
  /* must be pointer to
     ca_type or cb_type
  */
};
```

В `struct p_str` должен быть указатель или на `ca_type`, или же на `cb_type`. Желательно, один и тот же указатель.
Из моих изобретений – можно держать указатели на все возможные структуры, все ненужные из которых делать тотальным `NULL`, но это совершенно неприятно.

Как это делают программисты?