initializer_list <T> requisito operatore di assegnazione su T

Question

Mi chiedo se un initializer_list<T> richiede che T abbia un operatore di assegnazione. Il seguente

struct Foo 
{ 
    Foo& operator=(const Foo&) = delete; 
}; 

std::vector<Foo> f = { Foo(), Foo() }; 

compila il clangore 3.4.2 ma fallisce su Visual Studo 2013 con una "error C2280: 'Foo &Foo::operator =(const Foo &)' : attempting to reference a deleted function". Presumo che il clang sia corretto qui, ma volevo verificare che non ci sia bisogno che T sia assegnabile.

Answer 1

std::initializer_list<T> non richiede T per essere assegnabile in alcun modo, perché la copia di oggetti std::initializer_list è superficiale - non copia i dati sottostanti.

Si riceve l'errore perché MSVC 2013 (e sotto) non supporta la generazione automatica di costruttori di mosse e gli operatori di spostamento di spostamento. Quindi l'errore deriva effettivamente da std::vector che tenta di copiare dall'elenco di inizializzazione, non dall'elenco di inizializzatore stesso.

E 'ancora una domanda per cui si attiva l'errore, dal momento che il costruttore std::vector prendendo std::initializer_list richiede solo il tipo di essere EmplaceConstructible e possibilmente MoveInsertable, nessuno dei quali utilizza le assegnazioni.