Discussion :

[Amfrey95]

Bonjour à tous,

je voulais savoir, en C, s'il est possible de connaitre le type d'une variable ?
C'est à dire que j'ai créé une variable "toto", et par une fonction ou autre, d'avoir un retour qui me dise, cette variable est un "unsigned long" par exemple.
Pour info, il n'y aura pas de pointeur.

J'ai vu qu'il existe la fonction "typeof", mais impossible de la mettre en marche ou de comprendre réellement comment elle fonctionne.

D'avance, merci

[gerald3d]

Bonjour.

Le C est un langage fortement typé. Par défaut, en dehors d'un paramètre de fonction de type void*, tu es contraint de spécifier le type de variable que tu attends. En regardant la fonction TypeOf() les exemples donnés n'utilisent que les macros, ce qui me parait tout à fait cohérent ici. Je dirai donc en résumé que connaître le type d'un paramètre d'une fonction est contradictoire puis que tu le connais par défaut. Si par contre tu veux faire une fonction qui soit "surchargeable" comme en C++ alors il te faut passer par les macros.

Exemple de la documentation officielle de typeof ():

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
#define max(a,b) \
  ({ typeof (a) _a = (a); \
      typeof (b) _b = (b); \
    _a > _b ? _a : _b; })

[dalfab]

Bonjour,

Il faudrait peut-être reformuler ton besoin. En C, si on a une variable ou un paramètre on a forcément son type, la variable et son type son indissociables!
Le seul cas de type erasure, comme l'a écrit @gerald3d, c'est void* où on pointe sur de l'inconnu, la type pointé est alors perdu et n'est pas retrouvable.
Et typeof(x) est un type, le type de x. Mais un type est l'unité nécessaire à la construction du code, par exemple au moment où le code s'exécute, les types n'existent plus et il ne reste que des zones mémoires que le code généré utilise.

[Amfrey95]

Merci pour la réponse, mais ce n'est pas vraiment ce que j'attendais. Là, d'après l'exemple que tu donnes, tu compares deux types pour savoir qui utilisent le plus d'octet.
Moi je veux vraiment savoir quel type c'est, unsigned char, signed char, unsigned short, signed short, ...., signed long, float, ....

Pour expliquer rapidement ce que je veux faire, je veux créer des structures avec plein de variables dedans, de tout type et je veux envoyer ces structures pour UART, sachant que de l'autre côté, il ne sait pas ce qu'il doit recevoir. Donc le but est d'envoyer les infos : premier donnée, c'est un flotant, deuxième donnée, c'est un char, etc...

J'espère avoir avec été clair ?

Merci

[Obsidian]

Salut à tous,

Il n'y a pas, à ma connaissance, de mot-clé ou fonction typeof en C standard, pas même en C++ qui dispose pourtant de typeid. En tout cas pas dans les versions éprouvées jusqu'ici. Les exemples cités ci-dessus sont des extensions de GNU. On peut les utiliser à condition d'être OK pour ne pas produire de C standard.

Une brève recherche montre que typeof n'a fini par être intégré au standard qu'avec C23, donc l'an dernier seulement.

Merci pour la réponse, mais ce n'est pas vraiment ce que j'attendais. Là, d'après l'exemple que tu donnes, tu compares deux types pour savoir qui utilisent le plus d'octet.
Moi je veux vraiment savoir quel type c'est, unsigned char, signed char, unsigned short, signed short, ...., signed long, float, ....

Pour expliquer rapidement ce que je veux faire, je veux créer des structures avec plein de variables dedans, de tout type et je veux envoyer ces structures pour UART, sachant que de l'autre côté, il ne sait pas ce qu'il doit recevoir. Donc le but est d'envoyer les infos : premier donnée, c'est un flotant, deuxième donnée, c'est un char, etc...

C'est le problème qui touche la plupart des langages populaire purement compilés à typage statique : la sérialisation et l'introspection. C'est là même les deux propriétés les plus attendues des versions des standards des langages orientés objet et ce sont celles qui manquent encore le plus à C++ (alors qu'il est déjà nettement plus simple de les implémenter dans un langage interprété ou semi-interprété).

En théorie, tu ne devrais pas en avoir besoin du tout dans un contexte C parce que la chaîne de traitement est censée être déterministe d'un bout à l'autre. Comment, dans ce cas, concilier ce fait avec ce que l'on vient d'exposer ? Malheureusement en exhibant le fait que ce que tu veux — légitimement — faire à la base n'est pas possible de façon simple : en effet, tu ne peux, à la base, énumérer facilement les membres d'une structure sans connaître le type de celle-ci et tu ne peux pas passer des structures de types différents à une même fonction sans recourir à void * ou en utilisant la surcharge de fonction, qui n'existe pas non plus en C (sauf si cela a été rétroporté avec des versions récentes de la norme, mais je n'ai pas vérifié).

En revanche, il existe désormais _Generic, depuis C11, qui permet en gros de faire une sorte de select sur des types connus : https://en.cppreference.com/w/c/language/generic

[Bousk]

Les variables sont typées, donc quand tu écris int var; ben var est un... int
Maintenant si ton problème est de la sérialisation, alors tu dois créer un protocol que chaque partie saura interpréter. Et là tu fais un peu ce que tu veux.
Pour un cas basique comme ça, je verrais un simple enum qui définit les types supportés, suivi des données brutes.
Ou alors utiliser quelque chose comme protocol buffer.

[Amfrey95]

Obisian merci pour ton retour, ceci dit, je ne comprends pas trop l'exemple avec le _Generic
Bousk, j'avais pensé à un truc comme ça, mais je voulais juste lire n'importe quelle structure sans avoir à la modifier pour pouvoir envoyer les types de ses variables