Perché l'assegnazione valarray non ridimensiona l'assegnatario per la documentazione?

Question

Codice:

#include <valarray> 
#include <iostream>  

using namespace std; 

int main() 
{ 
    valarray<int> v0(2, 4); 
    valarray<int> v1; 
    v1 = v0; 
    cout << "v0.size: " << v0.size() << endl; 
    cout << "v1.size: " << v1.size() << endl; 
    cout << "v0[0]: " << v0[0] << endl; 
    cout << "v1[0]: " << v1[0] << endl; 
} 

uscita:

v0.size: 4 
v1.size: 0 
v0[0]: 2 
Segmentation fault 

Per l'assegnazione:

v1 = v0; 

penserei il costruttore:

valarray<T>& operator=(const valarray<T>& other); 

dovrebbe essere utilizzato un Secondo lo documentation, credo che v1 debba essere ridimensionato e il contenuto di v0 copiato in esso, elemento per elemento. Quindi cosa sta succedendo davvero?

$ g++ --version 
g++ (GCC) 4.4.7 20120313 (Red Hat 4.4.7-11) 

Answer 1

Poiché si utilizza il vecchio C++.

A partire da C++ 11, la destinazione viene ridimensionata per corrispondere alla sorgente.
Ecco perché alcuni contributori qui non sono riusciti a riprodurre il problema (inoltre, UB ha risultati imprevedibili). È anche il motivo per cui the cppreference.com article states that a resize is first performed (anche se una dichiarazione di non responsabilità è valida solo perché C++ 11 potrebbe essere stato bello). [Questo è stato risolto.]

[C++11: 23.6.2.3]assegnazione valarray [valarray.assign]

valarray<T>& operator=(const valarray<T>& v);

    è assegnato Ciascun elemento della matrice *this la valore dell'elemento corrispondente dell'array di argomenti. Se la lunghezza di v non è uguale alla lunghezza di *this, ridimensiona *this per rendere i due array della stessa lunghezza, come se chiamando resize(v.size()), prima di eseguire l'assegnazione.

    Post-condizione: size() == v.size().

Tuttavia, in C++ 03, il codice ha un comportamento non definito.
Ecco perché stai riscontrando un errore di segmentazione con la tua vecchia toolchain. È anche il motivo per cui, quando il problema è stato sollevato come nel 2003, è stato respinto come non valido perché l'implementazione era effettivamente conforme in quel momento.

[C++03: 23.3.2.2]assegnazione valarray [valarray.assign]

valarray<T>& operator=(const valarray<T>& v);

    Ciascun elemento della matrice *this viene assegnato il valore del corrispondente elemento della matrice di argomento.Il comportamento risultante non è definito se la lunghezza dell'array di argomenti non è uguale alla lunghezza dell'array *this.