318

std::unique_ptr has support for arrays, for instance:

std::unique_ptr<int[]> p(new int[10]);

but is it needed? probably it is more convenient to use std::vector or std::array.

Do you find any use for that construct?

5
  • 7
    For completeness, I should point out that there is no std::shared_ptr<T[]>, but there should be, and probably will be in C++14 if anyone could be bothered to write up a proposal. In the mean time, there's always boost::shared_array.
    – Pseudonym
    Commented May 30, 2013 at 0:23
  • 31
    std::shared_ptr<T[]> is in c++17 now.
    – Chen Li
    Commented Nov 1, 2018 at 2:04
  • You can find multiple ways to do anything on a computer. This construct does have use, especially in a hot path, because it eradicates the overhead of container operations if you know exactly how to target your array. Additionally, it makes character arrays without any doubt of contiguous storage.
    – kevr
    Commented Apr 19, 2020 at 17:13
  • 2
    I found this useful for interoperating with C structs where a member of the struct determines its size. I want the memory automatically deallocated but there is no type of the right size for deallocation, so I used a char array.
    – fuzzyTew
    Commented Jul 5, 2020 at 17:08
  • @fen why do you think it's not needed? I mean I didn't understand your question/intention. So, want to make sure I'm on the same page. Thanks in advance!
    – Milan
    Commented Sep 2, 2022 at 13:58

18 Answers 18

334

Some people do not have the luxury of using std::vector, even with allocators. Some people need a dynamically sized array, so std::array is out. And some people get their arrays from other code that is known to return an array; and that code isn't going to be rewritten to return a vector or something.

By allowing unique_ptr<T[]>, you service those needs.

In short, you use unique_ptr<T[]> when you need to. When the alternatives simply aren't going to work for you. It's a tool of last resort.

23
  • 45
    @NoSenseEtAl: I'm not sure what part of "some people aren't allowed to do that" eludes you. Some projects have very specific requirements, and among them may be "you don't get to use vector". You can argue whether those are reasonable requirements or not, but you can't deny that they exist. Commented May 30, 2013 at 15:48
  • 31
    There is no reason in the world why someone wouldn't be able to use std::vector if they can use std::unique_ptr.
    – mrr
    Commented Apr 29, 2014 at 14:48
  • 106
    here's a reason to not use vector: sizeof(std::vector<char>) == 24; sizeof(std::unique_ptr<char[]>) == 8
    – Arvid
    Commented Sep 12, 2014 at 22:34
  • 28
    @DanNissenbaum These projects exist. Some industries that are under very hard scrutiny, like for example aviation or defense, the standard library is off-limits because it is difficult to verify and prove that it is correct to whatever governing body sets the regulations. You may argue that the standard library is well tested and I would agree with you but you and I don't make the rules.
    – Emily L.
    Commented Sep 18, 2014 at 13:37
  • 28
    @DanNissenbaum Also some hard real-time systems are not allowed to use dynamic memory allocation at all as the delay a system call causes might not be theoretically bounded and you can not prove the real-time behavior of the program. Or the bound may be too large which breaks your WCET limit. Although not applicable here, as they wouldn't use unique_ptr either but those kinds of projects really do exist.
    – Emily L.
    Commented Sep 18, 2014 at 13:42
187

There are tradeoffs, and you pick the solution which matches what you want. Off the top of my head:

Initial size

  • vector and unique_ptr<T[]> allow the size to be specified at run-time
  • array only allows the size to be specified at compile time

Resizing

  • array and unique_ptr<T[]> do not allow resizing
  • vector does

Storage

  • vector and unique_ptr<T[]> store the data outside the object (typically on the heap)
  • array stores the data directly in the object

Copying

  • array and vector allow copying
  • unique_ptr<T[]> does not allow copying

Swap/move

  • vector and unique_ptr<T[]> have O(1) time swap and move operations
  • array has O(n) time swap and move operations, where n is the number of elements in the array

