Programmazione undefined-behavior

2

Quando invocare una funzione membro su un'istanza nulla risulta in un comportamento indefinito?

Considera il codice seguente: #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) } Ci aspettiamo …

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

9

Come ho ottenuto un valore maggiore di 8 bit da un numero intero a 8 bit?

Ho rintracciato un bug estremamente brutto che si nasconde dietro questa piccola gemma. Sono consapevole del fatto che secondo le specifiche C ++, gli overflow con segno sono un comportamento non definito, ma solo quando si verifica l'overflow quando il valore viene esteso alla larghezza di bit sizeof(int). A quanto …

118 c++ gcc undefined-behavior

8

Lo "struct hack" è un comportamento tecnicamente indefinito?

Quello che sto chiedendo è il noto trucco "l'ultimo membro di una struttura ha lunghezza variabile". Funziona in questo modo: struct T { int len; char s[1]; }; struct T *p = malloc(sizeof(struct T) + 100); p->len = 100; strcpy(p->s, "hello world"); A causa del modo in cui la struttura …

111 c undefined-behavior c89

3

La stampa di puntatori nulli con% p è un comportamento indefinito?

È un comportamento indefinito stampare puntatori nulli con l'identificatore di %pconversione? #include <stdio.h> int main(void) { void *p = NULL; printf("%p", p); return 0; } La domanda si applica allo standard C e non alle implementazioni C.

93 c language-lawyer c99 undefined-behavior c11

8

I rami con un comportamento indefinito possono essere considerati irraggiungibili e ottimizzati come codice morto?

Considera la seguente dichiarazione: *((char*)NULL) = 0; //undefined behavior Invoca chiaramente un comportamento indefinito. L'esistenza di una tale dichiarazione in un dato programma significa che l'intero programma è indefinito o che il comportamento diventa indefinito solo una volta che il flusso di controllo raggiunge questa affermazione? Il seguente programma sarebbe …

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

12

In quale punto del ciclo l'overflow dell'intero diventa un comportamento indefinito?

Questo è un esempio per illustrare la mia domanda che coinvolge un codice molto più complicato che non posso pubblicare qui. #include <stdio.h> int main() { int a = 0; for (int i = 0; i < 3; i++) { printf("Hello\n"); a = a + 1000000000; } } Questo programma …

86 c++ c undefined-behavior integer-overflow

4

È legale che il codice sorgente contenente un comportamento indefinito blocchi il compilatore?

Diciamo che vado a compilare un codice sorgente C ++ scritto male che invoca comportamenti indefiniti, e quindi (come si suol dire) "tutto può succedere". Dal punto di vista di ciò che la specifica del linguaggio C ++ ritiene accettabile in un compilatore "conforme", fa "qualsiasi cosa" in questo scenario …

85 c++ language-lawyer undefined-behavior

5

Comportamento indefinito e punti di sequenza ricaricati

Considera questo argomento un sequel del seguente argomento: Puntata precedente Comportamento indefinito e punti di sequenza Rivisitiamo questa espressione divertente e contorta (le frasi in corsivo sono prese dall'argomento sopra * smile *): i += ++i; Diciamo che questo richiama un comportamento indefinito. Presumo che quando si dice questo, si …

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

10

Overflow firmato in C ++ e comportamento indefinito (UB)

Mi chiedo l'uso del codice come il seguente int result = 0; int factor = 1; for (...) { result = ... factor *= 10; } return result; Se il ciclo viene ripetuto nel ntempo, factorviene moltiplicato per i tempi 10esatti n. Tuttavia, factorviene sempre utilizzato solo dopo essere stato …

56 c++ undefined-behavior

3

L'incremento di un puntatore a un array dinamico di dimensioni 0 non è definito?

AFAIK, anche se non possiamo creare un array di memoria statica di dimensioni 0, ma possiamo farlo con quelli dinamici: int a[0]{}; // Compile-time error int* p = new int[0]; // Is well-defined Come ho letto, si pcomporta come un elemento a un passo. Posso stampare l'indirizzo a cui ppunta. …

34 c++ pointers undefined-behavior dynamic-arrays

7

Come funziona il confronto dei puntatori in C? Va bene confrontare i puntatori che non puntano allo stesso array?

Nel capitolo 5 di K&R (The C Programming Language 2nd Edition) ho letto quanto segue: Innanzitutto, i puntatori possono essere confrontati in determinate circostanze. Se pe qpunto di membri della stessa matrice, i rapporti poi, come ==, !=, <, >=correttamente, ecc lavoro. Ciò sembra implicare che solo i puntatori che …

33 c pointers heap undefined-behavior memory-layout

2

Strano comportamento con i campi di classe quando si aggiunge a uno std :: vector

Ho trovato un comportamento molto strano (su clang e GCC) nella seguente situazione. Ho un vettore, nodescon un elemento, un'istanza di classe Node. Quindi chiamo una funzione nodes[0]che aggiunge una nuova Nodeal vettore. Quando viene aggiunto il nuovo nodo, i campi dell'oggetto chiamante vengono resettati! Tuttavia, sembrano tornare alla normalità …

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

4

Copia di strutture con membri non inizializzati

È valido copiare una struttura di cui alcuni membri non sono inizializzati? Ho il sospetto che si tratti di un comportamento indefinito, ma in tal caso, rende piuttosto pericoloso lasciare membri non inizializzati in una struttura (anche se quei membri non vengono mai usati direttamente). Quindi mi chiedo se c'è …

29 c++ initialization copy-constructor undefined-behavior

3

C ha un equivalente di std :: less da C ++?

Recentemente ho risposto a una domanda sul comportamento indefinito del fare p < qin C quando pe qsono puntatori a diversi oggetti / matrici. Questo mi ha fatto pensare: C ++ ha lo stesso comportamento (non definito) di <questo caso, ma offre anche il modello di libreria standard std::lessche è …

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

1

Perché una funzione consteval consente un comportamento indefinito?

Esiste una proprietà molto accurata delle espressioni costanti in C ++: la loro valutazione non può avere un comportamento indefinito ( 7.7.4.7 ): Un'espressione e è un'espressione costante centrale a meno che la valutazione di e, seguendo le regole della macchina astratta ([intro.execution]), valuti una delle seguenti: ... un'operazione che …

16 c++ undefined-behavior c++20 consteval

Domande taggate «undefined-behavior»