Array placement-new requires unspecified overhead in the buffer?

by

Update

Nicol Bolas correctly points out in the comments below that this has been fixed such that the overhead is always zero for operator new[](std::size_t, void* p).

This fix was done as a defect report in November 2019, which makes it retroactive to all versions of C++.

Original Answer

Don’t use operator new[](std::size_t, void* p) unless you know a-priori the answer to this question. The answer is an implementation detail and can change with compiler/platform. Though it is typically stable for any given platform. E.g. this is something specified by the Itanium ABI.

If you don’t know the answer to this question, write your own placement array new that can check this at run time:

inline
void*
operator new[](std::size_t n, void* p, std::size_t limit)
{
    if (n <= limit)
        std::cout << "life is good\n";
    else
        throw std::bad_alloc();
    return p;
}

int main()
{
    alignas(std::string) char buffer[100];
    std::string* p = new(buffer, sizeof(buffer)) std::string[3];
}

By varying the array size and inspecting n in the example above, you can infer y for your platform. For my platform y is 1 word. The sizeof(word) varies depending on whether I’m compiling for a 32 bit or 64 bit architecture.

More Related Contents:

  1. What uses are there for “placement new”?
  2. std::vector and contiguous memory of multidimensional arrays
  3. What are the rules about using an underscore in a C++ identifier?
  4. Why should C++ programmers minimize use of ‘new’?
  5. In what cases do I use malloc and/or new?
  6. delete vs delete[] operators in C++
  7. Are std::vector elements guaranteed to be contiguous?
  8. Take the address of a one-past-the-end array element via subscript: legal by the C++ Standard or not?
  9. Is it safe to delete a NULL pointer?
  10. Dynamically allocating an array of objects
  11. Where exactly does C++ standard say dereferencing an uninitialized pointer is undefined behavior?
  12. Compelling examples of custom C++ allocators?
  13. C++, Free-Store vs Heap
  14. Is there a way to access the underlying container of STL container adaptors?
  15. How to get memory usage under Windows in C++
  16. Is it possible to delete a non-new object?
  17. Pointer-to-pointer dynamic two-dimensional array
  18. Can I pass std::string to a DLL?
  19. Check if a pointer points to allocated memory on the heap
  20. Reason why not to have a DELETE macro for C++
  21. Why, really, deleting an incomplete type is undefined behaviour?
  22. What is “bit padding” or “padding bits” exactly?
  23. Why statements cannot appear at namespace scope?
  24. C++ Modules – why were they removed from C++0x? Will they be back later on?
  25. How to alloc a executable memory buffer?
  26. How does delete work? [duplicate]
  27. Do I really have to worry about alignment when using placement new operator?
  28. new, delete ,malloc & free
  29. Does the C++ standard specify anything on the representation of floating point numbers?
  30. Should objects delete themselves in C++?

Leave a Comment