Pointer/reference/iterator invalidation

  • array ensures pointers, references and iterators will never be invalidated while the object is live, even on swap()
  • unique_ptr<T[]> has no iterators; pointers and references are only invalidated by swap() while the object is live. (After swapping, pointers point into to the array that you swapped with, so they're still "valid" in that sense.)
  • vector may invalidate pointers, references and iterators on any reallocation (and provides some guarantees that reallocation can only happen on certain operations).

Compatibility with concepts and algorithms

  • array and vector are both Containers
  • unique_ptr<T[]> is not a Container

I do have to admit, this looks like an opportunity for some refactoring with policy-based design.

13
  • 2
    I am not sure I understand what you mean in the context of pointer invalidation. Is this about pointers to the objects themselves, or pointers to the elements? Or something else? What kind of guarantee do you get from an array that you don't get from a vector?
    – jogojapan
    Commented May 29, 2013 at 2:52
  • 3
    Suppose that you have an iterator, a pointer, or a reference to an element of a vector. Then you increase the size or capacity of that vector such that it forces a reallocation. Then that iterator, pointer or reference no longer points to that element of the vector. This is what we mean by "invalidation". This problem doesn't happen to array, because there is no "reallocation". Actually, I just noticed a detail with that, and I've edited it to suit.
    – Pseudonym
    Commented May 29, 2013 at 3:33
  • 2
    Ok, there can't be invalidation as a result of reallocation in an array or unique_ptr<T[]> because there is no reallocation. But of course, when the array goes out of scope, pointers to specific elements will still be invalidated.
    – jogojapan
    Commented May 29, 2013 at 3:38
  • 3
    @rubenvb Sure you can, but you can't (say) use range-based for loops directly. Incidentally, unlike a normal T[], the size (or equivalent information) must be hanging around somewhere for operator delete[] to correctly destroy the elements of the array. It'd be nice if the programmer had access to that.
    – Pseudonym
    Commented May 30, 2013 at 0:09
  • 1
    @Aidiakapi C++ requires that if you delete[] an array of objects which have destructors, the destructors get run. For that reason, the C++ run time already needs to know the actual size of most arrays that have been allocated that way. Now, decent C++ implementations do optimise the destructors out if the objects in the array have no destructor (e.g. a basic type) or a destructor which does nothing. However, they typically don't optimise the memory allocator for this case. It could happen, but it doesn't. So the size information is there.
    – Pseudonym
    Commented May 28, 2015 at 2:31
109

One reason you might use a unique_ptr is if you don't want to pay the runtime cost of value-initializing the array.

std::vector<char> vec(1000000); // allocates AND value-initializes 1000000 chars

std::unique_ptr<char[]> p(new char[1000000]); // allocates storage for 1000000 chars

// C++20 version:
auto p = std::make_unique_for_overwrite<char[]>(1000000);

The std::vector constructor and std::vector::resize() will value-initialize the Ts - but new and std::make_unique_for_overwrite will default-initialize them, which for PODs means doing nothing.

See Value-Initialized Objects in C++11 and std::vector constructor

Note that vector::reserve is not an alternative here: Is accessing the raw pointer after std::vector::reserve safe?

It's the same reason a C programmer might choose malloc over calloc.

5
  • But this reason is not the only solution.
    – Ruslan
    Commented Aug 23, 2016 at 13:33
  • @Ruslan In the linked solution the elements of the dynamic array are still value-initialised, but the value initialisation does nothing. I would agree that an optimiser that fails to realise that doing nothing 1000000 times can be implemented by no code is not worth a dime, but one might prefer not to depend on this optimisation at all. Commented Mar 25, 2017 at 13:30
  • 2
    yet another possibility is to provide to std::vector a custom allocator which avoids construction of types which are std::is_trivially_default_constructible and destruction of objects which are std::is_trivially_destructible, though strictly this violates the C++ standard (since such types are not default initialised).
    – Walter
    Commented May 25, 2017 at 21:37
  • Also std::unique_ptr doesn't provide any bound checking contrary to a lot of std::vector implementations.
    – diapir
    Commented Dec 26, 2017 at 17:09
  • @diapir It's not about the implementation: std::vector is required by the Standard to check bounds in .at(). I guess you meant that some implementations have debug modes that will check in .operator[] too, but I consider that to be useless for writing good, portable code. Commented Jun 26, 2020 at 8:26
37

An std::vector can be copied around, while unique_ptr<int[]> allows expressing unique ownership of the array. std::array, on the other hand, requires the size to be determined at compile-time, which may be impossible in some situations.

11
  • 2
    Just because something can be copied around doesn't mean it has to be. Commented May 23, 2013 at 10:41
  • 6
    @NicolBolas: I don't understand. One may want to prevent that for the same reason why one would use unique_ptr instead of shared_ptr. Am I missing something?
    – Andy Prowl
    Commented May 23, 2013 at 10:42
  • 5
    unique_ptr does more than just prevent accidental misuse. It's also smaller and lower overhead than shared_ptr. The point being that, while it's nice to have semantics in a class that prevent "misuse", that's not the only reason to use a particular type. And vector is far more useful as an array storage than unique_ptr<T[]>, if for no reason other than the fact that it has a size. Commented May 23, 2013 at 10:43
  • 3
    I thought I made the point clear: there are other reasons to use a particular type than that. Just like there are reasons to prefer vector over unique_ptr<T[]> where possible, instead of just saying, "you can't copy it" and therefore pick unique_ptr<T[]> when you don't want copies. Stopping someone from doing the wrong thing is not necessarily the most important reason to pick a class. Commented May 23, 2013 at 10:49
  • 10
    std::vector has more overhead than a std::unique_ptr -- it uses ~3 pointers instead of ~1. std::unique_ptr blocks copy construction but enables move construction, which if semantically the data you are working with can only be moved but not copied, infects the class containing the data. Having an operation on data that is not valid actually makes your container class worse, and "just don't use it" does not wash away all sins. Having to put every instance of your std::vector into a class where you manually disable move is a headache. std::unique_ptr<std::array> has a size. Commented May 23, 2013 at 13:50
31

Scott Meyers has this to say in Effective Modern C++

The existence of std::unique_ptr for arrays should be of only intellectual interest to you, because std::array, std::vector, std::string are virtually always better data structure choices than raw arrays. About the only situation I can conceive of when a std::unique_ptr<T[]> would make sense would be when you're using a C-like API that returns a raw pointer to a heap array that you assume ownership of.

I think that Charles Salvia's answer is relevant though: that std::unique_ptr<T[]> is the only way to initialise an empty array whose size is not known at compile time. What would Scott Meyers have to say about this motivation for using std::unique_ptr<T[]>?

1
  • 7
    It sounds like he simply didn't envision a few use cases, namely a buffer whose size is fixed but unknown at compile time, and/or a buffer for which we don't allow copies. There's also efficiency as a possible reason to prefer it to vector stackoverflow.com/a/24852984/2436175.
    – Antonio
    Commented Jul 17, 2018 at 21:43
20

Contrary to std::vector and std::array, std::unique_ptr can own a NULL pointer.
This comes in handy when working with C APIs that expect either an array or NULL:

void legacy_func(const int *array_or_null);

void some_func() {    
    std::unique_ptr<int[]> ptr;
    if (some_condition) {
        ptr.reset(new int[10]);
    }

    legacy_func(ptr.get());
}
16

I can't disagree with the spirit of the accepted answer strongly enough. "A tool of last resort"? Far from it!

The way I see it, one of the strongest features of C++ compared to C and to some other similar languages is the ability to express constraints so that they can be checked at compile time and accidental misuse can be prevented. So when designing a structure, ask yourself what operations it should permit. All the other uses should be forbidden, and it's best if such restrictions can be implemented statically (at compile time) so that misuse results in a compilation failure.

So when one needs an array, the answers to the following questions specify its behavior: 1. Is its size a) dynamic at runtime, or b) static, but only known at runtime, or c) static and known at compile time? 2. Can the array be allocated on the stack or not?

