std :: vector utilizza l'operatore di assegnazione del suo tipo di valore sugli elementi push_back?

Question

Se sì, perché? Perché non usa il costruttore di copie del tipo di valore?

ottengo il seguente errore:

/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/vector.tcc: In member functio 
n `ClassWithoutAss& ClassWithoutAss::operator=(const ClassWithoutAss&)': 
/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/vector.tcc:238: instantiate 
d from `void std::vector<_Tp, _Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterato 
r<typename _Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp = 
ClassWithoutAss, _Alloc = std::allocator<ClassWithoutAss>]' 
/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/stl_vector.h:564: instantia 
ted from `void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = Class 
WithoutAss, _Alloc = std::allocator<ClassWithoutAss>]' 
main.cpp:13: instantiated from here 
/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/vector.tcc:238: error: non-st 
atic const member `const int ClassWithoutAss::mem', can't use default assignment 
operator 

g ++ in esecuzione main.cpp il seguente codice:

/* 
* ClassWithoutAss.h 
* 
*/ 

#ifndef CLASSWITHOUTASS_H_ 
#define CLASSWITHOUTASS_H_ 

class ClassWithoutAss 
{ 

public: 
    const int mem; 
    ClassWithoutAss(int mem):mem(mem){} 
    ClassWithoutAss(const ClassWithoutAss& tobeCopied):mem(tobeCopied.mem){} 
    ~ClassWithoutAss(){} 

}; 

#endif /* CLASSWITHOUTASS_H_ */ 

/* 
* main.cpp 
* 
*/ 

#include "ClassWithoutAss.h" 
#include <vector> 

int main() 
{ 
    std::vector<ClassWithoutAss> vec; 
    ClassWithoutAss classWithoutAss(1); 
    (vec.push_back)(classWithoutAss); 

    return 0; 
} 

Answer 1

Lo standard C++ 03 dice gli elementi devono essere copia-costruibile e copy- assegnabile per essere utilizzato in un contenitore standard. Quindi un'implementazione è libera di usare quello che vuole.

In C++ 0x, questi requisiti vengono messi su base operativa. (In generale, gli elementi devono essere costruibili e trasferibili.)

Per ottenere ciò che si desidera, è necessario utilizzare un puntatore intelligente come shared_ptr (da Boost, TR1 o C++ 0x) e completamente disabilitare la copia-abilità:

I puntatori possono essere copiati correttamente e il puntatore intelligente assicura che non vi siano perdite. In C++ 0x si può fare meglio con uno std::unique_ptr, sfruttando la semantica del movimento. (In realtà non è necessaria la semantica condivisa, ma in C++ 03 è più semplice così com'è.)

Answer 2

Il problema qui è che i tipi in un contenitore devono essere assegnabili.

Poiché non si definisce un operatore di assegnazione per la classe, il compilatore ne genererà uno. L'operatore di assegnazione di default sarà simile al seguente:

Nella maggior parte dei casi ciò funzionerebbe. Ma il membro mem è un const e quindi non selezionabile. Pertanto la compilazione fallirà nel tentativo di generare l'operatore di assegnazione.