Discussion :

[bonnotguillaume]

Une question qui trotte dans ma tête :

Apparemment sizeof est un opérateur, l'expression serait donc évaluée à l’exécution. Mais comme le C est un langage fortement typé, on est sensé savoir le résultat à la compilation.

Intérêt d'évaluer l'expression l’exécution ? Y aurait il une optimisation par le compilateur ?

Merci d'avance

[mith06]

Salut,

Je ne saurais pas dire si le mot clef sizeof est un opérateur ou non. Pas contre je peut t’assurer qu'il est évalué à la compilation.

@+

[Thierry Chappuis]

sizeof est un opérateur unaire (voir n1256, §6.5.3). Sa sémantique est expliquée au §6.5.3.4 du même document.

L'opérateur sizeof est évalué à la compilation et non à l'exécution.

Avec mes meilleures salutations

Thierry

[bonnotguillaume]

Merci pour votre réponse

Ça confirme bien ce que je pensais.

[diogene]

L'opérateur sizeof est évalué à la compilation et non à l'exécution.

Exception faite naturellement pour les VLA du C99 qui ne peuvent être évalués qu'à l'exécution

[Obsidian]

Apparemment sizeof est un opérateur, l'expression serait donc évaluée à l’exécution. Mais comme le C est un langage fortement typé, on est sensé savoir le résultat à la compilation.

J'ajoute que le fait qu'un élément lexical soit ou non un opérateur est complètement indépendant, en soi, du fait d'être résolu à la compilation ou évalué à l'exécution : si une expression n'est composée que d'opérateurs et de constantes et que sa valeur peut être déterminée par le compilateur, alors celui-ci la résoudra avant de générer le code.

L'ambiguïté vient du fait que sizeof est le seul mot-clé réservé du C qui soit en lui-même une fonction mathématique (c'est-à-dire une expression qui peut être évaluée, d'une part, et dont la valeur est fonction de son paramètre, d'autre part). Ça laisse notamment penser aux gens que sizeof prend toujours des parenthèses alors qu'en fait, il n'en prend jamais. On les met en fait autour d'un nom de type lorsque l'on veut connaître sa taille intrinsèque (même syntaxe qu'un cast). Sinon, le compilateur estime que les parenthèses font partie de l'expression à faire examiner par sizeof, mais pas à sizeof lui-même.

Par contre, sizeof est bien un mot-clé réservé et pas une fonction au sens C du terme. À part les VLA, tout est résolu à la compilation et, par exemple, il n'est pas possible d'obtenir un pointeur vers une éventuelle « fonction sizeof() ».