And based on the answers, this is what I see as the best data structure for such an array:

       Dynamic     |   Runtime static   |         Static
Stack std::vector      unique_ptr<T[]>          std::array
Heap  std::vector      unique_ptr<T[]>     unique_ptr<std::array>

Yep, I think unique_ptr<std::array> should also be considered, and neither is a tool of last resort. Just think what fits best with your algorithm.

All of these are compatible with plain C APIs via the raw pointer to data array (vector.data() / array.data() / uniquePtr.get()).

P. S. Apart from the above considerations, there's also one of ownership: std::array and std::vector have value semantics (have native support for copying and passing by value), while unique_ptr<T[]> can only be moved (enforces single ownership). Either can be useful in different scenarios. On the contrary, plain static arrays (int[N]) and plain dynamic arrays (new int[10]) offer neither and thus should be avoided if possible - which should be possible in the vast majority of cases. If that wasn't enough, plain dynamic arrays also offer no way to query their size - extra opportunity for memory corruptions and security holes.

13

In a nutshell: it's by far the most memory-efficient.

A std::string comes with a pointer, a length, and a "short-string-optimization" buffer. But my situation is I need to store a string that is almost always empty, in a structure that I have hundreds of thousands of. In C, I would just use char *, and it would be null most of the time. Which works for C++, too, except that a char * has no destructor, and doesn't know to delete itself. By contrast, a std::unique_ptr<char[]> will delete itself when it goes out of scope. An empty std::string takes up 32 bytes, but an empty std::unique_ptr<char[]> takes up 8 bytes, that is, exactly the size of its pointer.

