Perché std::for_each su una mappa chiama il costruttore di copie?[duplicare]
Domanda
Ho il seguente semplice esempio, in cui voglio chiamare std::for_each
su una raccolta di oggetti non copiabili:
class A {
public:
A() : x(0) {}
A(const A&) = delete;
private:
int x;
};
void func() {
std::vector<A> v(10);
std::map<int, A> m;
// works as expected
std::for_each(begin(v), end(v), [](const A& a) { /* do nothing */ });
// error calling copy constructor
std::for_each(begin(m), end(m), [](const std::pair<int, A>& a) { /* do nothing */ });
}
Se metto tutto in a std::vector
, funziona come mi aspettavo, ma quando si utilizza a std::map
, All'improvviso std::for_each
vuole chiamare il costruttore di copie (eliminato).Perché?Avrei supposto di ottenere semplicemente un riferimento alla coppia salvata nella mappa, senza alcuna copia necessaria.
Soluzione
Il problema è che std::map
ha un std::pair<const Key, Value>
come tipo di valore interno.Invece di specificarlo esplicitamente, i contenitori della Libreria Standard ti consentono di estrarlo dal tipo di contenitore:
In C++11 lo fai (come in C++98, ma dovresti usare un oggetto funzione anziché un lambda all'interno for_each
, e anche usare typedef
invece di using =
):
using value_type = std::map<int, A>::value_type;
std::for_each(begin(m), end(m), [](value_type const& a) { /* do nothing */ });
In C++14 fai:
std::for_each(begin(m), end(m), [](auto const& a) { /* do nothing */ });
L'impiego di auto
all'interno di lambda è supportato da Clang 3.4, Visual Studio 2013 November CTP e GCC 4.9.