undefined-behavior

5calore

1risposta

fa il corto circuito operatore ternario in un modo definito

Se si dispone quanto segue: if (x) { y = *x; } else { y = 0; } Poi comportamento è garantito da definire in quanto possiamo solo dereferenziarlo x se non è 0 Può il stesso dicasi per:

5calore

1risposta

Sicurezza di trasmettere tipi arbitrari da utilizzare

Ho scritto del codice. Funziona ... ma è sicuro? use std::mem; use std::ptr; use std::marker::PhantomData; struct Atomic<T: Copy>(AtomicUsize, PhantomData<T>); impl<T: Copy> Atomic<T> { uns

5calore

2risposta

È un comportamento non definito nel codice specificato?

Qual è il valore di ritorno di f (p, p), se il valore di p è inizializzato su 5 prima della chiamata? Si noti che il primo parametro è passato per riferimento, mentre il secondo parametro viene passat

14calore

1risposta

Accesso stesso tipo di membro attivo nei sindacati

ho qualcosa di simile: union DataXYZ { struct complex_t { float real, imag; } complex; struct vector_t { float magnitude, phase; } vector; }; ho alcuni v

8calore

2risposta

È possibile incrementare un puntatore senza dereferenziamento ancora segfault o avere altre cattive intenzioni (non definite)?

Tutti gli esempi che sono stato in grado di trovare online sull'incremento di un puntatore che causa un segfault implicano la dereferenziazione del puntatore - cosa succede se voglio solo incrementarl

12calore

2risposta

Il comportamento non definito si applica al codice asm?

Supponiamo che il tuo software funzioni solo su due complementi di macchine in cui il comportamento di overflow firmato è ben definito. L'overflow firmato è ancora un comportamento indefinito in C e C

9calore

1risposta

Comportamento di fputc() per un flusso aperto con modalità di lettura

Non riesco a trovare alcun riferimento al comportamento specificato di fputc() quando lo stream è stato creato con fopen("/some/path", "r"). Ho cercato il pdf C11 Draft n1570 cercando qualsiasi riferi

11calore

2risposta

Array dichiarato come int v [100], ma e (v [100]) non avverte

Sono il seguente programma: #include <stdio.h> int main() { int v[100]; int *p; for (p = &(v[0]); p != &(v[100]); ++p) if ((*p = getchar()) == EOF) { --p; break;

8calore

3risposta

std :: shared_ptr e dlopen(), evitando comportamenti non definiti

dlopen() è una funzione C utilizzata per caricare dinamicamente le librerie condivise in fase di esecuzione. Il modello, nel caso in cui non hai familiarità, è dunque: chiamata dlopen("libpath", flag)

8calore

1risposta

I locals statici delle specializzazioni di template funzione con T = <classe namespace anonima> devono essere univoci?

Utilizziamo il compilatore Intel C++ e rileviamo che compila (?) Quanto segue, ridotto da un uso di boost::function<Ponies()> f(unnamedNamespacedFunctor). a1.cc: template<typename T> int f(T) { stati