The biggest downside is, every time I want to know the length of the string, I have to call strlen on it.

1
  • And std::vector<T> stores three pointers, so is three times the size of unique_ptr<T[]>. Even if you store the length separately in another variable, unique_ptr<T[]> and a separate length is still a smaller footprint than a std::vector or std::string. Commented Aug 30 at 10:11
11

I faced a case where I had to use std::unique_ptr<bool[]>, which was in the HDF5 library (A library for efficient binary data storage, used a lot in science). Some compilers (Visual Studio 2015 in my case) provide compression of std::vector<bool> (by using 8 bools in every byte), which is a catastrophe for something like HDF5, which doesn't care about that compression. With std::vector<bool>, HDF5 was eventually reading garbage because of that compression.

Guess who was there for the rescue, in a case where std::vector didn't work, and I needed to allocate a dynamic array cleanly? :-)

11

I have used unique_ptr<char[]> to implement a preallocated memory pools used in a game engine. The idea is to provide preallocated memory pools used instead of dynamic allocations for returning collision requests results and other stuff like particle physics without having to allocate / free memory at each frame. It's pretty convenient for this kind of scenarios where you need memory pools to allocate objects with limited life time (typically one, 2 or 3 frames) that do not require destruction logic (only memory deallocation).

10

A common pattern can be found in some Windows Win32 API calls, in which the use of std::unique_ptr<T[]> can come in handy, e.g. when you don't exactly know how big an output buffer should be when calling some Win32 API (that will write some data inside that buffer):

// Buffer dynamically allocated by the caller, and filled by some Win32 API function.
// (Allocation will be made inside the 'while' loop below.)
std::unique_ptr<BYTE[]> buffer;

// Buffer length, in bytes.
// Initialize with some initial length that you expect to succeed at the first API call.
UINT32 bufferLength = /* ... */;

LONG returnCode = ERROR_INSUFFICIENT_BUFFER;
while (returnCode == ERROR_INSUFFICIENT_BUFFER)
{
    // Allocate buffer of specified length
    buffer.reset( BYTE[bufferLength] );
    //        
    // Or, in C++14, could use make_unique() instead, e.g.
    //
    // buffer = std::make_unique<BYTE[]>(bufferLength);
    //

    //
    // Call some Win32 API.
    //
    // If the size of the buffer (stored in 'bufferLength') is not big enough,
    // the API will return ERROR_INSUFFICIENT_BUFFER, and the required size
    // in the [in, out] parameter 'bufferLength'.
    // In that case, there will be another try in the next loop iteration
    // (with the allocation of a bigger buffer).
    //
    // Else, we'll exit the while loop body, and there will be either a failure
    // different from ERROR_INSUFFICIENT_BUFFER, or the call will be successful
    // and the required information will be available in the buffer.
    //
    returnCode = ::SomeApiCall(inParam1, inParam2, inParam3, 
                               &bufferLength, // size of output buffer
                               buffer.get(),  // output buffer pointer
                               &outParam1, &outParam2);
}

if (Failed(returnCode))
{
    // Handle failure, or throw exception, etc.
    ...
}

// All right!
// Do some processing with the returned information...
...
2
  • You could just use std::vector<char> in these cases. Commented Mar 16, 2019 at 13:00
  • 1
    @ArthurTacca - ...if you don't mind the compiler initializing every character in your buffer to 0 one-by-one.
    – T.E.D.
    Commented Apr 1, 2019 at 19:54
6

One additional reason to allow and use std::unique_ptr<T[]>, that hasn't been mentioned in the responses so far: it allows you to forward-declare the array element type.

This is useful when you want to minimize the chained #include statements in headers (to optimize build performance.)

For instance -

myclass.h:

class ALargeAndComplicatedClassWithLotsOfDependencies;

class MyClass {
   ...
private:
   std::unique_ptr<ALargeAndComplicatedClassWithLotsOfDependencies[]> m_InternalArray;
};

myclass.cpp:

