È corretto copiare i dati non inizializzati se sarà inutilizzato/impostato in seguito?

Question

Il seguente codice è sicuro, a condizione che non legga alcun elemento dell'array della struct senza prima averlo impostato con un valore reale? Grazie.

const int data_size = 5; 

struct Testing 
{ 
    int data[data_size]; 

    Testing(const int data[data_size]) 
    { 
     std::copy(data, data + data_size, this->data); 
    } 
}; 

int main() 
{ 
    int data[data_size]; 
    data[2] = 57; 

    Testing t(data); 

    t.data[1] = 93; 
} 

Answer 1

std::copy è definita come facendo *(result + n) = *(first + n) per ciascun elemento della sequenza (§25.3.1). Il valore dato da *(first + n) è un'espressione lvalue (§5.3.1/1), nel tuo caso riferita a un valore non inizializzato. Poiché l'operatore di assegnazione si aspetta un valore come operando corretto (questo è ill-specified), ciò comporterà la conversione da lvalue a valore. Ivalue a rvalue conversione un'espressione riferimento a un valore non inizializzato è un comportamento indefinito (§4.1):

Se l'oggetto a cui il glvalue riferisce non è un oggetto di tipo T e non è un oggetto di un tipo derivato da T, o se l'oggetto non è inizializzato, un programma che richiede questa conversione ha un comportamento non definito.

Quindi il tuo codice ha un comportamento non definito. La soluzione è ovviamente per inizializzare gli elementi dell'array (forse con int data[data_size] = {};).