C++23

Текущая редакция стандарта C++.

Новые возможности языка

• Новые макросы проверки возможностей языка
• Явный параметр объекта, функции-члены с явным параметром объекта, также известные как «выведение this» (P0847R7)
• Многомерный оператор индексации (например, v[1, 3, 7] = 42;) (P2128R6)
• static operator[] (P2589R1), static operator() и статические лямбда-выражения (P1169R4)
• auto(x) и auto{x}: decay-copy в языке (P0849R8)
• Предположения с помощью нового атрибута [[assume(expression)]] (P1774R8)
• Атрибуты у лямбда-выражений (P2173R1)
• Необязательные расширенные типы с плавающей точкой: std::float{16|32|64|128}_t и std::bfloat16_t (P1467R9)
• Новые директивы препроцессора: #elifdef, #elifndef (P2334R1) и #warning (P2437R1)
• Суффикс литерала 'Z'/'z' для литералов типа (signed) std::size_t (P0330R8), например auto ouz = 0uz;
• Удаление пробельных символов перед склеиванием строк. (P2223R2)
• Упрощённое неявное перемещение (P2266R3)
• Продление времени жизни временных объектов в инициализаторе цикла for на основе диапазона (P2718R0)
• Вывод аргументов шаблона класса (CTAD) для унаследованных конструкторов (P2582R1)
• Метки в конце составных операторов (P2324R2), например
  

• Объявления псевдонимов (using) в начальных инструкциях (P2360R0), например
  

• Сделать () более необязательным для лямбда-выражений (P1102R2)
• Сужающие контекстные преобразования в bool в static_assert и ifconstexpr (P1401R5)
• Обязательный порядок объявления членов при размещении (нестатических членов данных класса) (P1847R4)
• Изменения в кодировании текста:
  • Наборы символов и кодировки (P2314R4)
  • Единообразное кодирование символьных литералов (P2316R2)
  • Именованные универсальные escape-последовательности символов, например "\N{CAT FACE}" для "🐱" (P2071R2)
  • Escape-последовательности с разделителями, например "\o{7777}", "\x{C0DE}", "\u{CAFE}" (P2290R3)
  • Поддержка UTF-8 в качестве переносимой кодировки исходных файлов (P2295R6)
• if consteval / if not consteval (P1938R3)
• Изменения в constexpr:
  • Переменные, не являющиеся литеральными, метки и операторы goto в функциях constexpr (P2242R3)
  • Разрешение переменных static и thread_local в константных выражениях функций constexpr (P2647R1)
  • Функции constexpr не обязательно иметь литеральный тип возвращаемого значения и типы параметров (P2448R2)
  • Функции constexpr, для которых ни один вызов не удовлетворяет требованиям основного константного выражения (P2448R2)

Новые возможности библиотеки

• Новые макросы проверки возможностей библиотеки

Новые модули

• std и std.compat (P2465R3)

Новые заголовки

• <expected>
• <flat_map>
• <flat_set>
• <generator>
• <mdspan>
• <print>
• <spanstream>
• <stacktrace>
• <stdfloat>

Заголовки для совместимости с C:

• <stdatomic.h> (P0943R6)

Возможности библиотеки

Общие утилиты

• std::expected: новый тип-словарь для возврата результата функции (<expected>) (P0323R12, P2549R1)
• std::move_only_function: обёртка для вызываемых объектов, допускающая только перемещение (P0288R9)
• std::bind_back: обёртка вызова (P2387R3)
• std::byteswap: меняет порядок байтов на обратный (P1272R4)
• std::forward_like (P2445R1)
• std::invoke_r: вызывает объект Callable (P2136R3)
• std::to_underlying: вспомогательная функция для получения базового значения enum (P1682R3)
• std::unreachable: функция для обозначения недостижимого кода (P0627R6)
• Монадические операции (transform, or_else и and_then) для std::optional (P0798R8) и std::expected (P2505R5)
• std::tuple совместим с другими объектами, подобными кортежам (P2165R4)
• Добавление аргументов по умолчанию для пересылающего конструктора std::pair (P2718R0)
• Специализация std::basic_common_reference для std::reference_wrapper, возвращающая ссылочные типы (P2655R3)

Библиотека корутин

• std::generator: генератор диапазонов на основе синхронных корутин (P2502R2, P2787R0)

Диагностика

• Библиотека трассировки стека (P0881R7)

Алгоритмы, итераторы и диапазоны

• Новые адаптеры диапазонов:
  • views::adjacent и views::adjacent_transform (P2321R2)
  • views::as_const (P2278R4)
  • views::as_rvalue (P2446R2)
  • views::cartesian_product (P2374R4)
  • views::chunk_by (P2443R1)
  • views::chunk (P2442R1)
  • views::enumerate (P2164R9)
  • views::join_with (P2441R2)
  • views::repeat (P2474R2)
  • views::slide (P2442R1)
  • views::stride (P1899R3)
  • views::zip, views::zip_transform (P2321R2)
