C++17
Материал из cppreference.com
< cpp
| Этот раздел не завершён |
В C++17 были объединены следующие функции:
- Из ТС Файловой Системы: библиотека файловой системы.
- Из ТС Библитотеки основ v1: возможности, включающие std::any, std::optional, std::string_view, std::apply, полиморфные аллокаторы, поисковые функции, std::apply.
- Из ТС Библитотеки основ v2: std::void_t, std::conjunction, std::disjunction, std::negation, std::not_fn, std::gcd, std::lcm.
- Из ТС Параллелизма 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>
[править] Новые языковые возможности
- выражения свёртки
- вывод аргументов шаблона класса
- параметры шаблона не типы, объявленные с
auto - if constexpr времени компиляции
- встраиваемые переменные
- структурные привязки
- инициализаторы для if и switch
- символьный литерал
u8 - упрощённые вложенные пространства имён
-
using-объявление, объявляющее несколько имён - noexcept сделано частью системы типов
- новые правила порядка вычисления
- гарантированный пропуск копирования
- временная материализация
- лямбда-захват *this
- constexpr лямбда
- атрибуты пространств имён не должны повторяться
- новые атрибуты:
-
[[fallthrough]] -
[[maybe_unused]] -
[[nodiscard]]
-
- __has_include
[править] Новые заголовки
[править] Новые возможности библиотеки
[править] Полезные типы
- 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
- is_invocable
- is_aggregate
- std::has_unique_object_representations
[править] Алгоритмы
- std::clamp
- параллельные алгоритмы и политики исполнения
- std::reduce
- std::inclusive_scan
- std::exclusive_scan
- std::gcd
- std::lcm
[править] Итераторы и контейнеры
- map/set extract и map/set merge
- map/unordered_map try_emplace и insert_or_assign
- непрерывный итератор (LegacyContiguousIterator)
- не являющиеся элементами std::size/std::empty/std::data
[править] Числа
[править] Другое
- интерфейс строки кэша
- 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++
[править] Основные возможности языка C++17
| C++17 возможность |
Страница(цы) |
GCC |
Clang |
MSVC |
Apple Clang |
EDG eccp |
Intel C++ |
IBM XLC++ |
Sun/Oracle C++ |
Embarcadero C++ Builder |
Cray |
Nvidia HPC C++ (ex Portland Group/PGI) |
Nvidia nvcc |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Новые правила auto для прямой инициализации списком
|
N3922 | 5 | 3.8 | 19.0 (2015)* | Да | 4.10.1 | 17.0 | 10.3 | 17.7 | 11.0 | ||||
| static_assert без сообщения | N3928 | 6 | 2.5 | 19.10* | Да | 4.12 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
typename в параметре шаблона шаблона
|
N4051 | 5 | 3.5 | 19.0 (2015)* | Да | 4.10.1 | 17.0 | 10.3 | 17.7 | Да* | ||||
| Удалены триграфы | N4086 | 5 | 3.5 | 16.0* | Да | 5.0 | 10.3 | 19.1 | 11.0 | |||||
| Определение вложенного пространства имён | N4230 | 6 | 3.6 | 19.0 (Обновление 3)* | Да | 4.12 | 17.0 | 10.3 | 17.7 | 11.0 | ||||
| Атрибуты для пространств имён и перечислителей | N4266 | 4.9 (частично)* 6 |
3.6 | 19.0 (2015)* | Да | 4.11 | 17.0 | 10.3 | 17.7 | 11.0 | ||||
символьные литералы u8
|
N4267 | 6 | 3.6 | 19.0 (2015)* | Да | 4.11 | 17.0 | 10.3 | 17.7 | 11.0 | ||||
| Разрешено константное вычисление для всех аргументов шаблона, не являющихся типом | N4268 | 6 | 3.6 | 19.12* | Да | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
| Выражения Свёртки | N4295 | 6 | 3.6 | 19.12* | Да | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
| Унарные выражения свёртки и пустые пакеты параметров | P0036R0 | 6 | 3.9 | 19.12* | Да | 4.14 | 10.3 | 19.1 | 11.0 | |||||
| Удалено Устаревшее Использование Ключевого Слова register | P0001R1 | 7 | 3.8 | 19.11* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
Удалён Устаревший operator++(bool)
|
P0002R1 | 7 | 3.8 | 19.11* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
| Спецификации исключений сделаны частью системы типов | P0012R1 | 7 | 4 | 19.12* | Да | 4.14 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
| Агрегированная инициализация классов базовыми классами | P0017R1 | 7 | 3.9 | 19.14* | Да | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
| __has_include в условных выражениях препроцессора | P0061R1 | 5 | Да | 19.11* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
| DR: Новая спецификация для наследования конструкторов (DR1941 и другие) | P0136R1 | 7 | 3.9 | 19.14* | Да | 6.1 | 10.3 | 19.1 | 11.0 | |||||
Лямбда-захват *this
|
P0018R3 | 7 | 3.9 | 19.11* | Да | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
| Прямая инициализация перечислений списком | P0138R2 | 7 | 3.9 | 19.11* | Да | 4.14 | 18.0 | 10.3 | 19.1 | 11.0 | ||||
| лямбда-выражения constexpr | P0170R1 | 7 | 5 | 19.11* | Да | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
| Различные начальные и конечные типы в основанном на диапазоне for | P0184R0 | 6 | 3.9 | 19.10* | Да | 4.12 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
[[fallthrough]] атрибут
|
P0188R1 | 7 | 3.9 | 19.10* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
[[nodiscard]] атрибут
|
P0189R1 | 7 | 3.9 | 19.11* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
[[maybe_unused]] атрибут
|
P0212R1 | 7 | 3.9 | 19.11* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
| Шестнадцатеричные литералы с плавающей запятой | P0245R1 | 3.0 | Да | 19.11* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
| Использование атрибутов пространств имён без повторения | P0028R4 | 7 | 3.9 | 19.11* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
| Распределение динамической памяти для выровненных данных | P0035R4 | 7 | 4 | 19.12* |
10.0.0* |
4.14 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
| Вывод аргументов шаблона класса | P0091R3 | 7 | 5 | 19.14* | Да | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
Параметры шаблона не типы с типом auto
|
P0127R2 | 7 | 4 | 19.14* | Да | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
| Гарантированный пропуск копирования | P0135R1 | 7 | 4 | 19.13* | Да | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
| Замена объектов класса, содержащих ссылочные элементы | P0137R1 | 7 | 6 | 19.14* | Да | 5.0 | 10.3 | 19.1 | 11.0 | |||||
| Более строгий порядок вычисления выражений | P0145R3 | 7 | 4 | 19.14* | Да | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
| Структурные Привязки | P0217R3 | 7 | 4 | 19.11* | Да | 4.14 | 19.0 | 10.3 | 18.1 | 11.0* | ||||
| Игнорирование неизвестных атрибутов | P0283R2 | Да | 3.9 | 19.11* | Да | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
| инструкция constexpr if | P0292R2 | 7 | 3.9 | 19.11* | Да | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
| инструкции инициализации для if и switch | P0305R1 | 7 | 3.9 | 19.11* | Да | 4.14 | 18.0 | 10.3 | 18.1 | 11.0 | ||||
| Встраиваемые переменные | P0386R2 | 7 | 3.9 | 19.12* | Да | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
| Удалены спецификации динамических исключений | P0003R5 | 7 | 4 | 19.10* | Да | 4.14 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
| Расширения упаковывания в using-объявлениях | P0195R2 | 7 | 4 | 19.14* | Да | 5.0 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
| DR: Сопоставление шаблонных аргументов шаблона исключает совместимые шаблоны | P0522R0 | 7 | 4 | 19.12* | Да | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
| C++17 возможность |
Страница(цы) |
GCC |
Clang |
MSVC |
Apple Clang |
EDG eccp |
Intel C++ |
IBM XLC++ |
Sun/Oracle C++ |
Embarcadero C++ Builder |
Cray |
Nvidia HPC C++ |
Nvidia nvcc |
[править] Возможности библиотеки C++17
| C++17 возможность |
Страница(цы) |
GCC libstdc++ |
Clang libc++ |
MSVC STL |
Apple Clang |
Intel Parallel STL |
Sun/Oracle C++ Стандартная Библиотека |
Embarcadero C++ Builder Стандартная Библиотека |
Cray C++ Стандартная Библиотека |
|
|---|---|---|---|---|---|---|---|---|---|---|
| std::void_t | N3911 | 6 | 3.6 | 19.0 (2015)* | Да | Н/Д | 10.3 | |||
| std::uncaught_exceptions() | N4259 | 6 | 3.7 | 19.0 (2015)* | Да | Н/Д | ||||
| std::size(), std::empty() и std::data() | N4280 | 6 | 3.6 | 19.0 (2015)* | Да | Н/Д | 10.3 | |||
| Улучшение std::pair и std::tuple | N4387 | 6 | 4 | 19.0 (Обновление 2)* | Да | Н/Д | 10.3 | |||
| std::bool_constant | N4389 | 6 | 3.7 | 19.0 (2015)* | Да | Н/Д | 10.3 | |||
| std::shared_mutex (безвременный) | N4508 | 6 | 3.7 | 19.0 (Обновление 2)* | Да | Н/Д | 10.3 | |||
| Свойства типов шаблонов переменных | P0006R0 | 7 | 3.8 | 19.0 (Обновление 2)* | Да | Н/Д | 10.3 | |||
| Свойства типа логического оператора | P0013R1 | 6 | 3.8 | 19.0 (Обновление 2)* | Да | Н/Д | 10.3 | |||
| Стандартизация Параллелизма TS | P0024R2 | 9* | 19.14* | 18.0* | ||||||
| std::clamp() | P0025R0 | 7 | 3.9 | 19.0 (Обновление 3)* |
10.0.0* |
Н/Д | 10.3 | |||
| Аппаратный интерфейс размера | P0154R1 | 12 | 19.11* | Н/Д | 10.3 | |||||
| (nothrow-)заменяемые свойства | P0185R1 | 7 | 3.9 | 19.0 (Обновление 3)* |
10.0.0* |
Н/Д | 10.3 | |||
| Библиотека файловой системы | P0218R1 | 8 | 7 | 19.14* |
11.0.0* |
Н/Д | 10.3 | |||
| std::string_view | N3921 P0220R1 |
7 | 4 | 19.10* |
10.0.0* |
Н/Д | 10.3 | |||
| std::any | P0220R1 | 7 | 4 | 19.10* |
10.0.0* |
Н/Д | 10.3 | |||
| std::optional | P0220R1 | 7 | 4 | 19.10* |
10.0.0* |
Н/Д | 10.3 | |||
| Полиморфные ресурсы памяти | P0220R1 | 9 | 19.13* | Н/Д | 10.3 | |||||
| Математические специальные функции | P0226R1 | 7 | 19.14* | Н/Д | 10.3 | |||||
| C++17 должен ссылаться на C11 вместо C99 | P0063R3 | 9 | 7 | 19.0 (2015)* (частично)* |
10.0.0* |
Н/Д | ||||
| Сращивание Карт и Наборов | P0083R3 | 7 | 8 | 19.12* |
10.0.0* |
Н/Д | ||||
| std::variant | P0088R3 | 7 | 4 | 19.10* |
10.0.0* |
Н/Д | 10.3 | |||
| std::make_from_tuple() | P0209R2 | 7 | 3.9 | 19.10* | Да | Н/Д | 10.3 | |||
| std::has_unique_object_representations | P0258R2 | 7 | 6 | 19.11* | Да | Н/Д | 10.3 | |||
| std::gcd() и std::lcm() | P0295R0 | 7 | 4 | 19.11* | Да | Н/Д | 10.3 | |||
| std::not_fn | P0005R4 P0358R1 |
7 | 3.9 | 19.12* | Да | Н/Д | 10.3 | |||
| Элементарные строковые преобразования, включая поддержку значений FP (Плавающая Запятая) | P0067R5 | 8 (нет FP) 11 |
7 (нет FP) 14 |
19.14* (нет FP)* 19.24* |
10.0.0* (нет FP) |
Н/Д | 10.3 (нет FP from_chars) | |||
| std::shared_ptr и std::weak_ptr с поддержкой массива | P0414R2 | 7 | 11 | 19.12* |
12.0.0* |
Н/Д | 10.3 | |||
| std::scoped_lock | P0156R2 | 7 | 5 | 19.11* | Да | Н/Д | 10.3 | |||
| std::byte | P0298R3 | 7 | 5 | 19.11* | Да | Н/Д | 10.3 | |||
| std::is_aggregate | LWG2911 | 7 | 5 | 19.15* | Да | Н/Д | 10.3 | |||
| C++17 возможность |
Страница(цы) |
GCC libstdc++ |
Clang libc++ |
MSVC STL |
Apple Clang |
Параллельная Intel STL |
Sun/Oracle C++ Стандартная Библиотека |
Embarcadero C++ Builder Стандартная Библиотека |
Cray C++ Стандартная Библиотека |
* - наведите указатель мыши на номер версии, чтобы увидеть примечания

