C++17
В C++17 были объединены следующие функции:
- Из Спецификации файловой системы: библиотека filesystem.
- Из Спецификации фундаментальных элементов библиотек v1: функции, включая
std::any,std::optional,std::string_view,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. - Из Спецификации специальных математических функций: специальные математические функции.
- Из 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 - гарантированное удаление копирования
- материализация временных объектов
- Шаблоны
- fold-выражения
( ... ) - вывод параметров класса шаблона
tuple t(4, 3, 2.5) - параметры шаблона, не являющиеся типами, объявленные с
auto
- fold-выражения
- Пространства имен
- упрощенные вложенные пространства имен
-
usingобъявление, объявляющее несколько имен - пространства имен атрибутов не нуждаются в повторении
- новые атрибуты :
-
[[fallthrough]] -
[[maybe_unused]] -
[[nodiscard]]
-
-
__has_include
Новые заголовочные файлы
Новые возможности библиотеки
Типы служебного назначения
Управление памятью
- Алгоритмы для неинициализированной памяти
-
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::inclusive_scan -
std::exclusive_scan -
std::gcd -
std::lcm -
std::reduce
Итераторы и контейнеры
- map/set
extractи map/setmerge - 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++17 (290 ядра, 363 библиотеки) |
|---|
END_OF_DOCUMENT_MARKER
Поддержка компилятора
Основная статья: Поддержка компилятора C++17
Основные языковые возможности C++17
| Функция C++17 | Статья(и) | GCC | Clang | MSVC | Apple Clang | EDG eccp | Intel C++ | IBM XL C++ | IBM Open XL C++ для AIX | IBM Open XL C++ для z/OS | Sun/Oracle C++ | Embarcadero C++ Builder | Cray | Nvidia HPC C++ (ex PGI)* | Nvidia nvcc | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
DR11: Новые auto правила для прямого инициализации списком | N3922 | 5 | 3.8 | 19.0 (2015)* | Да | 4.10.1 | 17.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | |||
static_assert без сообщения | N3928 | 6 | 2.5 | 19.10* | Да | 4.12 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | |||
typename в параметре шаблона шаблона | N4051 | 5 | 3.5 | 19.0 (2015)* | Да | 4.10.1 | 17.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | Да* | |||
| Удаление триграфов | N4086 | 5 | 3.5 | 16.0* | Да | 5.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||||
| Определение вложенного пространства имен | N4230 | 6 | 3.6 | 19.0 (Update 3)* | Да | 4.12 | 17.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | |||
| Атрибуты для пространств имен и перечислителей | N4266 |
4.9 (частично)* 6 | 3.6 | 19.0 (2015)* | Да | 4.11 | 17.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | |||
u8 символьные литералы | N4267 | 6 | 3.6 | 19.0 (2015)* | Да | 4.11 | 17.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | |||
| Разрешить постоянное вычисление для всех аргументов шаблонов без типа | N4268 | 6 | 3.6 | 19.12* | Да | 5.0 | 19.0.1 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | |||
| Складываемые выражения | N4295 | 6 | 3.6 | 19.12* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 18.1 | 11.0 | |||
| Унарные складываемые выражения и пустые параметры пакетов | P0036R0 | 6 | 3.9 | 19.12* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | |||
Удалить устаревшее использование ключевого слова register | P0001R1 | 7 | 3.8 | 19.11* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | |||
Удалить устаревший operator++(bool) | P0002R1 | 7 | 3.8 | 19.11* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | |||
| Сделать спецификации исключений частью системы типов | P0012R1 | 7 | 4 | 19.12* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | |||
| Агрегатные классы с базовыми классами | P0017R1 | 7 | 3.9 | 19.14* | Да | 5.0 | 19.0.1 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | |||
__has_include в условных выражениях препроцессора | P0061R1 | 5 | Да | 19.11* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 |
| DR11: Новое спецификация для наследования конструкторов (DR1941 и др.) | P0136R1 | 7 | 3.9 | 19.14* | Да | 6.1 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | |||
Захват лямбда-выражений *this | P0018R3 | 7 | 3.9 | 19.11* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 18.1 | 11.0 | ||
| Прямая инициализация перечислений списком | P0138R2 | 7 | 3.9 | 19.11* | Да | 4.14 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||
| Константные лямбда-выражения | P0170R1 | 7 | 5 | 19.11* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 18.1 | 11.0 | ||
| Различные типы begin и end в циклах range-based for | P0184R0 | 6 | 3.9 | 19.10* | Да | 4.12 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | ||
[[fallthrough]] атрибут | P0188R1 | 7 | 3.9 | 19.10* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | ||
[[nodiscard]] атрибут | P0189R1 | 7 | 3.9 | 19.11* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | ||
[[maybe_unused]] атрибут | P0212R1 | 7 | 3.9 | 19.11* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | ||
| Шестнадцатеричные вещественные литералы | P0245R1 | 3.0 | Да | 19.11* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | ||
| Использование пространств имен атрибутов без повторения | P0028R4 | 7 | 3.9 | 19.11* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | ||
| Динамическое выделение памяти для данных с повышенным выравниванием | P0035R4 | 7 | 4 | 19.12* | 10.0.0* | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||
| Выведение аргументов шаблона класса | P0091R3 | 7 | 5 | 19.14* | Да | 5.0 | 19.0.1 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||
Нетиповые параметры шаблонов с типом auto | P0127R2 | 7 | 4 | 19.14* | Да | 5.0 | 19.0.1 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||
| Гарантированное исключение копирования | P0135R1 | 7 | 4 | 19.13* | Да | 5.0 | 19.0.1 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||
| Замена объектов класса, содержащих члены-ссылки | P0137R1 | 7 | 6 | 19.14* | Да | 5.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | |||
| Более строгий порядок вычисления выражений | P0145R3 | 7 | 4 | 19.14* | Да | 5.0 | 19.0.1 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 |
| Структурированные привязки | P0217R3 | 7 | 4 | 19.11* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 18.1 | 11.0* | ||
| Игнорировать неизвестные атрибуты | P0283R2 | Да | 3.9 | 19.11* | Да | 4.13 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 17.7 | 11.0 | ||
| Операторы constexpr if | P0292R2 | 7 | 3.9 | 19.11* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 18.1 | 11.0 | ||
| Инициализирующие выражения для операторов if и switch | P0305R1 | 7 | 3.9 | 19.11* | Да | 4.14 | 18.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 18.1 | 11.0 | ||
| Встроенные переменные | P0386R2 | 7 | 3.9 | 19.12* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 18.1 | 11.0 | ||
| Удаление динамических спецификаций исключений | P0003R5 | 7 | 4 | 19.10* | Да | 4.14 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||
| Расширения пакетов в инструкциях using | P0195R2 | 7 | 4 | 19.14* | Да | 5.0 | 19.0 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||
| DR98: Сопоставление шаблонных шаблонных аргументов исключает совместимые шаблоны | P0522R0 | 7 | 4 | 19.12* | Да | 5.0 | 19.0.1 | 17.1.0 | 1.1.0 | 10.3 | 11.0 | 19.1 | 11.0 | ||
| Функции C++17 | Статья(и) | GCC | Clang | MSVC | Apple Clang | EDG eccp | Intel C++ | IBM XL C++ | IBM Open XL C++ for AIX | IBM Open XL C++ for z/OS | Sun/Oracle C++ | Embarcadero C++ Builder | Cray | Nvidia HPC C++ (ex PGI)* | Nvidia nvcc |
|---|
C++17 функции библиотеки
| Функция C++17 | Статья(и) |
GCC libstdc++ |
Clang libc++ |
MSVC STL |
Apple Clang* |
IBM Open XL C/C++ for AIX* | Intel Parallel STL |
Sun/Oracle C++* |
Embarcadero C++ Builder* | |
|---|---|---|---|---|---|---|---|---|---|---|
std::void_t | N3911 | 6 | 3.6 | 19.0 (2015)* | Да | 17.1.0 | Н/Д | 10.3 | ||
std::uncaught_exceptions() | N4259 | 6 | 3.7 | 19.0 (2015)* | Да | 17.1.0 | Н/Д | 10.3 | ||
std::size(), std::empty() и std::data() | N4280 | 6 | 3.6 | 19.0 (2015)* | Да | 17.1.0 | Н/Д | 10.3 | ||
Улучшение std::pair и std::tuple | N4387 | 6 | 4 | 19.0 (Update 2)* | Да | 17.1.0 | Н/Д | 10.3 | ||
std::bool_constant | N4389 | 6 | 3.7 | 19.0 (2015)* | Да | 17.1.0 | Н/Д | 10.3 | ||
std::shared_mutex (без указанного времени) | N4508 | 6 | 3.7 | 19.0 (Update 2)* | Да | 17.1.0 | Н/Д | 10.3 | ||
| Шаблонные переменные свойств типов | P0006R0 | 7 | 3.8 | 19.0 (Update 2)* | Да | 17.1.0 | Н/Д | 10.3 | ||
| Логические операторные свойства типов | P0013R1 | 6 | 3.8 | 19.0 (Update 2)* | Да | 17.1.0 | Н/Д | 10.3 | ||
| Параллельные алгоритмы и политики выполнения | P0024R2 | 9* |
17 (частично)* | 19.14* | 18.0* | |||||
std::clamp() | P0025R1 | 7 | 3.9 | 19.0 (Update 3)* | 10.0.0* | 17.1.0 | Н/Д | 10.3 | ||
| Размер аппаратного вмешательства | P0154R1 | 12 | 15 (частично)* | 19.11* | Н/Д | 10.3 | ||||
| (безопасный) свойства перестановки | P0185R1 | 7 | 3.9 | 19.0 (Update 3)* | 10.0.0* | 17.1.0 | Н/Д | 10.3 | ||
| Файловая система | P0218R1 | 8 | 7 | 19.14* | 11.0.0* | 17.1.1 | Н/Д | 10.3 | ||
std::string_view | N3921 P0220R1 | 7 | 4 | 19.10* | 10.0.0* | 17.1.0 | Н/Д | 10.3 | ||
std::any | P0220R1 | 7 | 4 | 19.10* | 10.0.0* | 17.1.0 | Н/Д | 10.3 | ||
std::optional | P0220R1 | 7 | 4 | 19.10* | 10.0.0* | 17.1.0 | Н/Д | 10.3 | ||
| Полиморфные ресурсы памяти | P0220R1 | 9 | 16 | 19.13* | 15.0.0* | Н/Д | 10.3 | |||
| Специальные математические функции | P0226R1 | 7 | 19.14* | Н/Д | 10.3 | |||||
| Большая часть библиотеки стандарта C11 | P0063R3 | 9 | 7 |
19.0 (2015)* (частично)* | 10.0.0* | 17.1.1 | Н/Д | |||
Слияние Maps и Sets | P0083R3 | 7 | 8 | 19.12* | 10.0.0* | 17.1.1 | Н/Д |
тип возвращаемого значения функций emplace* некоторых контейнеров изменён с void на reference | P0084R2 | 7.1 | 4.0 | 19.11* | Да | 17.1.0 | Н/Д | ||
std::variant | P0088R3 | 7 | 4 | 19.10* | 10.0.0* | 17.1.0 | Н/Д | 10.3 | |
std::make_from_tuple() | P0209R2 | 7 | 3.9 | 19.10* | Да | 17.1.0 | Н/Д | 10.3 | |
std::has_unique_object_representations | P0258R2 | 7 | 6 | 19.11* | Да | 17.1.1 | Н/Д | 10.3 | |
std::gcd() и std::lcm() | P0295R0 | 7 | 4 | 19.11* | Да | 17.1.0 | Н/Д | 10.3 | |
std::not_fn | P0005R4 P0358R1 | 7 | 3.9 | 19.12* | Да | 17.1.0 | Н/Д | 10.3 | |
| Основные преобразования строк* | P0067R5 | 8 (без FP) 11 | 7 (без FP) 14 (без FP from_chars) |
19.14* (без FP)* 19.24* | 10.0.0* (без FP) | 17.1.1 (без FP from_chars) | Н/Д | 10.3 (без FP from_chars) | |
std::shared_ptr и std::weak_ptr с поддержкой массивов | P0414R2 | 7 | 11 | 19.12* | 12.0.0* | 17.1.1 | Н/Д | 10.3 | |
std::scoped_lock | P0156R2 | 7 | 5 | 19.11* | Да | 17.1.1 | Н/Д | 10.3 | |
std::byte | P0298R3 | 7 | 5 | 19.11* | Да | 17.1.1 | Н/Д | 10.3 | |
std::is_aggregate | LWG2911 | 7 | 5 | 19.15* | Да | 17.1.1 | Н/Д | 10.3 | |
DR17: std::hash<std::filesystem::path> | LWG3657 | 11.4 | 17 | 19.32* | Н/Д | ||||
| Функция C++17 | Документ(ы) |
GCC libstdc++ |
Clang libc++ |
MSVC STL |
Apple Clang* |
IBM Open XL C/C++ for AIX* |
Intel Parallel STL |
Sun/Oracle C++* |
Embarcadero C++ Builder* |
|---|
Примечания
- По состоянию на 20.11.2020, последняя версия Oracle Developer Studio 12.6. В её документации нет упоминания C++17.
- Компилятор Cray может поддерживать некоторые функции раньше, чем версия 11.0. Эта версия — когда он стал производным от Clang, получив всю поддержку функций языка базового компилятора. См. документ Cray/HPE S-2179.
* - наведите курсор на ячейку с звёздочкой *, чтобы увидеть дополнительное всплывающее сообщение.
DRnn - число nn после "DR" указывает целевую версию C++, к которой относится отчёт об ошибке, например, DR20 → C++20.
Внешние ссылки
| Примеры работы с C++17 |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/17