C++20

Наступне було проголосовано для включення в чорновик стандарту C++20 в липні 2017:[32]

• Концепти.[6]
• Іменована ініціалізація[33] (базується на можливостях C99)

struct A { int x; int y; int z; };
A a{.y = 2, .x = 1}; // помилка; порядок ініціалізаторів не відповідає порядку в означені
A b{.x = 1, .z = 2}; // добре, b.y ініціалізоване в 0

• [=, this] захоплення лямбди[34]
• Шаблонний список параметрів лямбди[35]
• std::make_shared і std::allocate_shared для масивів[36]

• тришляхове порівняння використовуючи оператор-зореліт, <=>
• ініціалізація додаткової змінної всередині діапазонного for[37]

for (T thing = foo(); auto& x : thing.items()) { /* ... */ } // Добре

• лямбди в необчислюваних контекстах (наприклад, в decltype)[38][39]
• конструйовні за замовчанням і з можливістю присвоювання лямбди без стану.[38][40] Це робить лямбди без стану більше схожими на функціональні об'єкти
• дозволити розкриття паку в ініціалізаційному захоплені лямбди[38][41], як-от [args=std::move(args)...]() -> ...
• рядкові літерали як параметри не типи шаблонів[38][42]
• атомарні вказівники (такі як std::atomic<shared_ptr<T>> і std::atomic<weak_ptr<T>>)[43]
• std::to_address переводить вказівник, в тому числі розумний, в сирий вказівник[44]

• в деяких ситуаціях прибирає потребу в typename[45]
• нові стандартні атрибути [[no_unique_address]],[46] [[likely]] і [[unlikely]][47]
• доповнення до календаря і часових поясів у <chrono>[48]
• std::span, надає вид на масив (аналогічний до std::string_view, але span не тільки для читання).[49] Зазвичай втілюється за допомогою вказівника на початок і розміру.
• заголовковий файл <version> [50]

Зміни, що їх було внесено в робочу чернетку C++20 під час літньої зустрічі в червні 2018 в Раперсвілі включають:[51]

• контракти було відкладено до пізніших стандартів[52]
• макроси тестування наявності функціональності[53]. Наприклад, __cpp_lib_coroutine, __cpp_concepts
• побітове перетворення представлень об'єктів менш багатослівне ніж memcpy() і придатніше для використання внутрішніх можливостей компілятора[54]. Див. std::bit_cast
• умовний explicit, що дозволяє модифікатору залежати від логічного виразу[55]

template<class T> struct wrapper { 
  template<class U> explicit(!std::is_convertible_v<U, T>) wrapper(U const& u) : t_(u) {} 
  T t_; 
};

• constexpr віртуальні функції[56]

• Coroutines[57]
• Модулі.[58] Уже підтримуються Clang 5[59] та Visual Studio 2015 Update 1

Зміни внесені до робочої чернетки C++20 під час літньої зустрічі в липні 2019 (Кельн) включають:[60][61][62]

• контракти було виключено (дивись зміни відкладені до наступних стандартів)[63]
• використання оператора коми в виразах для індексів було позначено небажаним[17]

    a[b,c];   // небажано
    a[(b,c)]; // прийнятно

• (більшість з) volatile було позначено небажаними[18]
• доповнення для constexpr (трівіальна ініціалізація за замовчанням,[64] дозволяє вбудований асемблер у випадках, коли він не обчилюється під час компіляції[65])