[C] Typecheck

[HammerT]

Ik zou graag onderscheid willen maken tussen structures in een list. De list werkt ok, dat is verder niet zo'n probleem, ik heb bijvoorbeeld een functie:

C:

void *list_index(const List * list, int index) {
    assert(index < list->size);
    return list->data[index];
}

Hierin kunnen verschillende soorten structs staan:

C:

typedef struct structA { List *x; char *y; List *z; } structA;
typedef struct structB { List *u; char *w; } structB;

Nu wil ik dus weten wat voor type er op een bepaalde index staat, het is totaal willekeurig. Bijvoorbeel zo:

C:

structA *A;
structB *B;
A = list_index(list, j);
B = list_index(list, j);

Alleen hoe weet ik nu welke de juiste is? Ik heb gezocht op typeof (ik gebruik GCC die dat ondersteund iig) maar niet gevonden hoe zoiets zou moeten.

[ Voor 0% gewijzigd door HammerT op 22-11-2009 18:02 . Reden: typedef moest zijn typeof ]

[muksie]

Ik ben niet zo'n C expert, maar ik denk dat het lastig wordt omdat je list_index een void* teruggeeft, en je zult zelf op een of andere manier dan moeten weten wat het precieze type is.

Je zou het misschien met een union en een hulpvariable voor het bijhouden van het type kunnen doen, ongeveer zoiets:

C:

union el_value {
  structA a;
  structB b;
};

typedef struct elem {
  el_value value;
  unsigned int type; // om bij te houden wat voor type value heeft, bijv. 0=structA, 1=structB
} elem;

[Soultaker]

In C heb je at runtime geen typeinformatie meer, dus als je dat onderscheid wil maken moet je de structs taggen (bijvoorbeeld zoals muksie voorstelt). typeof is geen standaardconstructie en helpt je hier ook niet: het geeft je de mogelijkheid om aan het type van een variabele te refereren zonder dat je weet wat voor type dat is. Dat is handig om bepaalde macro's te schrijven, maar het blijft een compile time constructie, en je hebt er niets meer aan om at runtime het type te bepalen.