Jak sprawdzić, czy wskaźnik void (void *) jest jednym z dwóch typów danych?

Piszę funkcję, w której chciałbym zaakceptować 2 types parametrów.

• A string(char *)
• structureGdzie będzie n liczbę elementów.

Aby to osiągnąć, myślę o użyciu prostego void *typu parametru. Ale nie wiem, jak w bezpieczny sposób sprawdzić, czy parametr jest jednego rodzaju, czy drugiego.

Tłumaczenie void*to:
„Drogi kompilatorze, to jest wskaźnik, i nie ma dla ciebie dodatkowych informacji na ten temat”.

Zwykle kompilator wie lepiej niż ty (programista), ponieważ z informacji, które otrzymał wcześniej, wciąż pamięta i być może zapomniałeś.
Ale w tym szczególnym przypadku wiesz lepiej lub musisz wiedzieć lepiej. We wszystkich przypadkach void*informacje są dostępne inaczej, ale tylko dla programisty, który „akurat wie”. Programiści muszą więc przekazywać informacje kompilatorowi - lub lepiej działającemu programowi, ponieważ jedyną zaletą void*jest to, że informacje mogą się zmieniać w czasie wykonywania.
Zwykle odbywa się to poprzez przekazanie informacji za pomocą dodatkowych parametrów do funkcji, czasami przez kontekst, tzn. Program „zdarza się wiedzieć” (np. Dla każdego możliwego typu istnieje osobna funkcja, która z wywoływanych funkcji implikuje typ).

Tak więc ostatecznie void*nie zawiera informacji o typie.
Wielu programistów źle to rozumie jako „Nie muszę znać informacji o typie”.
Ale prawdą jest odwrotność: użycie programisty void* zwiększa odpowiedzialność programisty za śledzenie informacji o typie i przekazywanie go odpowiednio programowi / kompilatorowi.

void*są trochę przestarzałe w przypadku programowania ogólnego, nie ma obecnie wielu sytuacji, w których powinieneś ich używać. Są niebezpieczne, ponieważ prowadzą do nieistniejącego typu bezpieczeństwa. I, jak zauważyłeś, tracisz także informacje o typie, co oznacza, że ​​będziesz musiał przeciągać trochę nieporęcznych enumrazem z void*.

Zamiast tego powinieneś użyć C11, _Genericktóry może sprawdzać typy w czasie kompilacji i zwiększać bezpieczeństwo typów. Przykład:

#include <stdio.h>

typedef struct
{
  int n;
} s_t; // some struct

void func_str (const char* str)
{
  printf("Doing string stuff: %s\n", str);
}

void func_s (const s_t* s)
{
  printf("Doing struct stuff: %d\n", s->n);
}

#define func(x) _Generic((x),              \
  char*: func_str, const char*: func_str,  \
  s_t*:  func_s,   const s_t*:  func_s)(x) \


int main()
{
  char str[] = "I'm a string";
  s_t s = { .n = 123 };

  func(str);
  func(&s); 
}

Pamiętaj, aby dostarczyć kwalifikowane ( const) wersje wszystkich typów, które chcesz obsługiwać.

Jeśli chcesz poprawić błędy kompilatora, gdy program wywołujący przejdzie nieprawidłowy typ, możesz dodać statyczne potwierdzenie:

#define type_check(x) _Static_assert(_Generic((x), \
  char*:   1,  const char*: 1,  \
  s_t*:    1,  const s_t*:  1,  \
  default: 0), #x": incorrect type.")

#define func(x) do{ type_check(x); _Generic((x),     \
  char*: func_str, const char*: func_str,            \
  s_t*:  func_s,   const s_t*:  func_s)(x); }while(0) 

Jeśli spróbujesz czegoś takiego int x; func(x);, otrzymasz komunikat kompilatora "x: incorrect type".