---
title: 'Memory allocation in std::optional'
url: 'http://www.samansaadi.com/blog/std_optional'
markdown: 'http://www.samansaadi.com/blog/std_optional.md'
lang: en
date: '2021-06-12'
description: 'C++17 introduces std::optional. Before C++17 we could use Boost.Optional. The question is when we should use smart pointers and when to use std::optional? Memory allocation For smart pointers we have'
taxonomy:
  category:
    - en_blog
  en_tag:
    - C++
    - programming
    - 'memory management'
  archives_month:
    - jun_2021
  archives_year:
    - '2021'
---

# Memory allocation in std::optional

[ Home ](http://www.samansaadi.com/)     [ Blog ](http://www.samansaadi.com/blog)      Memory allocation in std::optional    

C++17 introduces `std::optional`. Before C++17 we could use `Boost.Optional`. The question is when we should use smart pointers and when to use `std::optional`?

## Memory allocation

For smart pointers we have a lot of choices: `std:unique_ptr`, `std::shared_ptr` and `std::weak_ptr`. This [website](https://www.nextptr.com/tutorial/ta1450413058/unique_ptr-shared_ptr-weak_ptr-or-reference_wrapper-for-class-relationships) explains the differences and when to use them.

I'm going to focus on memory allocation differences between `std::optional` and smart pointers. According to [cppreference](https://en.cppreference.com/w/cpp/utility/optional):

> Any instance of optional at any given point in time either contains a value or does not contain a value. If an optional contains a value, the value is guaranteed to be allocated as part of the optional object footprint, i.e. no dynamic memory allocation ever takes place. Thus, an optional object models an object, not a pointer, even though operator\*() and operator->() are defined.

There are two implications here:

1. when `std::optional` is created, the memory is allocated for `T`. Unlike smart pointers, [lazy initialization](https://en.wikipedia.org/wiki/Lazy_initialization) is not possible
2. `T` may not have default constructor. So `std::optional` must handle this situation

Based on these facts when lazy initialization is important (e.g. the size of `T` is huge or most of the time `std::optional` doesn't have a value), it's better to use smart pointers; otherwise use `std::optional`. For more information read this [answer](https://stackoverflow.com/a/44856779).

## High-level implementation details

The second implication is a little tricky. I've looked at `libstdc++` and I've noticed they address it by using [Unions](https://en.cppreference.com/w/cpp/language/union):

> The union is only as big as necessary to hold its largest data member. The other data members are allocated in the same bytes as part of that largest member. The details of that allocation are implementation-defined but all non-static data members will have the same address (since C++14). It's undefined behavior to read from the member of the union that wasn't most recently written. Many compilers implement, as a non-standard language extension, the ability to read inactive members of a union.

I wrote a simplified example that shows the idea behind it:

```
#include <iostream>
#include <cstdint>

struct Data
{
  Data(std::int64_t data_) : data(data_) {}
  std::int64_t data;
};

struct EmptyByte { };

union Storage
{
  Storage() : zeroByte()
  {
    std::cout << "zeroByte is initialized" << std::endl;
  }

  Storage(std::int64_t data_) : data(data_)
  {
    std::cout << "data is initialized" << std::endl;
  }

  EmptyByte zeroByte;
  Data data;
};

int main()
{
  std::cout << "Data size: " << sizeof(Data) << std::endl;            // Data size: 8
  std::cout << "EmptyByte size: " << sizeof(EmptyByte) << std::endl;  // EmptyByte size: 1
  std::cout << "Storage size: " << sizeof(Storage) << std::endl;      // Storage Size: 8

  Storage s1;     // zeroByte is initialized
  Storage s2(7);  // data is initialized
}
```

As you can see `Data` doesn't have a default constructor but `Storage` union takes care of it. So `union` addresses the second implication.

For addressing the first implication, `std::optional` is using a technique named [placement new](https://en.cppreference.com/w/cpp/language/new) to use a pre-allocated memory:

```
// within any block scope...
{
    alignas(T) unsigned char buf[sizeof(T)];
    // Statically allocate the storage with automatic storage duration
    // which is large enough for any object of type `T`.
    T* tptr = new(buf) T; // Construct a `T` object, placing it directly into your 
                          // pre-allocated storage at memory address `buf`.
    tptr->~T();           // You must **manually** call the object's destructor
                          // if its side effects is depended by the program.
}                         // Leaving this block scope automatically deallocates `buf`.
```

As you can see the implementation details are elegant and easy to understand.

 [ Previous Post](http://www.samansaadi.com/blog/cryptocurrencies_processing_time) [Next Post ](http://www.samansaadi.com/blog/odroid_n2)

#### Random Article

 [ I'm Feeling Lucky!](http://www.samansaadi.com/blog/random)

#### Useful Links

- [C++ Core Guidelines](https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md)
- [HackerRank](https://www.hackerrank.com/)
- [The Architecture of Open Source Applications](https://aosabook.org/en/index.html)

#### Popular Tags

  [linux](http://www.samansaadi.com/blog/en_tag:linux) [travel](http://www.samansaadi.com/blog/en_tag:travel) [city](http://www.samansaadi.com/blog/en_tag:city) [security](http://www.samansaadi.com/blog/en_tag:security) [keyboard layout](http://www.samansaadi.com/blog/en_tag:keyboard%20layout) [french](http://www.samansaadi.com/blog/en_tag:french) [english](http://www.samansaadi.com/blog/en_tag:english) [windows](http://www.samansaadi.com/blog/en_tag:windows) [date](http://www.samansaadi.com/blog/en_tag:date) [time zone](http://www.samansaadi.com/blog/en_tag:time%20zone) [cryptocurrency](http://www.samansaadi.com/blog/en_tag:cryptocurrency) [bitcoin](http://www.samansaadi.com/blog/en_tag:bitcoin) [tron](http://www.samansaadi.com/blog/en_tag:tron) [litecoin](http://www.samansaadi.com/blog/en_tag:litecoin) [payment](http://www.samansaadi.com/blog/en_tag:payment) [email](http://www.samansaadi.com/blog/en_tag:email) [messaging apps](http://www.samansaadi.com/blog/en_tag:messaging%20apps) [WhatsApp](http://www.samansaadi.com/blog/en_tag:WhatsApp) [Telegram](http://www.samansaadi.com/blog/en_tag:Telegram) [phone](http://www.samansaadi.com/blog/en_tag:phone) [cellphone](http://www.samansaadi.com/blog/en_tag:cellphone) [credit card](http://www.samansaadi.com/blog/en_tag:credit%20card) [finance](http://www.samansaadi.com/blog/en_tag:finance) [money](http://www.samansaadi.com/blog/en_tag:money) [C++](http://www.samansaadi.com/blog/en_tag:C++) [programming](http://www.samansaadi.com/blog/en_tag:programming) [memory management](http://www.samansaadi.com/blog/en_tag:memory%20management) [sbc](http://www.samansaadi.com/blog/en_tag:sbc) [parted](http://www.samansaadi.com/blog/en_tag:parted) [odroid](http://www.samansaadi.com/blog/en_tag:odroid) [dd](http://www.samansaadi.com/blog/en_tag:dd) [e2image](http://www.samansaadi.com/blog/en_tag:e2image) [gparted](http://www.samansaadi.com/blog/en_tag:gparted) [coreelec](http://www.samansaadi.com/blog/en_tag:coreelec) [ubuntu](http://www.samansaadi.com/blog/en_tag:ubuntu) [petitboot](http://www.samansaadi.com/blog/en_tag:petitboot) [partition](http://www.samansaadi.com/blog/en_tag:partition) [mbr](http://www.samansaadi.com/blog/en_tag:mbr) [gpt](http://www.samansaadi.com/blog/en_tag:gpt) [sector](http://www.samansaadi.com/blog/en_tag:sector) [storage](http://www.samansaadi.com/blog/en_tag:storage) 

#### Archives

- [ 1 January 2022  ](http://www.samansaadi.com/blog/archives_month:jan_2022)
- [ 1 November 2021  ](http://www.samansaadi.com/blog/archives_month:nov_2021)
- [ 1 June 2021  ](http://www.samansaadi.com/blog/archives_month:jun_2021)
- [ 1 September 2020  ](http://www.samansaadi.com/blog/archives_month:sep_2020)
- [ 1 June 2020  ](http://www.samansaadi.com/blog/archives_month:jun_2020)
- [ 3 May 2020  ](http://www.samansaadi.com/blog/archives_month:may_2020)

#### Syndicate

 [ Atom 1.0](http://www.samansaadi.com/blog.atom) [ RSS](http://www.samansaadi.com/blog.rss)

---

## Navigation

- Parent: [Blog](http://www.samansaadi.com/blog.md)
- Previous: [Odroid N2+](http://www.samansaadi.com/blog/odroid_n2.md)
- Next: [Cryptocurrencies Processing Time](http://www.samansaadi.com/blog/cryptocurrencies_processing_time.md)