La programmation undefined-behavior

2

Quand l'appel d'une fonction membre sur une instance nulle entraîne-t-il un comportement indéfini?

Considérez le code suivant: #include <iostream> struct foo { // (a): void bar() { std::cout << "gman was here" << std::endl; } // (b): void baz() { x = 5; } int x; }; int main() { foo* f = 0; f->bar(); // (a) f->baz(); // (b) } Nous prévoyons …

120 c++ undefined-behavior language-lawyer standards-compliance null-pointer

9

Comment obtenir une valeur supérieure à 8 bits à partir d'un entier de 8 bits?

J'ai retrouvé un insecte extrêmement méchant qui se cachait derrière ce petit bijou. Je suis conscient que selon la spécification C ++, les débordements signés sont un comportement indéfini, mais uniquement lorsque le débordement se produit lorsque la valeur est étendue à la largeur en bits sizeof(int). Si je comprends …

118 c++ gcc undefined-behavior

8

Le comportement «struct hack» est-il techniquement indéfini?

Ce que je demande, c'est le truc bien connu "le dernier membre d'une structure a une longueur variable". Ca fait plutot comme ca: struct T { int len; char s[1]; }; struct T *p = malloc(sizeof(struct T) + 100); p->len = 100; strcpy(p->s, "hello world"); En raison de la façon …

111 c undefined-behavior c89

3

L'impression de pointeurs nuls avec% p est un comportement non défini?

Est-ce un comportement non défini pour imprimer des pointeurs nuls avec le %pspécificateur de conversion? #include <stdio.h> int main(void) { void *p = NULL; printf("%p", p); return 0; } La question s'applique au standard C, et non aux implémentations C.

93 c language-lawyer c99 undefined-behavior c11

8

Les branches avec un comportement non défini peuvent-elles être considérées comme inaccessibles et optimisées en tant que code mort?

Considérez la déclaration suivante: *((char*)NULL) = 0; //undefined behavior Il invoque clairement un comportement indéfini. L'existence d'une telle instruction dans un programme donné signifie-t-elle que l'ensemble du programme est indéfini ou que le comportement ne devient indéfini qu'une fois que le flux de contrôle atteint cette instruction? Le programme suivant …

88 c++ language-lawyer undefined-behavior dead-code unreachable-code

10

Pourquoi printf («% f», 0); donner un comportement indéfini?

La déclaration printf("%f\n",0.0f); imprime 0. Cependant, la déclaration printf("%f\n",0); imprime des valeurs aléatoires. Je me rends compte que j'expose une sorte de comportement indéfini, mais je ne peux pas comprendre pourquoi spécifiquement. Une valeur en virgule flottante dans laquelle tous les bits sont 0 est toujours valide floatavec une valeur …

87 c++ c printf implicit-conversion undefined-behavior

12

À quel moment de la boucle le débordement d'entier devient-il un comportement indéfini?

Ceci est un exemple pour illustrer ma question qui implique un code beaucoup plus compliqué que je ne peux pas publier ici. #include <stdio.h> int main() { int a = 0; for (int i = 0; i < 3; i++) { printf("Hello\n"); a = a + 1000000000; } } Ce …

86 c++ c undefined-behavior integer-overflow

3

Est-il légal pour le code source contenant un comportement non défini de planter le compilateur?

Disons que je vais compiler un code source C ++ mal écrit qui invoque un comportement indéfini, et donc (comme on dit) "tout peut arriver". Du point de vue de ce que la spécification du langage C ++ juge acceptable dans un compilateur "conforme", "quoi que ce soit" dans ce …

85 c++ language-lawyer undefined-behavior

5

Comportement non défini et points de séquence rechargés

Considérez ce sujet comme une suite du sujet suivant: Épisode précédent Comportement et points de séquence non définis Revisitons cette expression drôle et alambiquée (les phrases en italique sont tirées du sujet ci-dessus * sourire *): i += ++i; Nous disons que cela invoque un comportement indéfini. Je présume que …

84 c++ undefined-behavior c++-faq sequence-points

10

Débordement signé en C ++ et comportement indéfini (UB)

Je m'interroge sur l'utilisation de code comme le suivant int result = 0; int factor = 1; for (...) { result = ... factor *= 10; } return result; Si la boucle est itérée au fil du ntemps, elle factorest multipliée par 10exactement le ntemps. Cependant, il factorn'est utilisé qu'après …

56 c++ undefined-behavior

3

L'incrémentation d'un pointeur vers un tableau dynamique de taille 0 n'est-elle pas définie?

AFAIK, bien que nous ne puissions pas créer un tableau de mémoire statique de taille 0, mais nous pouvons le faire avec des tableaux dynamiques: int a[0]{}; // Compile-time error int* p = new int[0]; // Is well-defined Comme je l'ai lu, pagit comme un élément d'un bout à l'autre. …

34 c++ pointers undefined-behavior dynamic-arrays

7

Comment fonctionne la comparaison de pointeurs en C? Est-il correct de comparer des pointeurs qui ne pointent pas vers le même tableau?

Dans K&R (The C Programming Language 2nd Edition) chapitre 5, je lis ce qui suit: Premièrement, les pointeurs peuvent être comparés dans certaines circonstances. Si pet le qpoint aux membres du même réseau, les relations alors comme ==, !=, <, >=, etc. fonctionnent correctement. Ce qui semble impliquer que seuls …

33 c pointers heap undefined-behavior memory-layout

2

Comportement étrange avec les champs de classe lors de l'ajout à un std :: vector

J'ai trouvé un comportement très étrange (sur clang et GCC) dans la situation suivante. J'ai un vecteur, nodesavec un élément, une instance de classe Node. J'appelle ensuite une fonction nodes[0]qui ajoute une nouvelle Nodeau vecteur. Lorsque le nouveau nœud est ajouté, les champs de l'objet appelant sont réinitialisés! Cependant, ils …

31 c++ vector stdvector undefined-behavior push-back

4

Copie de structures avec des membres non initialisés

Est-il valide de copier une structure dont certains membres ne sont pas initialisés? Je soupçonne que c'est un comportement indéfini, mais si c'est le cas, cela rend très dangereux le fait de laisser des membres non initialisés dans une structure (même si ces membres ne sont jamais utilisés directement). Je …

29 c++ initialization copy-constructor undefined-behavior

3

C a-t-il un équivalent de std :: less de C ++?

Je répondais récemment à une question sur le comportement indéfini de faire p < qen C quand pet qsont des pointeurs vers différents objets / tableaux. Cela m'a fait penser: C ++ a le même comportement (non défini) que <dans ce cas, mais offre également le modèle de bibliothèque standard …

26 c pointers undefined-behavior memory-model memory-segmentation

Questions marquées «undefined-behavior»