C++17

C++17 — это крупная версия, следующая за минорной версией C++14 и вводящая новые возможности языка и библиотеки. Стандарт был опубликован в декабре 2017 года.

В C++17 были включены следующие возможности:

• Из TS файловой системы: библиотека файловой системы.
• Из TS Library fundamentals v1: возможности, включая std::any, std::optional, std::string_view, std::apply, полиморфные распределители памяти, поисковые объекты.
• Из TS Library fundamentals v2: std::void_t, std::conjunction, std::disjunction, std::negation, std::not_fn, std::gcd, std::lcm.
• Из TS Parallelism v1: возможности, включая политики выполнения, std::reduce, std::inclusive_scan, std::exclusive_scan, но с удалением exception_list.
• Из IS математических специальных функций: математические специальные функции.
• Из C11: std::aligned_alloc, std::timespec_get.

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

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

• std::auto_ptr,
• устаревшие функциональные объекты,
• std::random_shuffle,
• std::unexpected,
• устаревшие псевдонимы iostream,
• триграфы,
• ключевое слово register,
• инкремент bool,
• динамическая спецификация исключений

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

• std::iterator,
• std::raw_storage_iterator,
• std::get_temporary_buffer,
• std::is_literal_type,
• std::result_of,
• всё содержимое <codecvt>

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

• символьный литерал u8
• noexcept стала частью системы типов
• новые правила порядка вычисления
• захват *this в лямбда-выражении
• constexpr

  вычисляемый во время компиляции if constexpr

  constexpr-лямбда

• Переменные

  встроенные переменные

  структурные привязки

  инициализаторы для if и switch

  гарантированное устранение копирования

  материализация временного объекта

• Шаблоны

  свёрточные выражения ( ... )

  выведение аргументов шаблона класса tuple t(4, 3, 2.5)

  параметры шаблона, не являющиеся типами, объявленные с помощью auto

• Пространства имён

  упрощённый синтаксис вложенных пространств имён

  объявление using для нескольких имён

  в пространствах имён атрибутов больше не требуется повторять имя

• новые атрибуты:
  • [[fallthrough]]
  • [[maybe_unused]]
  • [[nodiscard]]
• __has_include

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

• <any>
• <charconv>
• <execution>
• <filesystem>
• <memory_resource>
• <optional>
• <string_view>
• <variant>

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

Вспомогательные типы

• std::tuple:
  • std::apply
  • std::make_from_tuple
  • направляющие вывода
• std::any
• std::optional
• std::variant
• поисковые объекты
• std::as_const
• std::not_fn

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

• алгоритмы работы с неинициализированной памятью
  • std::destroy_at
  • std::destroy
  • std::destroy_n
  • std::uninitialized_move
  • std::uninitialized_value_construct
• weak_from_this
• std::pmr::memory_resource и std::polymorphic_allocator
• std::aligned_alloc
• прозрачные std::owner_less
• поддержка массивов для std::shared_ptr
• функции выделения памяти с явным выравниванием

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

• std::byte
• std::conjunction/std::disjunction/std::negation
• переменные-шаблоны характеристик типов (xxx_+v)
• std::is_swappable
• std::is_invocable
• std::is_aggregate
• std::has_unique_object_representations

Алгоритмы

• std::clamp
• параллельные алгоритмы и политики выполнения
• std::inclusive_scan
• std::exclusive_scan
• std::gcd
• std::lcm
• std::reduce

Итераторы и контейнеры

• extract для map/set и merge для map/set
• try_emplace и insert_or_assign для map/unordered_map
• непрерывные итераторы (LegacyContiguousIterator)
• не являющиеся членами класса std::size/std::empty/std::data

Численные операции

• математические специальные функции
• 3D std::hypot

Прочее

• интерфейс размера строки кэша
• std::launder
• std::uncaught_exceptions
• std::to_chars/std::from_chars
• std::atomic<T>::is_always_lock_free
• std::scoped_lock
• std::timespec_get
• функции округления для std::chrono::duration и std::chrono::time_point

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

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

Возможности основного языка C++17

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

Примечания

• По состоянию на 2020-11-20 последняя версия Oracle Developer Studio — 12.6. В её документации C++17 не упоминается.
• Компилятор Cray может поддерживать некоторые возможности начиная с версии раньше 11.0. Именно в этой версии он стал производным от Clang, получив поддержку всех языковых возможностей базового компилятора. См. документ Cray/HPE S-2179.

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

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