push_back vs emplace_back

In addition to what visitor said :

The function void emplace_back(Type&& _Val) provided by MSCV10 is non conforming and redundant, because as you noted it is strictly equivalent to push_back(Type&& _Val).

But the real C++0x form of emplace_back is really useful: void emplace_back(Args&&...);

Instead of taking a value_type it takes a variadic list of arguments, so that means that you can now perfectly forward the arguments and construct directly an object into a container without a temporary at all.

That’s useful because no matter how much cleverness RVO and move semantic bring to the table there is still complicated cases where a push_back is likely to make unnecessary copies (or move). For example, with the traditional insert() function of a std::map, you have to create a temporary, which will then be copied into a std::pair<Key, Value>, which will then be copied into the map :

std::map<int, Complicated> m;
int anInt = 4;
double aDouble = 5.0;
std::string aString = "C++";

// cross your finger so that the optimizer is really good
m.insert(std::make_pair(4, Complicated(anInt, aDouble, aString))); 

// should be easier for the optimizer
m.emplace(4, anInt, aDouble, aString);

So why didn’t they implement the right version of emplace_back in MSVC? Actually, it bugged me too a while ago, so I asked the same question on the Visual C++ blog. Here is the answer from Stephan T Lavavej, the official maintainer of the Visual C++ standard library implementation at Microsoft.

Q: Are beta 2 emplace functions just some kind of placeholder right now?

A: As you may know, variadic templates aren’t implemented in VC10. We simulate them with preprocessor machinery for things like make_shared<T>(), tuple, and the new things in <functional>. This preprocessor machinery is relatively difficult to use and maintain. Also, it significantly affects compilation speed, as we have to repeatedly include subheaders. Due to a combination of our time constraints and compilation speed concerns, we haven’t simulated variadic templates in our emplace functions.

When variadic templates are implemented in the compiler, you can expect that we’ll take advantage of them in the libraries, including in our emplace functions. We take conformance very seriously, but unfortunately, we can’t do everything all at once.

It’s an understandable decision. Everyone who tried just once to emulate variadic template with preprocessor horrible tricks knows how disgusting this stuff gets.

Related Posts:

  1. push_back vs emplace_back
  2. What is move semantics?
  3. What is std::move(), and when should it be used?
  4. Use the auto keyword in C++ STL
  5. What is the easiest way to initialize a std::vector with hardcoded elements?
  6. What is a lambda expression in C++11?
  7. ld: symbol(s) not found for architecture x86_64 error
  8. What is the ‘override’ keyword in C++ used for? [duplicate]
  9. What is a smart pointer and when should I use one?
  10. Meaning of = delete after function declaration
  11. C++ std::priority_queue uses the lambda expression
  12. Usage and Syntax of std::function
  13. What exactly is nullptr?
  14. How do I erase an element from std::vector<> by index?
  15. Difference between `constexpr` and `const`
  16. Split a string using C++11
  17. Is it more efficient to copy a vector by reserving and copying, or by creating and swapping? [duplicate]
  18. How to create timer events using C++ 11?
  19. How do I reverse a C++ vector?
  20. A proper way to create a matrix in c++
  21. What does T&& (double ampersand) mean in C++11?
  22. Segmentation fault error 11 C++
  23. Why doesn’t C++ have a garbage collector?
  24. Compiling C++11 with g++
  25. terminate called after throwing an instance of ‘std::invalid_argument’ what(): stoi
  26. What exactly is std::atomic?
  27. How to iterate through a list of objects in C++?
  28. Issue with std::stol – ‘std::invalid_argument’ what(): stol
  29. terminate called after throwing an instance of ‘std::out_of_range’
  30. Cleanest way to copy a constant size array in c++11
  31. undefined reference to ‘std::cout’
  32. expression preceding parentheses of apparent call must have (pointer-to-) function type
  33. C++ error: Undefined symbols for architecture x86_64
  34. C++ Fatal Error LNK1120: 1 unresolved externals
  35. Visual Studio debugger error: Unable to start program Specified file cannot be found
  36. C++ terminate called without an active exception
  37. Thread pooling in C++11
  38. Parsing a comma-delimited std::string
  39. How does std::forward work? [duplicate]
  40. How to ensure that a std::map is ordered?
  41. Difference in make_shared and normal shared_ptr in C++
  42. C++: std does not have member “string”
  43. Remove spaces from std::string in C++
  44. error: use of deleted function
  45. What is the difference between const_iterator and non-const iterator in the C++ STL?
  46. General way of solving Error: Stack around the variable ‘x’ was corrupted
  47. Remove spaces from std::string in C++
  48. How to check that an element is in a std::set?
  49. What’s the most efficient way to erase duplicates and sort a vector?
  50. Best way to extract a subvector from a vector?
  51. Appending a vector to a vector
  52. Already defined in .obj – no double inclusions
  53. Call to implicitly deleted copy constructor in LLVM
  54. Determine if map contains a value for a key?
  55. cc1plus: error: unrecognized command line option “-std=c++11” with g++
  56. IntelliSense: the object has type qualifiers that are not compatible with the member function
  57. Error “system” is ambiguous?
  58. C++ Erase vector element by value rather than by position?
  59. error C2679: binary ‘<<' : no operator found which takes a right-hand operand of type 'std::string' (or there is no acceptable conversion)
  60. How to get current time in milliseconds?
  61. no match for ‘operator<<’ in ‘std::operator
  62. Warning: non-static data member initializers only available with -std=c++11 or -std=gnu++11?
  63. Call to non-static member function without an object argument compiler error
  64. Does C++11 have C#-style properties?
  65. std::string length() and size() member functions
  66. Iterator Loop vs index loop
  67. initialize a vector to zeros C++/C++11
  68. When is it safe to call this-> in constructor and destructor
  69. How to memset char array with null terminating character?
  70. sorting in std::map where key is a std::string
  71. How well is Unicode supported in C++11?
  72. How to do std::string indexof in C++ that returns index of matching string?
  73. How to automatically convert strongly typed enum into int?
  74. Why should I use a pointer rather than the object itself?
  75. too many initializers for ‘int [0]’ c++
  76. overloaded function with no contextual type information
  77. Creating folders in C++
  78. What is the return type of sizeof operator?
  79. error C2065: ‘cout’ : undeclared identifier
  80. How to install Visual Studio Build Tools 2010 on Visual Studio 2015 Community?
  81. convert string to size_t
  82. Why can’t I make a vector of references?
  83. C++ equivalent of StringBuffer/StringBuilder?
  84. Compiling C++11 with g++
  85. ERROR C2039: ‘vector’: is not a member of ‘std’
  86. Displaying contents of a vector container in C++
  87. error C2039: ‘string’ : is not a member of ‘std’, header file problem
  88. Does static constexpr variable inside a function make sense?
  89. List iterator not dereferencable?
  90. c++ vector bubble sort
  91. How to use bitmask?
  92. Differences between unique_ptr and shared_ptr
  93. ‘was not declared in this scope’ error
  94. Good input validation loop using cin – C++
  95. What is uintptr_t data type
  96. What does -> mean in C++?
  97. C++ Simple hangman game
  98. “The system cannot find the file specified” when running C++ program
  99. Remove First and Last Character C++
  100. LINK : fatal error LNK1561: entry point must be defined ERROR IN VC++

Leave a Comment