Passant trop d'arguments à printf

Question

Tout programmeur C qui a travaillé pendant plus d'une semaine a rencontré des accidents qui résultent de l'appel printf avec spécificateurs plus de format que les arguments réels, par exemple:

printf("Gonna %s and %s, %s!", "crash", "burn"); 

Cependant, sont-il mauvaises choses similaires qui peuvent se produire lorsque vous passez trop nombreux arguments à printf?

printf("Gonna %s and %s!", "crash", "burn", "dude"); 

Ma connaissance de l'ensemble x86/x64 me porte à croire que cela est sans danger, bien que je ne suis pas convaincu qu'il n'y a pas une condition de bord me manque, et je n'ai aucune idée sur d'autres architectures. Cette condition est-elle garantie pour être inoffensive, ou y a-t-il un piège potentiellement générateur d'accidents ici aussi?

Answer 1

Vous savez sans doute le prototype de la fonction printf comme quelque chose comme ça

int printf(const char *format, ...); 

Une version plus complète de ce serait en fait

int __cdecl printf(const char *format, ...); 

Le __cdecl définit la « convention d'appel » qui, avec d'autres choses, décrit comment les arguments sont traités. Dans le cas présent, cela signifie que les arguments sont poussés sur la pile et que la pile est nettoyée par la fonction effectuant l'appel. Une alternative à _cdecl est __stdcall, il y a d'autres. Avec __stdcall la convention est que les arguments sont poussés sur la pile et nettoyés par la fonction appelée. Cependant, autant que je sache, il n'est pas possible pour une fonction __stdcall d'accepter un nombre variable d'arguments. Cela a du sens car il ne sait pas combien de pile à nettoyer. Le long et le court de cela est que dans le cas de __cdecl fonctionne son sûr de passer cependant de nombreux args que vous voulez, puisque le nettoyage est effectué dans le code faisant l'appel. Si vous deviez en quelque sorte passer trop d'arguments à une fonction __stdcall, cela entraînerait une corruption de la pile. Un exemple d'où cela pourrait arriver est si vous aviez le mauvais prototype.

Plus d'informations sur les conventions d'appel peuvent être trouvées sur Wikipedia here.

Answer 2

Tous les arguments seront poussés sur la pile et supprimés si le cadre de la pile est supprimé. Ce comportement est indépendant d'un processeur spécifique. (Je me souviens seulement d'un mainframe qui n'avait pas de pile, conçu dans les années 70) Donc, oui, le deuxième exemple n'échouera pas.

Answer 3

printf est conçu pour accepter n'importe quel nombre d'arguments. printf lit ensuite le spécificateur de format (premier argument) et extrait les arguments de la liste d'arguments si nécessaire. C'est pourquoi trop peu d'arguments se plantent: le code commence simplement à utiliser des arguments inexistants, à accéder à de la mémoire qui n'existe pas, ou à quelque chose de mauvais. Mais avec trop d'arguments, les arguments supplémentaires seront simplement ignorés. Le spécificateur de format utilisera moins d'arguments que ceux qui ont été transmis dans

Answer 4

Online C Draft Standard (n1256), section 7.19.6.1, paragraphe 2:.

La fonction fprintf écrit la sortie dans le flux pointé par stream, sous le contrôle de la chaîne pointé par format qui spécifie comment les arguments suivants sont convertis pour la sortie.S'il n'y a pas suffisamment d'arguments pour le format, le comportement est indéfini. Si le format est épuisé alors que les arguments restent, les arguments en excès sont évalués (comme toujours) mais ignorés autrement. La fonction fprintf renvoie lorsque la fin de la chaîne de format est rencontrée.

Le comportement pour toutes les autres fonctions *printf() est le même que pour les arguments en excès, sauf pour vprintf() (évidemment).

Answer 5

Commentaire: les deux avertissements gcc et produisent clang:

$ clang main.c 
main.c:4:29: warning: more '%' conversions than data arguments [-Wformat] 
    printf("Gonna %s and %s, %s!", "crash", "burn"); 
          ~^ 
main.c:5:47: warning: data argument not used by format string 
         [-Wformat-extra-args] 
    printf("Gonna %s and %s!", "crash", "burn", "dude"); 
     ~~~~~~~~~~~~~~~~~~     ^
2 warnings generated.