Existe-t-il un bon moyen de forcer l'incompatibilité de type en C?

Question

Aux fins de la vérification du type je voudrais définir une fonction sur les lignes de

void myfunc(type1 a, type2 b) 
{ 
... 
} 

où type1 et type2 sont tous deux typedefed à uint8_t. Jusqu'ici tout va bien, mais pour des raisons de santé et de vérification (pensez à DbC), je voudrais éviter que la fonction soit appelée avec une valeur type2 pour le premier paramètre ou une type1 pour la seconde. Malheureusement, le typecasting implicite de C est contre moi ici. Est-ce que quelqu'un connaît un moyen?

Answer 1

Vous pourriez envelopper les deux types dans un Struct.

typedef struct { 
    uint8_t data; 
} type1; 

typedef struct { 
    uint8_t data; 
} type2; 

Edit: Je n'ai pas l'aimer parce que vous maintenant d'utiliser a.data au lieu d'un

Answer 2

Je pense que vous pouvez envelopper vos types en utilisant struct et ensuite passer le pointeur à ces struct.