Quel est le but de restrict dans tmpfile_s?

Question

De C11 projet:

C11 (n1570), § K.3.5.1.1 La fonction tmpfile_s
errno_t tmpfile_s(FILE * restrict * restrict streamptr);

Quel est le but de la qualification ici restrict? Parce qu'il n'y a pas d'autres paramètres, le compilateur peut savoir que streamptr n'est pas aliasé sans restrict, n'est-ce pas?

Answer 1

Il existe plusieurs variables globales qui ont le type FILE*, par exemple stdout et stderr par exemple. Donc, le restrict le plus à gauche indique clairement qu'aucun d'entre eux ne peut être retourné, le FILE* retourné ne correspond à aucun alias. La deuxième restrict offre la même garantie mais un niveau plus élevé, vous n'êtes pas autorisé à passer quelque chose comme &stderr dans cette fonction. (Bien stderr n'est pas nécessairement une variable dans le sens habituel, mais j'espère que vous voyez l'image.)