C ++ 17 теперь полностью готов, поэтому вряд ли он претерпит большие изменения. Сотни предложений были выдвинуты для C ++ 17.

Какие из этих функций были добавлены в C ++ в C ++ 17?

При использовании компилятора C ++, который поддерживает «C ++ 1z», какие из этих функций будут доступны при обновлении компилятора до C ++ 17?

Особенности языка:

Шаблоны и общий код

• Вывод аргумента шаблона для шаблонов классов

  • Подобно тому, как функции выводят аргументы шаблона, теперь конструкторы могут выводить аргументы шаблона класса
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Представляет значение любого (не тип аргумента шаблона) типа.

• Исправлены не типовые аргументы шаблона

• template<template<class...>typename bob> struct foo {}

• (Складывание + ... + выражения) и редакции

• auto x{8}; является int

• модернизация usingс ...и списки

лямбда

• constexpr lambdas

  • Лямбды неявно являются constexpr, если они имеют право

• Захват *thisв лямбдах

  • [*this]{ std::cout << could << " be " << useful << '\n'; }

Атрибуты

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]Атрибуты

• [[attributes]]на namespaceс иenum { erator[[s]] }

• usingв атрибутах, чтобы избежать необходимости повторять пространство имен атрибута.

• Компиляторы теперь должны игнорировать нестандартные атрибуты, которые они не распознают .

  • Формулировка C ++ 14 позволяла компиляторам отклонять неизвестные атрибуты области.

Синтаксическая очистка

• Встроенные переменные

  • Как встроенные функции
  • Компилятор выбирает, где экземпляр создан
  • Устаревать статическое переопределение constexpr , теперь неявно встроенное.

• namespace A::B

• Простой static_assert(expression);без строки

• нет throwеслиthrow() и throw()есть noexcept(true).

Более чистый мульти-возврат и контроль потока

• Структурированные привязки

  • В основном, первоклассный std::tieсauto
  • Пример:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Создает переменные itи insertedс выведенным типом из того, pairчто map::insertвозвращает.
  • Работает с кортежем / парой лайков и std::arrayс относительно плоскими структурами
  • Фактически названные структурированные привязки в стандарте

• if (init; condition) а также switch (init; condition)

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Распространяется на if(decl)случаи, когда declне конвертируется в bool разумно.

• Обобщение на основе диапазона для петель

  • Похоже, что в основном это поддержка дозорных или конечных итераторов, которые не совпадают с типом начальных итераторов, что помогает с циклами с нулевым символом в конце и т.п.

• если constexpr

  • Очень запрошенная функция для упрощения почти универсального кода.

Разное

• Шестнадцатеричные литералы с плавающей точкой

• Динамическое распределение памяти для выровненных данных

• Гарантированное копирование

  • В заключение!
  • Не во всех случаях, но отличает синтаксис, где вы «просто создаете что-то», называемое elision, от «подлинного elision».

• Исправлен порядок оценки (некоторых) выражений с некоторыми изменениями

  • Не включая аргументы функции, но перемежение оценки аргументов функции теперь запрещено
  • Заставляет кучу сломанного кода работать в основном, и делает .thenна будущей работе.

• Прямая список-инициализация перечислений

• Прямые гарантии прогресса (FPG) (также FPG для параллельных алгоритмов )

  • Я думаю, что это говорит о том, что "реализация может не останавливать потоки навсегда"?

• u8'U', u8'T', u8'F', u8'8' символьные литералы (строка уже существует)

• «noexcept» в системе типов

• __has_include

  • Проверьте, будет ли заголовочный файл включать в себя ошибку
  • делает переход от экспериментального к стандартному стандарту практически без проблем

• Массивы исправлений преобразования указателей

• Унаследованные конструкторы исправляют некоторые угловые случаи ( примеры изменений поведения см. в P0136R0 )

• агрегатная инициализация с наследованием .

• std::launderнаберите пунктинг и т. д.

Библиотечные дополнения:

Типы данных

• std::variant<Ts...>

  • Почти всегда непустое последнее, что я проверял?
  • Помеченный тип объединения
  • {Удивительным | полезным}

• std::optional

  • Может быть, держит что-то
  • Смешно полезно

• std::any

  • Содержит один из чего-либо (это копируется)

• std::string_view

  • std::string как ссылка на символьный массив или подстроку
  • Никогда не принимай string const&снова. Также может сделать разбор bajillion раз быстрее.
  • "hello world"sv
  • constexpr char_traits

• std::byte больше, чем они могли жевать.

  • Ни целое число, ни символ, просто данные

Вызывать вещи

• std::invoke
  • Вызывать любой вызываемый объект (указатель на функцию, функцию, указатель на член) с одним синтаксисом. Из стандартной концепции INVOKE.
• std::apply
  • Принимает функцию и кортеж и распаковывает кортеж в вызов.

• std::make_from_tuple, std::applyПрименяется к объекту строительства

• is_invocable, is_invocable_r,invoke_result

  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0077r2.html
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0604r0.html
  • принижает result_of
  • is_invocable<Foo(Args...), R>это «вы можете позвонить Fooс Args...и получить что - то совместимое с R», где по R=voidумолчанию.
  • invoke_result<Foo, Args...>есть , std::result_of_t<Foo(Args...)>но , видимо , менее запутанное?

