Why isn’t RVO applied to base class subobject initialization?

by

According to Richard Smith:

This is a defect in the standard wording. Copy elision cannot be guaranteed when initializing a base class subobject, because base classes can have different layout than the corresponding complete object type.

More Related Contents:

  1. Does returning a local variable return a copy and destroy the original(nrvo)?
  2. How does guaranteed copy elision work?
  3. What are the evaluation order guarantees introduced by C++17?
  4. How do inline variables work?
  5. How to enable C++17 compiling in Visual Studio?
  6. What are the new features in C++17?
  7. What is the purpose of std::launder?
  8. How to assert that a constexpr if else clause never happen?
  9. Understanding std::hardware_destructive_interference_size and std::hardware_constructive_interference_size
  10. What made i = i++ + 1; legal in C++17?
  11. Why does std::move prevent RVO (return value optimization)?
  12. constexpr static member before/after C++17
  13. Try to understand compiler error message: default member initializer required before the end of its enclosing class
  14. structured bindings: when something looks like a reference and behaves similarly to a reference, but it’s not a reference
  15. Why are by-value parameters excluded from NRVO?
  16. Deducing first template argument with other template parameters defaulted
  17. Why is there no support for concatenating std::string and std::string_view?
  18. Self-initialization of a static constexpr variable, is it well-formed?
  19. Static member access in constant expressions
  20. Pointer interconvertibility vs having the same address
  21. structured binding with [[maybe_unused]]
  22. Why does aggregate initialization not work anymore since C++20 if a constructor is explicitly defaulted or deleted?
  23. How similar are Boost.Filesystem and the C++ standard filesystem library?
  24. Deduction guides and variadic class templates with variadic template constructors – mismatched argument pack lengths
  25. How to enable /std:c++17 in VS2017 with CMake
  26. Undefined reference error for static constexpr member
  27. Convert std::variant to another std::variant with super-set of types
  28. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  29. Check if a type is passed in variadic template parameter pack
  30. Undefined reference error with new filesystem library and clang++7

Leave a Comment