Indéfini, indéterminé et de mise en œuvre définies par le comportement

Ce qui est un comportement indéfini dans le C et le C++? Ce sujet quelconque comportement et la mise en œuvre définies par le comportement? Quelle est la différence entre eux?

Je suis presque sûr que nous avons dne cela avant, mais je ne le trouve pas. Voir aussi: stackoverflow.com/questions/2301372/...
À partir de la comp.lang.c FAQ: les Gens semblent faire un point de la distinction entre la mise en œuvre définies, non spécifié, et un comportement indéfini. Que veulent-ils dire?
theunixshell.blogspot.com/2013/07/...
Voici une discussion intéressante (la section "Annexe L, et un Comportement non défini").

InformationsquelleAutor Zolomon | 2010-03-07

c c++implementation-defined-behavior undefined-behavior unspecified-behavior

387

Comportement indéfini est l'un de ces aspects de la C et C++ un langage qui peut être surprenant pour les programmeurs venant d'autres langues (autres langues essayer de le cacher mieux). Fondamentalement, il est possible d'écrire des programmes C++ qui ne se comportent pas de façon prévisible, même si de nombreux compilateurs C++ ne pas signaler toute erreur dans le programme!

Regardons un exemple classique:
```
#include <iostream>

int main()
{
    char* p = "hello!\n";   //yes I know, deprecated conversion
    p[0] = 'y';
    p[5] = 'w';
    std::cout << p;
}
```
La variable p points de la chaîne de caractères littérale "hello!\n", et les deux affectations ci-dessous tentent de modifier cette chaîne littérale. Ce que fait ce programme? Conformément à l'article 2.14.5 paragraphe 11 de la norme C++, il appelle comportement indéfini:

L'effet de la tentative de modifier une chaîne de caractères littérale n'est pas défini.

J'entends des gens crier "Mais attendez, je peux compiler ce pas de problème et obtenir la sortie yellow" ou "Qu'entendez-vous pas défini, les littéraux de chaîne sont stockées dans la mémoire en lecture seule, donc, la première affectation tentative résultats dans un core dump". C'est exactement le problème avec un comportement indéfini. En gros, la norme permet à autre chose une fois que vous invoquez un comportement indéfini (même nasale démons). Si il y a une "bonne" comportement en fonction de votre modèle mental de la langue, ce modèle est tout simplement faux; La norme C++ est le seul vote, période.

D'autres exemples de comportement indéfini comprennent l'accès à un tableau au-delà de ses limites, un déréférencement du pointeur null, l'accès à des objets d'après leur durée de vie terminée ou de l'écriture prétendument intelligents expressions comme i++ + ++i.

L'article 1.9 du C++ standard mentionne également un comportement indéfini deux moins dangereux frères, comportement non spécifié et de mise en œuvre définies par le comportement:

La sémantique des descriptions dans la présente Norme Internationale définir un paramétrée de façon non déterministe machine abstraite.

Certains aspects et des opérations de la machine abstraite sont décrites dans la présente Norme Internationale comme de mise en œuvre définies par (par exemple, sizeof(int)). Ceux-ci constituent les paramètres de la machine abstraite. Chaque mise en œuvre doit comporter une documentation décrivant ses caractéristiques et des comportements dans ces domaines.

De certains autres aspects et des opérations de la machine abstraite sont décrites dans la présente Norme Internationale comme non spécifié (par exemple, l'ordre d'évaluation des arguments à une fonction). Si possible, la présente Norme Internationale définit un ensemble admissible de comportements. Elles définissent le non déterministe aspects de la machine abstraite.