• ranges::range_adaptor_closure: вспомогательный тип для замыканий адаптеров диапазонов, определённых в программе (P2387R3)
• ranges::to: функция преобразования диапазона (P1206R7)
• Новые алгоритмы диапазонов с ограничениями:
  • ranges::starts_with и ranges::ends_with (P1659R3)
  • ranges::contains и ranges::contains_subrange (P2302R4)
  • ranges::find_last, ranges::find_last_if и ranges::find_last_if_not (P1223R5)
  • ranges::iota, ranges::shift_left и ranges::shift_right: версии алгоритмов без ограничений для диапазонов (P2440R1)
  • ranges::fold_left и др.: алгоритмы свёртки диапазонов (P2322R6)
• Уточнение работы константных итераторов, сентинелов и диапазонов: ranges::cbegin и другие подобные утилиты, возвращающие константные итераторы, должны быть полностью гарантированы даже для представлений с поверхностным const (например, std::span) (P2278R4)
• Явные многопараметрические конструкторы некоторых представлений (P2711R1)
• Итераторы диапазонов в качестве входных данных для алгоритмов, не работающих с диапазонами (P2408R5)
• Ослабление требований к адаптерам диапазонов для поддержки типов, допускающих только перемещение (P2494R2)

Контейнеры

• std::mdspan: невладеющая ссылка на многомерный массив (P0009R18, P2599R2, P2604R0, P2613R1, P2763R1)
• Возможность конструирования контейнеров из других совместимых диапазонов и присваивания им значений таких диапазонов (P1206R7)
• std::flat_set, std::flat_multiset (P1222R4), std::flat_map, std::flat_multimap (P0429R9): плоские множества и отображения — адаптеры контейнеров, оборачивающие базовые отсортированные контейнеры с произвольным доступом
• Разрешение конструирования из пары итераторов для std::stack и std::queue (P1425R4)
• Перегрузки стирания с неоднородными типами для ассоциативных контейнеров (P2077R2)
• Контекст, в котором не производится вывод типа аллокатора, в руководствах по выводу для контейнеров (P1518R2)
• Требование тривиальной копируемости для std::span и std::basic_string_view (P2251R1)

Поддержка времени компиляции

• Поддержка constexpr для:
  • std::bitset (P2417R2)
  • std::unique_ptr (P2273R3)
  • std::type_info::operator== (P1328R1)
  • Некоторые функции <cmath> (P0533R9)
  • Целочисленные перегрузки std::to_chars и std::from_chars (P2291R3)
• Утилиты метапрограммирования:
  • Добавление поддержки типов, допускающих только перемещение, для концептов сравнения (P2404R3)
  • Характеристики типов:
    • std::is_scoped_enum (P1048R1)
    • std::is_implicit_lifetime (P2674R1)
    • std::reference_constructs_from_temporary и std::reference_converts_from_temporary (P2255R2)

Управление памятью

• std::out_ptr и std::inout_ptr: адаптеры умных указателей для взаимодействия с C (P1132R7)
• std::allocate_at_least и std::allocator::allocate_at_least (P0401R6)
• std::start_lifetime_as: функция явного управления временем жизни для типов с неявным временем жизни (P2590R2)
• Запрет пользовательской специализации std::allocator_traits (P2652R2)

Обработка строк и текста

• Новые функции-члены и изменения типов строк:
  • std::basic_string::contains и std::basic_string_view::contains (P1679R3)
  • Запрет конструирования из nullptr для std::basic_string и std::basic_string_view (P2166R1)
  • Явный конструктор диапазона для std::basic_string_view (P1989R2)
  • std::basic_string::resize_and_overwrite (P1072R10)
  • Перегрузка std::basic_string::substr для ссылки на rvalue для эффективного выделения подстрок (P2438R2)
• Форматирование диапазонов, кортежей, экранированное представление символов и строк, std::thread::id и трассировок стека. (P2286R8) (P2585R1) (P2693R1)

Ввод-вывод и вывод на печать

• Функции форматированного вывода std::print и std::println, предоставляемые в заголовке <print> (P2093R14)
• Библиотека spanstream (строковый поток на основе std::span), предоставляемая в заголовке <spanstream> (P0448R4)
• Поддержка эксклюзивного режима в std::fstream (P2467R1)
• Поддержка вывода volatile T*: std::basic_ostream::operator<<(const volatile void*) (P1147R1)

Устаревшие возможности

Удалённые возможности

• Поддержка сборки мусора и обнаружение утечек на основе достижимости. (P2186R2)
• Поддержка конкатенации смешанных широких строковых литералов; например, const auto* no = u"q" U"p" является некорректной программой. (P2201R1)
• Широкие символьные литералы, не поддающиеся кодированию, и широкие символьные литералы из нескольких символов; например, wchar_t x = 'db' является некорректной программой. (P2362R3)

Устаревшие возможности

• std::aligned_storage и std::aligned_union (P1413R3)
• std::numeric_limits::has_denorm (P2614R2)

Отменённое устаревание

• operator, (оператор-запятая) в выражениях индексации (при этом семантика изменена для поддержки перегружаемого многомерного operator[]).
• Некоторые заголовки C (соответствующие заголовки <*.h> для совместимости с C) (P2340R1)

Отчёты об ошибках

Поддержка компиляторами

Основная статья: Поддержка C++23 компиляторами

Основные возможности языка C++23

Возможности библиотеки C++23

* — наведите указатель на ячейку, отмеченную звёздочкой *, чтобы увидеть дополнительные примечания.
DRnn — число nn после «DR» обозначает целевую редакцию C++, к которой применяется отчёт об ошибке, например, DR20 → C++20.

Внешние ссылки