Decisione di progettazione per il riempimento std :: array

Question

std::array in C++ 11 è una classe utile che fornisce un'interfaccia C++ Container su un array stack C.

Ma perché il std::array non ha il tipico costruttore di riempimento che la maggior parte dei contenitori ha? Invece, ha un metodo fill.

C'è qualche motivo per cui lo std::array è univoco tra i contenitori STL a questo proposito?

Answer 1

Sì; std::array è pensato per essere un aggregato (C++ 11 §8.5.1) in modo che possa essere utilizzato in quanti più contesti possibili dove può essere utilizzato un array semplice. Un aggregato non può avere costruttori o distruttori espliciti.

Answer 2

Dalla sezione 23.3.2.1:

Un array è un aggregato (8.5.1) che può essere inizializzato con la sintassi matrice a = {inizializzatore-list};

Se funzionasse come std::vector non sarebbe più un POD. Inoltre dalla stessa sezione:

Le condizioni per un aggregato (8.5.1) devono essere soddisfatte.

Queste condizioni sono:

Un aggregato è una matrice o una classe (Clausola 9) senza costruttori forniti dall'utente (12.1), senza bretelle-o-equalinitializers per i dati non statico membri (9.2), nessun membro di dati non statici privato o protetto (clausola 11), , nessuna classe di base (clausola 10) e nessuna funzione virtuale (10.3).

Answer 3

Ognuno di spiegato il "perché" abbastanza bene credo, quindi mi limiterò a mettere su un suggerimento soluzione alternativa, che dovrebbe compilare per essere altrettanto buono come costruttore origini:

template< typename T, std::size_t n > std::array<T,n> filledArray(const T& v) { 
    std::array<T,n> r; 
    r.fill(v); 
    return r; 
} 

auto arr = filledArray<int,4>(7);