Certaines autres opérations sont décrites dans la présente Norme Internationale comme undefined (par exemple, l'effet de déréférencement du pointeur null). [ Note: la présente Norme Internationale n'impose pas d'exigences sur le comportement des programmes qui contiennent un comportement indéfini. —la note de fin de ]

Plus précisément, l'article 1.3.24 états:

Admissible comportement indéfini varie de en ignorant la situation complètement avec des résultats imprévisibles, à se comporter lors de la traduction ou de l'exécution du programme dans documenté de façon caractéristique de l'environnement (avec ou sans émission d'un message de diagnostic), à la terminaison d'une traduction ou d'exécution (avec l'émission d'un message de diagnostic).

Que pouvez-vous faire pour éviter de courir dans un comportement indéfini? En fait, vous devez lire bon C++ livres par les auteurs, qui savent de quoi ils parlent. À vis de l'internet des tutoriels. Vis bullschildt.
- C'est un drôle de fait qui résulte de la fusion que cette réponse ne couvre que C++ mais c'est une question de balises inclut C. C a une autre notion de "comportement indéfini": Il aura encore besoin de la mise en œuvre pour donner les messages de diagnostic même si le comportement est également indiqué pour être indéfini pour certaines violations des règles (violations de contrainte).
- C'est mal, en effet. Pourquoi ne pas associer plusieurs réponses de la question?
- Dans l'extrait de code, est-ce le cas (modification d'une chaîne littérale) un comportement indéfini, car la chaîne littérale pourrait avoir été affecté à un texte en lecture seule segment?
- C'est un comportement indéfini parce que la norme dit que c'est un comportement indéfini, période. Sur certains systèmes, en effet, les littéraux de chaîne sont stockés dans le texte en lecture seule segment, et le programme va planter si vous essayez de modifier une chaîne littérale. Sur d'autres systèmes, le littéral de chaîne va en effet apparaître de changement. La norme ne précise pas ce qui doit arriver. C'est ce comportement indéfini signifie.
- Je suggère de mentionner optimisations du compilateur: les compilateurs et ne peut complètement supprimer des blocs entiers avec un comportement indéterminé, alors que de compter sur une quelconque comportement est stupide parce que le code compilé peut pas faire ce que vous attendez, mais il ne peut pas être supprimé. (GCC à -O2 utilise certains comportements indéfinis pour marquer un autre code dans le bloc comme mort!!!)
- Pourquoi un bon compilateur nous permettre de compiler le code qui donne un comportement indéfini? Exactement ce que bon peut la compilation de ce genre de code? Pourquoi ne pas tous les bons compilateurs de nous donner un énorme rouge signe d'avertissement lorsque nous essayons de compiler le code qui donne un comportement indéfini?
- Si possible un (standard) sortie du compilateur binaire que nukes le disque dur/briques de votre appareil ou installe les logiciels malveillants lorsque vous lui donnez un programme avec un comportement indéfini?
- Il y a certaines choses qui ne sont pas vérifiables au moment de la compilation. Par exemple, il n'est pas toujours possible de garantir qu'un pointeur null est jamais déréférencé, mais il n'est pas défini.
- Au-delà de simplement être compétent au C++ jargon juridique/spec (lire de bons livres), vous aurez également besoin de lire votre compilateur manuels de comprendre ce que la mise en œuvre définies et non précisées comportement que vous travaillez. Particulièrement utile pour les microcontrôleurs, car ils utilisent souvent des propriétaires compilateurs qui rend plus difficile de google pour obtenir de l'aide lorsque vous rencontrez quelque chose de bizarre.
- "ceux des aspects du langage C++ qui peut être surprenant pour les programmeurs venant d'autres langues. Fondamentalement, il est possible d'écrire des programmes C++ qui ne se comportent pas de façon prévisible" ce n'est pas une très bonne phrase parce que, en disant cela le fait ressembler à un comportement indéterminé, est synonyme de non-déterministe.
- un comportement indéfini peut non-déterministe. Par exemple, il est impossible de connaître à l'avance le contenu de la mémoire non initialisée sera, par exemple. int f(){int a; return a;}: la valeur de a peuvent changer entre les appels de fonction.
- Absolument. Plus au point, il peut produire un programme qui a une faille de sécurité, qui permet à un attaquant d'installer les logiciels malveillants. Probablement la plupart des failles de sécurité sont le résultat de l'exploitation de comportement indéfini.
- Encore plus au point, elle peut conduire à un compilateur pour omettre les limites des contrôles qui ne serait pertinent que si le programme d'évoquer un Comportement Indéfini, à l'effet que, même si l'original UB aurait été bénignes (par exemple, un dépassement de capacité dans un calcul dont le résultat finit par obtenir ignoré) la omis de vérification de limites pourrait permettre à la hors-de-gamme de la valeur à déclencher un comportement dangereux.
- en continuant votre chaîne littérale exemple, si une chaîne de caractères littérale est changé; il pourrait avoir un impact d'autres variables - prendre l'exemple ci-dessus et ajouter auto q= "hello!\n"; q maintenant, peut ou ne peut pas être "bonjour!\n" ou "jaune\n" et pour le pire; q peut ou peut ne pas être dans la même fonction que p.
InformationsquelleAutor fredoverflow
93

Bien, c'est essentiellement un droit de copier-coller à partir de la norme

3.4.1 1 de mise en œuvre définies par le comportement comportement quelconque où
chaque mise en œuvre des documents de la façon dont le
le choix qui est fait

2 EXEMPLE Un exemple de
la mise en œuvre définies par le comportement est le
la propagation de la haute-bit afin de quand
un entier signé est décalé à droite.

3.4.3 1 comportement indéfini comportement, lors de l'utilisation d'un non-compatibles ou erronées
programme de construction ou d'erreur
de données, pour lequel la présente International
La norme n'impose pas d'exigences

2
NOTE Possible un comportement indéfini
les plages d'ignorer la situation
complètement avec des résultats imprévisibles,
à se comporter lors de la traduction
l'exécution du programme dans une documenté
de façon caractéristique de l'
de l'environnement (avec ou sans l'
émission d'un message de diagnostic), à
cessation de la traduction ou de l'exécution
(avec l'émission d'un diagnostic
message).

3 EXEMPLE Un exemple de
un comportement indéfini est le comportement sur
débordement d'entier.

3.4.4 1 comportement non spécifié l'utilisation d'une valeur indéterminée, ou tout autre comportement
lorsque la présente Norme Internationale
fournit deux ou plus de possibilités et de
n'impose pas d'exigences supplémentaires
qui est choisie dans toute instance

2
EXEMPLE Un exemple de non précisé
le comportement est l'ordre dans lequel les
les arguments d'une fonction sont évalués.
- Quelle est la différence entre la mise en œuvre définies et non précisées de comportement?
- Comme il est dit: basucally la même chose, sauf que dans le cas de la mise en œuvre définies par la mise en œuvre est requred du document (pour la garantie) exactement ce qui va se passer, alors qu'en cas de non précisé la mise en œuvre n'est pas nécessaire de documenter et de garantir quoi que ce soit.
- Il reflète la différence entre 3.4.1 et 2.4.4.
- Est-il possible pour un compilateur de laisser un comportement indéfini de l'onu mis en œuvre? Qu'arriverait-il? Par exemple a[i] = i++ est pas défini. Est-il possible pour un compilateur pour être suffisamment sophistiqué pour être programmé pour cet événement? Qu'arriverait-il, il serait juste de sortie aléatoire de l'assemblée?
- Si le compilateur reconnaît UB, il peut élaguer la branche de l'exécution. Si ce n'est pas, quoi qu'il en sorties peuvent être non-sens et de donner le processeur sévère indigestion.
- Hyper-les compilateurs modernes, ne peut faire mieux que cela. Compte tenu de int foo(int x) { if (x >= 0) launch_missiles(); return x << 1; } un compilateur peut déterminer que, puisque tous les moyens d'invoquer la fonction ne pas lancer les missiles invoquer un Comportement Indéfini, il peut faire appel à launch_missiles() inconditionnel.
- que signifie le fait que "la présente Norme internationale n'impose pas d'exigences" un comportement non défini?
- Étant donné que C était en usage pendant des années avant que le premier Standard a été écrit, le membre de phrase "la Norme n'impose pas d'exigences" utilisé pour signifier que les implémentations semblables à celles qui datent d'avant la norme devrait se comporter de la même manière par les implémentations existantes, en l'absence d'une raison impérieuse de le faire autrement. Dans de nombreux cas, les choses ont été laissées UB pour éviter exigeant que les implémentations existantes à modifier d'une façon qui pourrait les rendre moins efficace ou casser le code existant.
- alors quelle est la différence entre un comportement indéterminé indéterminé et, si aucune garantie de quelque chose en particulier à arriver? Est-ce que quelconque, la même chose doit se produire chaque fois que le programme est exécuté sur la même machine?
- Comme le dit la citation unis, comportement quelconque est généralement limitée à une série de comportements possibles. Dans certains cas, vous pourriez même arriver à la conclusion que toutes ces possibilités sont acceptables dans le contexte donné, et dans ce cas un comportement non spécifié n'est pas un problème du tout. Un comportement indéfini est entièrement libre (e.b". le programme peut décider de formater votre disque dur"). Un comportement indéfini est toujours un problème.
- Ne veut pas dire quoi exactement? Par "un ensemble limité de comportements possibles", je fais allusion à la partie où le bien dit "fournit deux ou plus de possibilités".
- Qui semble fondamentalement le même comportement indéfini. En supposant un ordinateur a un nombre fini d'états, le point "ensemble limité de comportements possibles" est discutable. Je suppose que la distinction implicite est un comportement non spécifié a beaucoup moins de possibilités que pas défini.
- Nope. Le point clé de la en cas de "comportement non spécifié" est le fait que l'ensemble des comportements possibles est en fait indiqué et limité. Et généralement, il est facile de overseeable ensemble. Ce qui est indéterminé qui est spécifique de la possibilité (à la sortie de ce jeu) seront choisis par le compilateur. L'implicite des distinctions est que l'ensemble des posibilités est généralement restgricted et [assez] indépendant de la plateforme. Dans le cas d'un comportement indéfini est libre (et donc dépend de la plateforme, sous votre "nombre fini d'états" de raisonnement).
- La spécification du langage ne fait pas mention de "formatage de votre disque dur" n'importe où. Pourtant, il n'est pas une possibilité undfer tout de non spécifié comportements, mais une possibilité, en vertu de l'un quelconque de undefined comportements. Cela met l'accent sur la distinction plutôt bien.
- Je vous conseille de supprimer cette info dans les commentaires et le copier dans la réponse. J'ai moi-même, mais modifier est désactivé.
- Je ne dirais pas que la distinction comme "indépendant de la plateforme", mais tout le contraire. Sur une plate-forme où se lit de plusieurs adresses de déclencher les actions matérielles (nombre de cartes I/O pour l'Apple II, , y compris la carte contrôleur du disque, le travail de cette façon), il ne devrait pas être surprenant si errants lit indésirable actions matériel, y compris l'effacement de disques. Qui n'implique pas des programmeurs devraient être exigées pour éviter errants se lit à tous les frais lors du ciblage de plates-formes où ils allaient, au pire, de donner un sens de la valeur.
InformationsquelleAutor AnT
57

Peut-être facile libellé pourrait être plus facile de comprendre que la rigueur de définition des normes.

de mise en œuvre définies par le comportement

La langue dit que nous avons des types de données. Le compilateur vendeurs de spécifier quelles sont les tailles sont qu'ils utilisent, et de fournir une documentation de ce qu'ils ont fait.

comportement indéfini

Vous faites quelque chose de mal. Par exemple, vous avez une très grande valeur dans un int qui ne rentre pas dans char. Comment voulez-vous mettre cette valeur dans char? en fait il n'y a pas de chemin! Quelque chose pourrait se produire, mais la chose la plus sensée serait de prendre le premier octet de l'int et de mettre en char. Il est tout simplement erroné de le faire pour attribuer le premier octet, mais c'est ce qui se passe sous le capot.

comportement non spécifié

La fonction de ces deux est exécuté en premier?
```
void fun(int n, int m);

int fun1()
{
  cout << "fun1";
  return 1;
}
int fun2()
{
  cout << "fun2";
  return 2;
}
...
fun(fun1(), fun2()); //which one is executed first?
```
La langue n'a pas spécifier l'évaluation, de gauche à droite ou de droite à gauche! Si un quelconque problème peut ou mayn pas donner lieu à un comportement indéfini, mais certainement votre programme ne doit pas produire un comportement quelconque.

@eskay aux je pense que ta question vaut la peine d'édition de la réponse à clarifier les plus 🙂

pour fun(fun1(), fun2()); n'est pas le
le comportement de la mise en œuvre "défini"?
Le compilateur doit choisir l'un ou l'
d'autres cours, après tout?

La différence entre la mise en œuvre définies et non précisées, c'est que le compilateur est censé choisir un comportement dans le premier cas, mais ce ne sont pas que dans le second cas. Par exemple, une mise en œuvre doit avoir une et une seule définition de sizeof(int). Donc, il ne peut pas dire que sizeof(int) est 4 pour une partie du programme et de 8 pour les autres. À la différence de comportement quelconque, où le compilateur peut dire OK, je vais évaluer ces arguments de gauche à droite et du côté de la fonction, les arguments sont évalués de droite à gauche. Il peut arriver dans le même programme, c'est pourquoi il est appelé non spécifié. En fait, C++ aurait été plus facile si certains de l'une quelconque des comportements ont été spécifiés. Jetez un coup d'oeil ici à Le dr de Stroustrup réponse pour que:

Il est affirmé que la différence
entre ce qui peut être produit en donnant
le compilateur de cette liberté et de
exigeant "ordinaire de gauche à droite
l'évaluation" peut être importante. Je suis
pas convaincu, mais avec d'innombrables
les compilateurs "là-bas" de prendre l'avantage
de la liberté et de certaines personnes
passionnément la défense de cette liberté, une
le changement sera difficile et pourrait
prendre des décennies à pénétrer à l'
lointain coins du C et C++
des mondes. Je suis déçu de pas tous
les compilateurs en garde contre un code tel que
++i+i++. De même, l'ordre d'évaluation des arguments est
non spécifié.

OMI beaucoup trop de "choses" sont de gauche
indéfini, indéterminé,
la mise en œuvre définies, etc. Cependant,
c'est facile à dire et même à donner
exemples d', mais difficile à corriger. Il
convient également de noter qu'il n'est pas
difficile d'éviter la plupart des
les problèmes et produire portable
code.
- pour fun(fun1(), fun2()); n'est pas le comportement "implementation defined"? Le compilateur doit choisir l'un ou l'autre, après tout?
- merci pour l'explication. Je le comprends maintenant. Btw, "I am gonna evaluate these arguments left-to-right and the next function's arguments are evaluated right-to-left" je comprends ce can arriver. Est-il vraiment, avec les compilateurs que nous utilisons de nos jours?
- Vous devez demander à un gourou sur ce qui a mis la main à la pâte avec de nombreux compilateurs 🙂 autant que je sache, VC évalue les arguments de droite à gauche toujours.
- Il peut certainement arriver. Scénario Simple: foo(bar, boz()) et toto(boz(), bar), où la barre est un int et boz() est une fonction retournant int. Supposons qu'un CPU dont les paramètres sont devrait être adopté dans les registres R0-R1. Résultats de la fonction sont retournés dans R0; fonctions peuvent corbeille R1. L'évaluation de "bar" avant "boz()" nécessiterait l'enregistrement d'une copie de la barre de quelque part d'autre avant d'appeler boz() et puis le chargement de cette copie enregistrée. L'évaluation de "bar" après "boz()" permet d'éviter une banque de mémoire et de re-chercher, et une optimisation de nombreux compilateurs ferait indépendamment de leur ordre dans la liste d'arguments.
- Je ne connais pas le C++ mais le C standard dit que la conversion d'un int à un char, c'est soit de la mise en œuvre définies ou même bien définies (selon les valeurs réelles et de ce paramètre de types). Voir C99 §6.3.1.3 (inchangé en C11).
- Autant que je sache, non spécifié: Voici une liste de choses que vous pouvez faire si vous le trouvez, choisissez celui que vous aimez le plus. la mise en Œuvre définie par: faire ce que vous voulez faire pour résoudre ce problème, tant que c'est efficace. Undefined: faire ce que vous voulez. ou de ne pas faire n'importe quoi, je n'ai pas de soins. Je ne suis pas ici pour du babysitting négligent les programmeurs.
- Il n'y a rien "négligent" sur l'utilisation de la non-portable constructions sur la qualité des compilateurs qui les soutiennent. Je ne sais pas pourquoi les gens lisent la phrase "non portables ou erronée" comme signifiant "erronée", ou pourquoi les rédacteurs de compilateur ne vois pas la capacité à utilement et efficacement traiter une large gamme de programmes portables comme un trait de la qualité des compilateurs.
- Eh bien, je pourrait d'accord, C est un langage pour les gens qui savent ce qu'ils font, après tout. à droite?. La chose est, les chances sont que nous ne le sait pas toujours exactement ce que nous faisons, sinon le " C " de la balise dans la ne ferait pas de sens. Je suis même tombée sur des questions ici qui me font chose que l'op a été l'apprentissage de C par la lecture de "C pour les Nuls" ou d'un matériau similaire. Ces gens n'ont aucune idée, quelle qu'elle soit, de ce qu'ils font. Si vous savez que votre plate-forme assez bien pour savoir à quoi s'attendre à chaque fois que vous invoquez un comportement indéfini, alors félicitations, vous êtes un meilleur programmeur que moi.
- La Norme suggère un comportement typique de "bien se Comporter dans un cas documenté de la mode caractéristique de l'environnement". Historiquement, c'utilisé pour signifier que, dans la plupart des cas où un environnement avait caractéristique des comportements qui pourraient être utiles, les implémentations serait les exposer. Malheureusement, le Standard n'a jamais pris la peine de spécifier tous les moyens de dire "donnez-moi la plate-forme de comportement" depuis qu'ils ont compris que les implémentations où ce serait utile, naturellement, de le faire sans que le programmeur d'avoir à faire quelque chose de spécial.
InformationsquelleAutor AraK
26

De l'officiel C Justification Document

Les termes non spécifié comportement, undefined comportement, et de mise en œuvre définies par comportement sont utilisés pour classer le résultat de l'écriture de programmes dont les propriétés de la Norme n'est pas, ou ne peuvent pas décrire complètement. L'objectif de l'adoption de cette catégorisation est de permettre une certaine variété entre les implémentations qui permet la qualité de mise en œuvre pour être une force active dans le marché ainsi que pour permettre à certaines extensions populaires, sans enlever le cachet de conformité à la Norme. L'annexe F de la Norme catalogues des comportements de ceux qui tombent dans l'une de ces trois catégories.

Comportement non spécifié donne l'implémenteur une certaine latitude dans la traduction de programmes. Cette latitude ne pas s'étendre jusqu'à défaut de traduire le programme.

Comportement indéfini donne l'implémenteur de licence de ne pas rattraper certaines erreurs de programme qui sont difficiles à diagnostiquer. Il identifie également les domaines de la possible conforme extension du langage: le réalisateur peut augmenter la langue en fournissant une définition de la officiellement un comportement indéfini.

De mise en œuvre définies par comportement donne un réalisateur de la liberté de choisir la solution appropriée, mais exige que ce choix sera expliqué à l'utilisateur. Comportements désignés comme définis par l'implémentation sont généralement ceux dans lesquels un utilisateur peut prendre des décisions en matière de codage basée sur la mise en œuvre définition. Les réalisateurs devraient garder à l'esprit ce critère au moment de décider quelle est l'ampleur de mise en œuvre définition, devrait être. Comme avec un comportement non spécifié, tout simplement échoué à traduire la source contenant la mise en œuvre définies par le comportement n'est pas une réponse adéquate.
- Hyper-moderne compilateur auteurs considèrent également le "comportement non défini" comme donnant les rédacteurs du compilateur licence de supposer que les programmes ne recevrez jamais d'entrées qui serait la cause d'un Comportement Indéfini, et de modifier arbitrairement tous les aspects de la façon dont les programmes se comportent lorsqu'ils reçoivent de telles données.
- Un autre point que je viens de remarquer: C89 n'utilisent pas le terme "extension" pour décrire les fonctionnalités qui ont été garanti dans certaines implémentations, mais pas d'autres. Les auteurs de C89 reconnu que la majorité des puis-implémentations actuelles permettrait de traiter l'arithmétique signée et non signée de l'arithmétique à l'identique, sauf lorsque les résultats ont été utilisés dans certaines façons, et ce traitement s'applique même en cas de signé débordement; ils n'ont pas de liste commune de l'extension à l'Annexe J2, cependant, ce qui me laisse croire qu'ils la considéraient comme un état naturel des choses, plutôt que d'une extension.
InformationsquelleAutor Johannes Schaub - litb
10

Un Comportement indéfini vs Comportement non spécifié a une courte description de celui-ci.

Leur finale résumé:

Pour résumer, un comportement non spécifié est généralement quelque chose que vous ne devriez pas
s'inquiéter, à moins que votre logiciel est nécessaire pour être portable.
À l'inverse, un comportement indéfini est toujours indésirable et ne doit jamais
se produire.
- Il existe deux types de compilateurs: ceux qui, à moins explicitement documentées autrement, d'interpréter la plupart de la Norme formes de Comportement Indéfini comme retomber dans l'caractéristique des comportements documenté par le sous-jacent de l'environnement, et ceux qui, par défaut, uniquement utile d'exposer les comportements, la Norme définit comme la mise en Œuvre Définies. Lors de l'utilisation de compilateurs du premier type, beaucoup de choses du premier type peut être fait de manière efficace et en toute sécurité à l'aide de l'AC. Les compilateurs pour le deuxième type ne seront approprié pour de telles tâches, si elles fournissent des options de garantie de comportement dans de tels cas.
InformationsquelleAutor Anders Abel
7

Point de vue historique, la mise en Œuvre Définies par le Comportement et Comportement Indéfini correspondent à des situations dans lesquelles les auteurs de la Norme attend à ce que les gens de l'écriture de la qualité des implémentations ferait usage de jugement pour décider du comportement des garanties, le cas échéant, serait utile pour des programmes dans le domaine d'application en cours d'exécution sur les cibles. Les besoins de haut de gamme arithmétique code sont très différentes de celles de faible niveau des systèmes de code, et à la fois AC et de la BID donner les rédacteurs du compilateur de flexibilité pour répondre à ces différents besoins. Ni la catégorie des mandats que les implémentations de se comporter d'une manière qui est utile pour un usage particulier, ou même pour n'importe quel but que ce soit. La qualité des implémentations qui demande à être adapté pour un usage particulier, cependant, doit se comporter d'une manière digne de cette fin si la Norme l'exige ou pas.

La seule différence entre la mise en Œuvre Définies par le Comportement et Comportement Indéfini, c'est que le premier exige que les implémentations de définir et de documenter un comportement cohérent même dans les cas où rien de la mise en œuvre pourrait, éventuellement, ne serait utile. La ligne de démarcation entre eux n'est pas de savoir si il serait généralement utile pour les implémentations de définir les comportements (les rédacteurs du compilateur doit définir utile comportements lors de la pratique si la Norme exige d'eux ou pas) mais s'il pourrait y avoir des implémentations d'où la définition d'un comportement serait d'être à la fois coûteux et inutile. Un jugement que ces implémentations peuvent exister n'est pas en aucune manière, la forme, ou la forme, implique aucun jugement sur l'utilité de soutenir un comportement défini sur d'autres plates-formes.

Malheureusement, depuis le milieu des années 1990, les rédacteurs du compilateur ont commencé à interpréter l'absence de comportement des mandats d'arrêt qui comportementale garanties ne sont pas en vaut le coût, même dans les champs d'application où elle est vitale, et même sur les systèmes où ils coûtent pratiquement rien. Au lieu de traitement de l'UB, comme une invitation à faire preuve de jugement, le compilateur les écrivains ont commencé à la traiter comme une excuse pas de le faire.

Par exemple, le code suivant:
```
int scaled_velocity(int v, unsigned char pow)
{
  if (v > 250)
    v = 250;
  if (v < -250)
    v = -250;
  return v << pow;
}
```
un complément à deux sur la mise en œuvre n'aurait pas à dépenser le moindre effort
que ce soit pour traiter l'expression v << pow comme un complément à deux maj
sans égard pour savoir si v était positif ou négatif.

Privilégiées de philosophie de la part de certains aujourd'hui, les rédacteurs du compilateur, cependant, suggère que parce que v ne peut être que négative si le programme va s'engager dans un Comportement Indéfini, il n'y a pas de raison d'avoir le programme le clip de la plage négative de v. Même si la gauche déplacement des valeurs négatives utilisé pour être pris en charge sur chaque compilateur de signification, et une grande quantité de code existant repose sur le comportement, la philosophie moderne interpréter le fait que la Norme dit que la gauche décalage des valeurs négatives UB comme impliquant que les rédacteurs du compilateur doit se sentir libre d'en tenir compte.
- Mais la manipulation de comportement indéfini dans une belle façon il n'est pas venu pour gratuit. L'ensemble de la raison que les compilateurs modernes présentent un tel comportement bizarre, dans certains cas, de l'AC, c'est qu'ils sont constamment à optimiser, et de faire le meilleur travail, ils doivent être en mesure de supposer que l'UB ne se produit jamais.
- Mais le fait que << UB sur les nombres négatifs est un vilain petit piège et je suis heureux de le rappeler!
- Malheureusement, les rédacteurs du compilateur n'avez pas de soins qui offre lâche comportementale des garanties au-delà de celles requises par la Norme peut souvent permettre à un énorme boost de vitesse par rapport à la nécessité que le code d'éviter à tout prix ce qui n'est pas définie par la Norme. Si un programmeur n'a pas à se préoccuper de savoir si i+j>k rendements 1 ou 0 dans le cas où l'ajout des débordements, à condition qu'il n'a pas d'autres effets secondaires, un compilateur peut être en mesure de faire quelques massive des optimisations qui ne serait pas possible si le programmeur a écrit le code que (int)((unsigned)i+j) > k.
- Pour eux, si le compilateur X peut prendre un strictement conformes au programme pour faire une tâche T et le rendement d'un fichier exécutable qui est de 5% plus efficace que le compilateur Y donnerait avec le même programme, ce qui signifie que X est mieux, même si Y pouvait générer du code qui fait la même tâche trois fois de manière aussi efficace étant donné un programme qui exploite les comportements qui Y des garanties mais X ne l'est pas.
InformationsquelleAutor supercat
6

De mise en œuvre définies

Réalisateurs souhaitent,doivent être bien documentées,la norme donne des choix, mais assurez-vous de compiler

Non spécifié -

Même que la mise en œuvre défini mais ce n'est pas documenté

Undefined-

Tout peut arriver,prendre soin d'elle.
- Je pense qu'il est important de noter que le sens concret de "undefined" a changé au cours des dernières années. Il sert à être que, compte tenu de uint32_t s;, l'évaluation de 1u<<s quand s est de 33 pourrait peut-être le rendement de 0 ou peut-être de rendement 2, mais ne pas faire quelque chose de loufoque. Nouveaux compilateurs, cependant, l'évaluation de 1u<<s peut provoquer un compilateur de déterminer que, parce que s doit avoir moins de 32 à l'avance, tout le code avant ou après cette expression qui ne serait pertinent que si s a été de 32 ou plus peut être omis.
InformationsquelleAutor Suraj K Thomas
5

C++ standard n3337 § 1.3.10
de mise en œuvre définies par le comportement

comportement, pour un bien formée programme de construction et de rectification des données, qui
dépend de la mise en œuvre et la que chaque mise en œuvre des documents

Parfois C++ Standard n'impose pas de comportement particulier sur certaines constructions, mais dit plutôt qu'un particulier, comportement bien déterminé doit être choisi et décrit en particulier la mise en œuvre (version de bibliothèque). De sorte que l'utilisateur peut toujours savoir exactement comment sera le programme se comporter, même si la Norme n'est pas de décrire cette.

C++ standard n3337 § 1.3.24
comportement indéfini

comportement pour lequel la présente Norme Internationale n'impose pas d'exigences
[ Note: un comportement Indéfini peut être prévu lors de cette Internationale
Standard omet aucune définition explicite de comportement ou lorsqu'un programme
utilise une construction erronée ou de données erronées. Admissible undefined
le comportement varie d'ignorer la situation complètement avec
des résultats imprévisibles, à se comporter lors de la traduction le programme
l'exécution dans un documentées de façon caractéristique de l'environnement
(avec ou sans émission d'un message de diagnostic), à la terminaison d'
une traduction ou l'exécution (avec l'émission d'un diagnostic
message). De nombreux erronée programme de constructions de ne pas engendrer undefined
comportement; ils sont tenus d'être diagnostiqué. — fin de la remarque ]

Lorsque le programme rencontre de construire qui n'est pas définie selon la Norme C++, il est autorisé de faire ce qu'il veut faire ( peut-être envoyer un e-mail à moi-même ou peut-être envoyer un e-mail pour vous ou peut-être ignorer le code complètement).

C++ standard n3337 § 1.3.25
comportement non spécifié

comportement, pour un bien formée programme de construction et de rectification des données, qui
dépend de la mise en œuvre [ Note: La mise en œuvre n'est pas
requis de documenter le comportement se produit. La gamme des possibles
les comportements est généralement délimité par la présente Norme Internationale. la fin de l'
remarque ]

C++ Standard n'impose pas de comportement particulier sur certaines constructions, mais dit plutôt qu'un particulier, comportement bien déterminé doit être choisi ( bot n'est pas nécessaire décrite) en particulier la mise en œuvre (version de bibliothèque). Donc, dans le cas où aucune description n'a été fourni, il peut être difficile pour l'utilisateur de savoir exactement comment sera le programme se comporter.

InformationsquelleAutor 4pie0

Vous devez vous connecter pour publier un commentaire.