Есть ли способ размещения a std::pair?
std::unordered_map<int, std::pair<std::string, std::string>> my_map;
my_map.emplace(1, "foo", "bar"); // Error
Конечно, возможно вставка:
my_map[2] = std::make_pair("bar", "foo");
Но разве это не требует ненужного копирования/перемещения?
Есть ли способ размещения std:: pair?
Аргументы должны быть подходящими для конструктора pair<int, pair<string,string>>, отображения value_type:
my_map.emplace(1, std::make_pair("foo", "bar"));
Но разве это не требует ненужного копирования/перемещения?
Нет; make_pair создает пару указателей на строковые литералы, которые затем используются для инициализации (в случае emplace) или назначаются (в случае []) строки, содержащиеся в карте.
В этом случае нет смысла размещать части "value-type" std::pair, так как std::string может быть эффективно преобразован из C-строки и может быть эффективно перемещен в карту. Простой m.emplace( 3, std::make_pair( "bob", "alice" ) ), и вы достигаете 99% оптимальной эффективности.
Однако, если у вас есть std::map, который сопоставляется с типом, который не может быть эффективно сконструирован таким образом, С++ 11 предоставляет std::piecewise_construct для std::pair как emplace d.
struct A { }; // nothing
struct C { C(C&&)=delete; }; // no copy/move
struct B { B()=delete; B(B&&)=delete; B(C&&, C&&) {}; }; // no copy/move, only annoying ctor
std::map< int, std::pair<A,B> > test;
// test.emplace( 0, std::make_pair( A{}, B{} ); // does not compile
// test.emplace( 0, std::make_pair( A{}, B{C{},C{}} ); // does not compile
test.emplace( std::piecewise_construct,
std::make_tuple(0),
std::forward_as_tuple(
std::piecewise_construct,
std::forward_as_tuple(A{}),
std::forward_as_tuple( C{}, C{} )
)
); // compiles!
Это крайний угловой случай, поскольку объекты с более эффективным перемещением гораздо более распространены.
Да, есть:
my_map.emplace(1, std::make_pair("foo", "bar"));