std :: map <> :: insert usando objetos não copiáveis e inicialização uniforme
Dê uma olhada no seguinte código:
#include <utility>
#include <map>
// non-copyable but movable
struct non_copyable {
non_copyable() = default;
non_copyable(non_copyable&&) = default;
non_copyable& operator=(non_copyable&&) = default;
// you shall not copy
non_copyable(const non_copyable&) = delete;
non_copyable& operator=(const non_copyable&) = delete;
};
int main() {
std::map<int, non_copyable> map;
//map.insert({ 1, non_copyable() }); < FAILS
map.insert(std::make_pair(1, non_copyable()));
// ^ same and works
}
Compilar este trecho falha ao descomentar a linha marcada no g ++ 4.7. O erro produzido indica quenon_copyable
não pode ser copiado, mas esperava que fosse movido.
Por que inserir umstd::pair
construído usando inicialização uniforme falhar, mas não um construído usandostd::make_pair
? Os dois não devem produzir valores que podem ser movidos com sucesso para o mapa?