Тепер функція C ++ 17 завершена, тому навряд чи відбудеться великих змін. Сотні пропозицій було висунуто для С ++ 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з ...і списки

Лямбда

• контекспр лямбда

  • Лямбди неявно підкреслюються, якщо вони кваліфікуються

• Захоплення *thisв лямбдах

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

Атрибути

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

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

• usingв атрибутах, щоб уникнути необхідності повторення простору імен атрибутів.

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

  • Формулювання C ++ 14 дозволило компіляторам відхиляти невідомі атрибути масштабування.

Очищення синтаксису

• Вбудовані змінні

  • Як і вбудовані функції
  • Компілятор вибирає, де екземпляр інстанціюється
  • Приниження статичного перекладу контекстного сплетення , тепер неявно введене в рядок .

• 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, від "справжнього elision".

• Фіксований порядок оцінки для (деяких) виразів з деякими модифікаціями

  • Не включаючи аргументи функції, але перемежування оцінок аргументів тепер заборонено
  • Змушує купу роботи зламаного коду в основному працювати і .thenнадалі працювати.

• Прямий список-ініціалізація перерахунків

• Гарантії прогресу вперед (FPG) (також FPG для паралельних алгоритмів )

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

• u8'U', u8'T', u8'F', u8'8' літерали символів (рядок уже існує)

• "noexcept" у системі типів

• __has_include

  • Перевірте, чи містить файл заголовка помилку
  • робить перехід від експериментального до std майже безпроблемним

• Масиви виправлень конверсії вказівника

• успадковані конструктори виправляються в деяких кутових випадках (див. приклади змін поведінки в P0136R0 )

• сукупна ініціалізація з успадкуванням .

• std::launder, тип покарання тощо

Бібліотечні доповнення:

Типи даних

• std::variant<Ts...>

  • Майже-завжди не порожній останній я перевірив?
  • Позначений тип союзу
  • {приголомшливий | корисний}

• std::optional

  • Можливо, тримає щось у чомусь
  • Смішно корисний

• std::any

  • Зберігає одне з усього, що можна скопіювати

• std::string_view

  • std::string наприклад, масив посилань на символи або підрядку
  • Ніколи більше не string const&берись. Також можна зробити швидший розбір в мільярд разів.
  • "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алгоритмів та пов'язані з ними машини

• обладнання _ * _ інтерференція_розмір

(частини) Основи бібліотеки 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<>

  • Переміщуйте вузли між контейнерами дешево.
  • Злийте цілі контейнери дешево.

• non-const .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

Застарілий

• Деякі бібліотеки С ,
• <codecvt>
• memory_order_consume
• result_of, замінено на invoke_result
• shared_ptr::unique, це не дуже безпечно

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

Природно, робота з ТС триває паралельно, тому є деякі ТС, не зовсім стиглі, яким доведеться чекати наступної ітерації. Мета наступної ітерації - C ++ 20, як було заплановано раніше, а не C ++ 19, як випливало з деяких чуток. C ++ 1O уникнуто.

Початковий список, взятий із цієї публікації reddit і цієї публікації reddit , із посиланнями, доданими через googling або із зазначеної вище сторінки isocpp.org.

Додаткові записи розроблені зі списку тестів SD-6 .

Список функцій дзвону в і бібліотеці список функцій знаходяться поруч розкрадатимуться. Це не здається надійним, оскільки це C ++ 1z, а не C ++ 17.

ці слайди мали деякі функції, відсутні в інших місцях.

У той час як "те, що було видалено" не запитували, ось короткий список кількох речей ((переважно?) Попереднього застарілого), які видаляються в C ++ 17 з C ++:

Видалено:

• register, ключове слово, зарезервоване для подальшого використання
• bool b; ++b;
• триграфи
  • якщо вони все ще потрібні, вони тепер є частиною кодування вашого вихідного файлу, а не частиною мови
• псевдоніми ios
• 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

  • Потрібно оновити тут "Зміни до існуючих функцій".