Efficiency of C++11 push_back() with std::move versus emplace_back() for already constructed objects
In C++11 emplace_back()
is generally preferred (in terms of efficiency) to push_back()
as it allows in-place construction, but is this still the case when using push_back(std::move())
with an already-constructed object?
For instance, is emplace_back()
still preferred in cases like the following?
std::string mystring("hello world");
std::vector<std::string> myvector;
myvector.emplace_back(mystring);
myvector.push_back(std::move(mystring));
// (of course assuming we don't care about using the value of mystring after)
Additionally, is there any benefit in the above example to instead doing:
myvector.emplace_back(std::move(mystring));
or is the move here entirely redundant, or has no effect?
Let's see what the different calls that you provided do:
-
emplace_back(mystring)
: This is an in-place construction of the new element with whatever argument you provided. Since you provided an lvalue, that in-place construction in fact is a copy-construction, i.e. this is the same as callingpush_back(mystring)
-
push_back(std::move(mystring))
: This calls the move-insertion, which in the case ofstd::string
is an in-place move-construction. -
emplace_back(std::move(mystring))
: This is again an in-place construction with the arguments you provided. Since that argument is an rvalue, it calls the move-constructor ofstd::string
, i.e. it is an in-place move-construction like in 2.
In other words, if called with one argument of type T, be it an rvalue or lvalue, emplace_back
and push_back
are equivalent.
However, for any other argument(s), emplace_back
wins the race, for example with a char const*
in a vector<string>
:
-
emplace_back("foo")
callsstd::string(char const*)
for in-place-construction. -
push_back("foo")
first has to callstd::string(char const*)
for the implicit conversion needed to match the function's signature, and then a move-insertion like case 2. above. Therefore it is equivalent topush_back(string("foo"))
The emplace_back gets a list of rvalue references and tries to construct a container element direct in place. You can call emplace_back with all types which the container element constructors supports. When call emplace_back for parameters which are not rvalue references, it 'falls back' to normal references and at least the copy constructor ist called when the parameter and the container elements are of the same type. In your case 'myvector.emplace_back(mystring)' should make a copy of the string becaus the compiler could not know that the parameter myvector is movable. So insert the std::move what gives you the desired benefit. The push_back should work as well as emplace_back for already constructed elements.