Perché l'argomento del tipo di mappa C++ richiede un costruttore vuoto quando si utilizza []?

Question

See also C++ standard list and default-constructible types

Non è un problema importante, solo fastidioso in quanto non voglio che la mia classe venga mai istanziata senza particolari argomenti.

class MyClass 
{ 
public: 
    MyClass(MyType1 t); 
    MyType2 &operator[](int index); 
} 

map<int, MyClass> myMap; 

Questo mi dà il seguente errore g ++:

/usr/include/c++/4.3/bits/stl_map.h:419: error: no matching function for call to ‘MyClass()’

Questo compila bene se posso aggiungere un costruttore di default; Sono certo che non è causato da una sintassi errata.

Answer 1

Questo problema viene fornito con operatore []. Citazione dalla documentazione SGI:

data_type& operator[](const key_type& k) - Returns a reference to the object that is associated with a particular key. If the map does not already contain such an object, operator[] inserts the default object data_type() .

Se non si dispone di un costruttore predefinito, è possibile utilizzare le funzioni di inserimento/ricerca. Seguendo l'esempio funziona bene:

myMap.insert(std::map< int, MyClass >::value_type (1, MyClass(1))); 
myMap.find(1)->second; 

Answer 2

Sì. I valori nei contenitori STL devono mantenere la semantica della copia. IOW, hanno bisogno di comportarsi come tipi primitivi (ad es. Int) il che significa, tra le altre cose, che dovrebbero essere costruttibili di default.

Senza questo (e altri requisiti) sarebbe inutilmente difficile implementare le varie operazioni interne di copia/spostamento/scambio/confronto sulle strutture di dati con cui sono implementati i contenitori STL.

In riferimento allo standard C++, vedo che la mia risposta non era accurata. Default-costruzione è, in realtà, non è un requisito:

Da 20.1.4.1:

The default constructor is not required. Certain container class member function signatures specify the default constructor as a default argument. T() must be a well-defined expression ...

Quindi, a rigor di termini, il vostro tipo di valore ha solo bisogno di essere costruibile default se vi capita di essere utilizzando una funzione del contenitore che utilizza il costruttore predefinito nella sua firma.

I requisiti reali (23.1.3) di tutti i valori memorizzati nei contenitori STL sono CopyConstructible e Assignable.

Esistono anche altri requisiti specifici per contenitori particolari, ad esempio Comparable (ad esempio per le chiavi in ​​una mappa).

---

Per inciso, il seguente compila senza errori sul comeau:

#include <map> 

class MyClass 
{ 
public: 
    MyClass(int t); 
}; 

int main() 
{ 
    std::map<int, MyClass> myMap; 
} 

Quindi questo potrebbe essere un problema g ++.

Answer 3

Verificare se:

• hai dimenticato il ';' dopo la dichiarazione della classe.
• MyType avrebbe dovuto essere dichiarato di conseguenza.
• Nessun costruttore di default non vi ...

La dichiarazione std :: map sembra corretto, credo.

Answer 4

Molto probabilmente perché std :: pair lo richiede. std :: pair contiene due valori utilizzando la semantica del valore, quindi è necessario essere in grado di creare un'istanza senza parametri. Quindi il codice usa std :: pair in varie posizioni per restituire i valori della mappa al chiamante e questo è comunemente fatto istanziando una coppia vuota e assegnandogli i valori prima di restituire la coppia locale.

È possibile aggirare questo con puntatori intelligenti utilizzando una mappa < int, smartptr < MyClass>> ma che aggiunge il sovraccarico di controllo per i puntatori nulli.

Answer 5

verificare i requisiti di tipo memorizzato del STL :: mappa. Molte raccolte di stl richiedono che il tipo memorizzato contenga alcune proprietà specifiche (costruttore predefinito, costruttore di copie, ecc.).

Il costruttore senza argomenti è necessario per la stl :: map, perché è utilizzato, quando l'operatore [] viene invocato con la chiave, che non è stata ancora mantenuta dalla mappa. In questo caso l'operatore [] inserisce la nuova voce costituita dalla nuova chiave e dal valore costruito utilizzando il costruttore senza parametri. E questo nuovo valore viene quindi restituito.