Файловая система TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] а также [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams можно открыть с помощью paths, а также с помощью const path::value_type*строк.

Новые алгоритмы

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Добавлен для многопоточности, доступен, даже если вы не используете их с резьбой

Резьбонарезной

• std::shared_mutex

  • Необработанный, который может быть более эффективным, если он вам не нужен.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Сохраняет некоторую std::lockболь при блокировке более одного мьютекса за раз.

• Параллелизм TS v1

  • Связанный документ с 2014 года, может быть устаревшим
  • Параллельные версии stdалгоритмов и связанных с ними машин

• аппаратное обеспечение _ * _ interference_size

(части) Основы библиотеки TS v1, не охваченные выше или ниже

• [func.searchers] а также [alg.search]
  • Алгоритм поиска и методы

• [pmr]

  • Полиморфный распределитель, как std::functionдля распределителей
  • И некоторые стандартные ресурсы памяти, чтобы пойти с ним .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample, выборка из диапазона?

Улучшения контейнера

• try_emplace а также insert_or_assign

  • дает лучшие гарантии в некоторых случаях, когда поддельное перемещение / копирование будет плохим

• Сращивание для map<>, unordered_map<>, set<>, иunordered_set<>

  • Перемещение узлов между контейнерами дешево.
  • Объедините целые контейнеры дешево.

• неконстантный .data()для строки.

• не являющегося членом std::size, std::empty,std::data

  • как std::begin/end

• Минимальная поддержка неполного типа в контейнерах

• Непрерывный итератор "концепция"

• constexpr итераторы

• emplaceСемейство функций теперь возвращает ссылку на созданный объект .

Умный указатель изменений

• unique_ptr<T[]>исправления и другие unique_ptrнастройки.
• weak_from_this и некоторые исправлены, чтобы поделиться с этим

Другие stdулучшения типов данных:

• {}строительство std::tupleи другие улучшения
• TriviallyCopyable reference_wrapper , может быть повышение производительности

Разное

• Библиотека C ++ 17 основана на C11 вместо C99

• Зарезервировано std[0-9]+для будущих стандартных библиотек

• destroy(_at|_n), uninitialized_move(_n), uninitialized_value_construct(_n),uninitialized_default_construct(_n)

  • код утилиты уже в большинстве stdреализаций выставлен
• Специальные математические функции
  • ученым они могут понравиться
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) грубо
• gcd а также lcm
• std::uncaught_exceptions
  • Требуется, если вы хотите бросать только если в безопасности от деструкторов
• std::as_const
• std::bool_constant
• Целая куча _vшаблонных переменных
• std::void_t<T>
  • Удивительно полезно при написании шаблонов
• std::owner_less<void>
  • вроде бы std::less<void>, но для умных указателей сортировать по содержанию
• std::chrono польский
• std::conjunction, std::disjunction,std::negation Подвергаются
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Правила для noexcept в std
• std :: is_contiguous_layout , полезно для эффективного хеширования
• std :: to_chars / std :: from_chars , высокая производительность, независимое от локали преобразование чисел; наконец, способ сериализации / десериализации в удобочитаемые форматы (JSON & co)
• std :: default_order , перенаправление окончено std::less. ( нарушает ABI некоторых компиляторов из-за искажения имени, удалено.)

Черты

• обмен
• is_aggregate
• has_unique_object_representations

Устаревшее

• Некоторые библиотеки C ,
• <codecvt>
• memory_order_consume
• result_of, заменен на invoke_result
• shared_ptr::uniqueэто не очень потокобезопасно

Isocpp.org имеет независимый список изменений с C ++ 14; это было частично разграблено.

Естественно, работа TS продолжается параллельно, поэтому есть некоторые TS, которые еще не созрели и должны будут ждать следующей итерации. Целью следующей итерации является C ++ 20, как планировалось ранее, а не C ++ 19, как предполагают некоторые слухи. C ++ 1O удалось избежать.

Первоначальный список взят из этого поста reddit и этого поста reddit , со ссылками, добавленными через поиск в Google или с указанной выше страницы isocpp.org.

Дополнительные записи разграблены из списка функциональных испытаний SD-6 .

Список функций звона в и библиотеке список функций находятся рядом расхищаться. Это не кажется надежным, так как это C ++ 1z, а не C ++ 17.

у этих слайдов были некоторые особенности, отсутствующие в другом месте.

В то время как «что было удалено» не спрашивалось, вот краткий список нескольких вещей ((в основном?) Предыдущих устаревших), которые удалены в C ++ 17 из C ++:

Удалены:

• registerключевое слово зарезервировано для будущего использования
• bool b; ++b;
• триграфы
  • если они все еще нужны, они теперь являются частью вашей исходной кодировки файлов, а не частью языка
• ios aliases
• auto_ptr, старые <functional>вещи,random_shuffle
• распределители в std::function

Были переписки. Я не уверен, имеют ли они какое-либо влияние на код, или они просто очищают в стандарте:

Документы еще не включены в выше:

• P0505R0 (constexpr chrono)

• P0418R2 (атомные настройки)

• P0512R0 ( настройка вывода аргумента шаблона)

• P0490R0 (структурированные привязки настроек)

• P0513R0 (изменяется на std::hash)

• P0502R0 (параллельные исключения)

• P0509R1 (обновление ограничений на обработку исключений)

• P0012R1 (сделать спецификации исключений частью системы типов)

• P0510R0 (ограничения на варианты)

• P0504R0 (теги для дополнительного / варианта / любого)

• P0497R0 (общие настройки ptr)

• P0508R0 (ручки узла структурированных привязок)

• P0521R0 (общее использование указателя и уникальные изменения?)

Изменения спецификаций:

• спецификации исключений и выражения броска

Дальнейшая ссылка:

• документы сгруппированы по годам; не все приняты

• https://isocpp.org/files/papers/p0636r0.html

  • Должен быть обновлен до «Модификации существующих функций» здесь.