Каковы новые функции в 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]

• fstreamс можно открыть с помощью pathс, а также с 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 основана на С11 вместо С99

• Зарезервированный 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
• станд :: is_contiguous_layout, полезно для эффективного хеширования
• станд :: to_chars / станд :: from_chars, высокая производительность, независимое от локали преобразование чисел; наконец, способ сериализации / десериализации в удобочитаемые форматы (JSON & со)
• станд :: 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 удалось избежать.

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

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

Список возможностей Clang а также список функций библиотеки рядом будут разграблены. Это не кажется надежным, так как это 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

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