#include "myclass.h"
#include "ALargeAndComplicatedClassWithLotsOfDependencies.h"

// MyClass implementation goes here

With the above code structure, anyone can #include "myclass.h" and use MyClass, without having to include the internal implementation dependencies required by MyClass::m_InternalArray.

If m_InternalArray was instead declared as a std::array<ALargeAndComplicatedClassWithLotsOfDependencies>, or a std::vector<...>, respectively - the result would be attempted usage of an incomplete type, which is a compile-time error.

2
  • For this particular use case, I'd opt for the Pimpl pattern to break dependence - if it's used only privately, then the definition can be deferred until the class methods are implemented; if it's used publicly, then the users of the class should have already had the concrete knowledge about class ALargeAndComplicatedClassWithLotsOfDependencies. So logically you shouldn't run into such scenarios.
    – user5244399
    Commented Apr 11, 2018 at 14:32
  • For me it is more elegant to hold one/a few/an array of internal objects via unique_ptr (and thus exposing names of the internal types) instead of introducing one more abstraction level with typical PIMPL. So this answer is valuable. Another note: one must wrap his internal type if it is not default-destructible when it is desired to use it with unique_ptr.
    – Kokos
    Commented Feb 25, 2021 at 19:16
3
  • You need your structure to contain just a pointer for binary-compatibility reasons.
  • You need to interface with an API that returns memory allocated with new[]
  • Your firm or project has a general rule against using std::vector, for example, to prevent careless programmers from accidentally introducing copies
  • You want to prevent careless programmers from accidentally introducing copies in this instance.

There is a general rule that C++ containers are to be preferred over rolling-your-own with pointers. It is a general rule; it has exceptions. There's more; these are just examples.

3

To answer people thinking you "have to" use vector instead of unique_ptr I have a case in CUDA programming on GPU when you allocate memory in Device you must go for a pointer array (with cudaMalloc). Then, when retrieving this data in Host, you must go again for a pointer and unique_ptr is fine to handle pointer easily. The extra cost of converting double* to vector<double> is unnecessary and leads to a loss of perf.

2

They may be the rightest answer possible when you only get to poke a single pointer through an existing API (think window message or threading-related callback parameters) that have some measure of lifetime after being "caught" on the other side of the hatch, but which is unrelated to the calling code:

unique_ptr<byte[]> data = get_some_data();

threadpool->post_work([](void* param) { do_a_thing(unique_ptr<byte[]>((byte*)param)); },
                      data.release());

We all want things to be nice for us. C++ is for the other times.

2

unique_ptr<char[]> can be used where you want the performance of C and convenience of C++. Consider you need to operate on millions (ok, billions if you don't trust yet) of strings. Storing each of them in a separate string or vector<char> object would be a disaster for the memory (heap) management routines. Especially if you need to allocate and delete different strings many times.

However, you can allocate a single buffer for storing that many strings. You wouldn't like char* buffer = (char*)malloc(total_size); for obvious reasons (if not obvious, search for "why use smart ptrs"). You would rather like unique_ptr<char[]> buffer(new char[total_size]);

By analogy, the same performance&convenience considerations apply to non-char data (consider millions of vectors/matrices/objects).

1
  • One not put them all in one big vector<char>? The answer, I suppose, is because they will be zero-initialised when you create the buffer, whereas they won't be if you use unique_ptr<char[]>. But this key nugget is missing from your answer. Commented Mar 16, 2019 at 12:58
0

If you need a dynamic array of objects that are not copy-constructible, then a smart pointer to an array is the way to go. For example, what if you need an array of atomics.

0

tl;dr: It's a poor man's std::dynarray.

Let's think of an std::unique_ptr<T[]> as a container. While, indeed, it is crippled by the lack of a size field, and not being directly usable as a container, it occupies a point in the "parameter space" of containers available with the standard library which is shared by no other, proper, container - not even when you add Boost to the mix.

If you'll check out my comparison of widely-available vector-like/contiguous containers, and look for the same features as those of std::unique_ptr:

  • Allocation on the Heap
  • Capacity not fixed at compile time
  • Capacity cannot be altered after construction (without clearing the container altogether)

You'll see that no other container offers all these, except std::dynarray; but that's not actually in the standard library - it was supposed to go into C++14, but ended up being rejected.

And I'm not merely speculating. Even here on SO, this is how things were described occasionally; see @KerrekSB's answer from 2013 to this question.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.