Le comportement défini par la mise en œuvre est-il nécessaire pour être cohérent entre les exécutions en C ++?

IIRC, système () est nécessaire pour exister, mais donné un comportement défini de la mise en œuvre. Quelque chose comme le système ("ls | grep foo") aura naturellement différents effets basés sur la question de savoir si votre système peut ou non exécuter quelque chose appelé LS, qui peut varier entre les courses. Et, même sur une machine unix assez normale où la LS et le GREP font ce que vous attendez et ne vous en résulterez pas, le résultat dépendra toujours de l'existence d'un fichier avec FOO dans le nom, qui sera certainement autorisé à varier temps et d'où le programme est exécuté, etc. Cela dépend simplement de l'endroit où vous dessinez la ligne de "les mêmes données d'entrée". Si la machine est dans un état parfaitement identique, vous pouvez vous attendre à un comportement identique, mais pas de deux points ne comportera une machine vraiment dans un état de pédantisme. (Même la température de la CPU dans des machines autrement parfaitement identiques pourrait entraîner un comportement de limitation, qui modifie le gagnant de certaines conditions de course, ce qui entraîne visiblement dans différents comportements de votre programme.)

Un exemple que je peux penser, c'est si le programme utilise une grande ou une petite représentation de Endian pour des chiffres. Je crois que cela compterait certainement comme comportement défini par la mise en œuvre.

sur certaines puces, par exemple certaines croustilles de bras, il est possible de changer de mode au moment de l'exécution afin que vous puissiez vouloir un compilateur pouvant produire un programme qui fonctionnerait dans l'une ou l'autre sens du comportement défini qui pourrait être un comportement défini qui pourrait être différent de la mise en œuvre. chaque exécution en fonction des paramètres externes.

De même, je suppose que vous pouvez écrire un compilateur qui produit à la fois 32 AD 64 bits compilés du même programme - et le mode qu'il a exécuté pourrait être déterminé au moment de l'exécution. Encore une fois, la documentation devrait dire que les INT étaient 32 bits ou 64 bits en fonction de la façon dont vous l'avez couru.

Pour être honnête, je ne peux voir personne de faire de ces choses, mais ils sonnent tous deux des exemples vaguement plausibles de ce que vous demandiez et je ne vois pas pourquoi ils ne seraient pas légaux sous la norme aussi longtemps que La documentation a correctement documenté la nature du comportement dépendant du système.

Les garanties sont ce que le compilateur a documenté. Différents drapeaux de compilateur ou différents état de l'ordinateur à la compilation peuvent affecter la manière dont le compilateur / optimiseur traite votre programme et qui peut avoir un effet sur le résultat. Avec les drapeaux du compilateur ayant le plus grand impact (le même compilateur peut être utilisé pour générer des programmes 32 et 64 bits dans un environnement 64 bits, dans les deux exigences d'alignement des exécutions peut différer).

Vous pouvez vous attendre à ce que, dans la plupart des cas, la mise en œuvre fournira des garanties de base sur le comportement de la mise en œuvre et le programme qu'il génère pour un ensemble donné de paramètres compilateurs / lieurs. Même si la charge du système peut affecter le montant de l'optimiseur peut fonctionner sur votre programme - des optimiseurs de ce programme seront attribués à une durée limitée - qui ne devrait pas modifier le comportement attendu.

Notez que, bien qu'il n'y ait aucune garantie, il serait difficile de commercialiser un compilateur qui produit du code avec des comportements différents en fonction des paramètres non liés comme la position de la lune par rapport aux étoiles.