C++17

стандарт мови програмування, який створений комітетом cppiso

C++17 — одна з попередніх версій стандарту ISO/IEC 14882 для мови програмування C++. Слідує після C++14. Специфікація C++17[1][2] дійшла до чорнової версії стандарту в березні 2017 року і, була остаточно затверджена 8 вересня 2017 року.[3] Стандарт офіційно опублікований у грудні 2017.[4]

Видалені та заборонені можливостіРедагувати

  • Видалили register. Слово register все ще залишається зарезервованим, але більше не означає нічого.[7]
  • Видалили ++ для bool. Префіксний та постфіксний інкременти більше не валідні для операцій над типом bool.[8]
  • Видалили throw(A, B, C). Динамічна специфікація виключень для фунцій типу void f() throw(A, B, C); більше не валідна. Залишився throw() як синонім до noexcept(true).[9]
  • Заборонили повторне оголошення статичних constexpr членів класу. Для struct X {static constexpr int n = 10;}; int X::n; вже не є визначенням, а є зайвим, надлишковим оголошенням, яке не рекомендується до використання. Член X::n неявно вбудований (inline).[10]
  • Видалили auto_ptr, random_shuffle, старі функції адаптери з <functional>. Ці можливості були заборонені починаючи з C++11 та замінені на кращі компоненти. Їхні імена залишаються зарезервованими.[11]
  • Видалили заборонені аліаси iostream. Причина така ж як і в попередньому випадку.[12]
  • Видалили конструктори з function які приймають алокатор в якості аргумента. Не тільки семантика була не зрозумілою, але є й технічні проблеми зберігання алокатора в контексті, коли тип не відомий.[13]
  • Заборонили деякі хідери бібліотеки C: <ccomplex>, <cstdalign>, <cstdbool>, <ctgmath>. Але хідер <ciso646> не є забороненим.[14]
  • Заборонили старі бібліотечні компоненти: allocator<void>, raw_storage_iterator, get_temporary_buffer, is_literal_type, std::iterator.[15]
  • Повністю заборонили хідер <codecvt>. Він використовувався для перетворення рядкових літералів з одного типу кодування в інший. Проте зробити перетворення правильно було дуже важко, та документація була не правильною. Разом з ним заборонили утиліти wstring_convert та wbuffer_convert з <locale>. Взамін, користувачам рекомендується використовувати спеціалізовані бібліотеки для обробки тексту.[16]
  • Тимчасово заборонили memory_order_consume. Поточна семантика впорядкування роботи з пам'яттю «consume» виявилась неадекватною, впорядкування необхідно перевизначити. Ця робота все ще ведеться. Є сподівання що в наступній версії С++ вона буде готовою. Натомість, користувачам рекомендується використовувати «acquire» впорядкування, щоб не отримати неочікувані результати в майбутньому.[17]
  • Заборонили shared_ptr::unique. Ця функція передбачає поведінку, яка по факту не надається.[18]
  • Заборонили result_of. Натомість треба використовувати invoke_result .[19]

Нові можливості мови з глобальним застосуваннямРедагувати

Це зміни, які застосовуються без вашого відома або згоди.

  • Специфікація виключень стала частиною системи типів. Специфікація виключень функції стала частиною типу функції: void f() noexcept(true); та void f() noexcept(false); функції з двома різними типами. Вказівники на функції чутливі до специфікації виключень. (Але дві функції f не можуть сформувати перегружений набір). Ця зміна зміцнює систему типів, оскільки дозволяє API вимагати колбеки що не кидають виключень.[20]
  • Гарантований пропуск створення тимчасової копії. Сенс prvalue та glvalue було переглянуто. prvalues більше не є об'єктом, а лише ініціалізацією. Функції, що повертають prvalues більше не створюють копію об'єкта («mandatory copy elision»). Додали нове перетворення prvalue-to-glvalue, яке називається тимчасовою матеріалізацією перетворення. Ця зміна означає що зайва копія не буде створена. Це також стосується типів які не можна копіювати чи переміщати. Це дозволяє оголошувати функції які повертають такі типи.[21]
  • Динамічне виділення пам'яті для даних з надлишковим вирівнюванням. Динамічне виділення пам'яті (operator new) тепер підтримує типи з надлишковим вирівнюванням. Нова перегружена функція приймає параметр вирівнювання.[22]
  • Строгіший порядок обчислення виразу. Порядок обчислення певного підвиразу було визначено краще ніж раніше. Важливим прикладом цієї зміни є те, що аргументи функції тепер вираховуються у невизначеному порядку (indeterminately sequenced). Раніше цього не було в специфікації. Зверніть увагу, що порядок обчислення перегружених операторів залежить від того як вони викликані: коли вони викликаються використовуючи синтаксис оператора, то порядок є таким самим як і для вбудованих операторів, але якщо вони викликаються використовуючи синтаксис виклику функції, то порядок такий самий як і для звичайної функції (тобто невизначений).[23][24]

Нові можливості мови з локальним застосуваннямРедагувати

Це зміни, які ви можете використовувати

  • Символьний літерал u8, наприклад u8'a'. Такий літерал має тип char і його значення відповідає кодовій точці ISO 10646 (мається на увазі що значення представляє собою один кодовий юніт UTF-8).[25]
  • Шістнадцяткове представлення літералів чисел з рухомою комою (Hexadecimal floating point literals). Літерали чисел з рухомою комою можуть бути записані з шістнадцятковим представлення основи та десятковим представленням експоненти: 0xC.68p+2, 0x1.P-126. Це дозволяє точно (на багатьох платформах) передавати числа з рухомою комою (тобто літерал точно відповідає представленню числа в пам'яті). С підтримує цей синтаксис починаючи з С99, а printf підтримує його через %a.[26]
  • Розгортання запакованих виразів. Зручний синтаксис для ітеративного застосування бінарного оператора до елементів пачки параметрів: template <typename ...Args> auto f(Args ...args) { return (0 + ... + args); }[27][28]
  • template <auto>. Дозволили оголошувати параметри шаблону використовуючи auto[29]. Наприклад:
template<auto X> struct B { static constexpr auto value = X; };
B<5> b1;   // OK: template parameter type is int
B<'a'> b2; // OK: template parameter type is char
B<2.5> b3; // error: template parameter type cannot be double
  • Вивід типу аргумента шаблонного класу. Тип аргумента шаблонного класу можна вивести з конструктора. Наприклад pair p(1, 'x'); визначиться як pair<int, char>. Неявний вивід типів виконаний системою згідно з правилами явного виводу типів, що дозволяє розробникам змінювати правила виводу або повністю його заборонити[30][31][32][33]
  • constexpr if. Під час спеціалізації шаблону (під час компіляції), значення виразу в середині if constexpr (condition) інстанціюється тільки тоді, коли виконується condition (який має бути константним виразом).[34]
  • Ініціалізація виразу в умові. В умовах if та switch з'явилася нова, необов'язкова частина, що дозволяє ініціалізувати нову, локальну зміну:[35]
if (auto it = m.find(key); it != m.end()) 
    return it->second;
  • constexpr лямбди. Лямбда вирази можуть бути константними виразами: auto add = [](int a, int b) constexpr { return a + b; }; int arr[add(1, 2)];[36]
  • Захоплення лямбдою *this. Раніше [self = *this]{ self.f(); }. Тепер [*this]{ f(); }.[37]
  • inline змінні. Додавання кваліфікатора inline до змінних дозволяє їх визначати в заголовному файлі (механізм аналогічний до inline functions).[10]
  • Структуровані зв'язки. auto [it, ins] = m.try_emplace(key, a1, a2, a3);. Масиви, всі публічні члени класу та типи що підтримують протокол get<N>, такі як pair та tuple розкладаються на елементи, які напряму привласнються оголошеним змінним.[38][39]
  • __has_include. Оператор препроцесора, який перевіряє наявність header файлу.[40]
  • Атрибути [[fallthrough]], [[nodiscard]], [[maybe_unused]]. Новий сет стандартизованих атрибутів. Формально вони не мають строгої семантики, але розробникам компіляторів рекомендується генерувати або пропускати відповідне попередження (warning).[41][42][43]
  • launder. Засіб підтримки мови («межа оптимізації»), що дозволяє бібліотекам повторно використовувати місце зберігання даних, та доступатися до цього місця по старому вказівнику. Раніше це не дозволялося. (Цей засіб розроблений для розробників компіляторів. Він не має використовуватися в «звичайному» коді).[44]
  • Тип byte. Новий тип визначений в <cstddef> (не в <stddef.h>, і тільки в просторі імен std!). Має всі атрибути unsigned char та визначає побітові операції.[45]

Нові можливості бібліотекиРедагувати

  • Спеціальні математичні функції. Вміст міжнародного стандарту ISO/IEC 29124:2010 (mathematical special functions) став частиною C++. Функції були додані тільки до <cmath>, але не до <math.h>, та доступні тільки в просторі імен std.[46]
  • Файлова система. Вміст Filesystems Technical Specification став частиною С++. Бібліотека файлової системи дозволяє переносну взаємодію з директоріями та структурами які схожі на директорії (можуть відображати контент, переносити файли і т. д.). В основному моделюється файлова система POSIX, але вона є достатньо гнучкою щоб бути реалізованою для будь-якої іншої системи.[47][48][49][50][51][52]
  • Паралелізм. Вміст Parallelism Technical Specification став частиною С++. Він додає нові перевантажені функції, що приймають додаткові параметри політики виконання алгоритмів. А також повністю нові алгоритми (дивись нижче). Підтримуються три політики виконання, що дозволяють виконувати алгоритм послідовно, паралельно та векторно.[53][54][55][56][57][58][59][60][61][62]
  • Нові алгоритми. Parallelism Technical Specification додав декілька нових алгоритмів до стандартної бібліотеки. Причиною додавання став їх потенціал ефективного, паралельного виконання. Функції доступні в звичній, простій формі: for_each_n, reduce, transform_reduce, exclusive_scan, inclusive_scan, transform_exclusive_scan, transform_inclusive_scan. Зауважте, що reduce виглядає так само як існуючий accumulate, але не гарантує певного порядку виконання операцій.[53]
  • Новий тип: string_view (та basic_string_view). Новий клас string_view є рекомендованим типом для API, які хочуть читати текстовий рядок але не мають наміру володіти ним чи модифікувати. Він створюється з символьного вказівника (char pointer), але інші класи, схожі до текстового рядку, мають пропонувати функції перетворення до string_view.[63][64][65]
  • Новий тип: any. Тип any видяляє тип об'єкту та дозволяє його копіювати. По суті є три речі які ви можете робити з any: 1. задати значення типу T; 2. зробити його копію; 3. запитати чи він містить значення типу U і отримати це значення при умові, коли U це T.[63][66][67]
  • Новий шаблонний клас: variant. Він моделює розділене об'єднання. Тип variant<A, B, C> містить значення якогось одного типу A, B або C в будь-який момент часу.[68][69][66][70][71]
  • Новий шаблонний клас: optional. Значення не є обов'язковим. Тип optional<T> представляє собою або значення типу T, або те, що значення відсутнє (що визначається типом nullopt_t). Деякою мірою це є еквівалентом variant<nullopt_t, T>, але з інтерфейсом, що було спеціально сконструйовано для даної задачі.[63][72][67][66]
  • invoke. Можливіть одинаково викликати сутності, що можуть бути викликаними. Це дозволяє користувачам писати бібліотеки з поведінкою, ідентичною до правила INVOKE.[73]
  • is_invocable, is_invocable_r,invoke_result. Властивості об'єкту. Чи може він бути викликаним та результат виклику.[74][19]
  • Елементарне перетворення тектових рядків. Функції to_chars та from_chars дозволяють створювати або зчитувати текстові рядки, представлені числами. Вони були додані до стандарту як ефективна, низькорівнева заміна операціям форматування printf та iostream. Вони слідують ідеоматичним алгоритмічним стилям С++.[75]
  • Шаблон void_t. template <class...> using void_t = void; Даний псевдонім несподівано користий для метапрограмування. Дозволяє спростити використання SFINAE.[76]
  • Шаблон bool_constant. template <bool B> using bool_constant = integral_constant<bool, B>[77]
  • Метафункції логічних операції. Метафункції, зі змінною кількістю параметрів для метапрограмування: conjunction, disjunction та negation. Ці властивості важливі в метапрограмуванні: спеціалізації шаблону не створюються якщо від них не вимагають визначити результат.[78]
  • Властивості для SFINAE-сумісного swap. Нові властивості is_swappable, is_nothrow_swappable, is_swappable_with, is_nothrow_swappable_with.[79]
  • Властивість is_aggregate. Вказує чи тип є складеним. Складеними є всі масиви та класи, в яких відсутні конструктори, що були оголошені користувачем, немає приватних або захищених нестатичних членів, відсутні базові класи та віртуальні функції. Властивість користна для того, щоб визначити чи загальний тип може бути створений за допомогою списку ініціалізації {} (list-initialized чи non-list-initialized).[80]
  • Властивість has_unique_object_representations. Якщо T об'єкт, який можна тривіально копіювати, і якщо будь-які два об'єкти типу T з одинаковим значенням мають одинакове представлення об'єкту, то значення has_unique_object_representations буде true. Для будь-якого іншого типу, значення буде false.[81]
  • as_const. Задане lvalue x буде повернуто функцією as_const(x) як константна версія. Не працює з rvalues.[82]
  • Вільні функції size, data та empty. Додаткові функції доповнюють існуючі вільні функції begin/end і т. ін. для доступу до масивів одноманітним чином. Зауважте, що на відміну від begin/end, нові функції не є точками налаштування (customization points[83]) і надаються виключно для зручності.[84]
  • clamp. clamp(x, low, high) повертає x, якщо x знаходиться в інтервалі [low, high]. В противному випадку найближу межу.[85]
  • Клас shared_mutex. Багато агентів виконання можуть одночасно мати право на читання спільного м'ютекса. Але жодний агент виконання не має право на читання, поки інший агент утримує ексклюзивний блок і виконує запис.[87]
  • Розмір лінії кешу. Нові константи hardware_constructive_interference_size та hardware_destructive_interference_size дозволяють платформі надати розмір її лінії кешу. Таким чином користувач може уникнути хибного спільного доступу (destructive interference) та покращити локальність (constructive interference).

В прикладі

struct keep_apart {
  alignas(hardware_destructive_interference_size) atomic<int> cat;
  alignas(hardware_destructive_interference_size) atomic<int> dog;
};

змінні cat та dog будуть знаходитися в різних лініях кешу. Це дозволить одночасно змінювати їхні значення з різних потоків.

І навпаки, якщо ми хочемо щоб змінні знаходились в одній лінії кешу (для покращення локальності), ми можемо перевірити розмір структури на етапі компіляції:

struct together {
  atomic<int> dog;
  int puppy;
};
struct kennel {
  // Other data members...
  alignas(sizeof(together)) together pack;
  // Other data members...
};
static_assert(sizeof(together) <= hardware_constructive_interference_size);

Теоретично, значення hardware_constructive_interference_size та hardware_destructive_interference_size має бути одинаковим, але для підтримки неоднорідних архітектур було вирішено зробити дві константи.[88]

  • apply. Викликає функцію або функтор f з аргументами tuple.[63]
int add(int first, int second)
{
    return first + second;    
}
int main()
{
    std::cout << std::apply(add, std::make_tuple(1,2)) << '\n'; // output '3'
}
  • Створення об'єктів з tuple. Нова шаблонна функція make_from_tuple ініціалізує тип Т значеннями елементів кортежу. Нагадує функцію apply, що застосована до конструктора.[89]
  • Універсальний інвертор not_fn. Обгортка, що інвертує результат виклику функції. Працює з об'єктами будь-якої арності, та має замінити старі обгортки not1 та not2.[90][91]
struct LessThan7 : std::unary_function<int, bool>
{
    bool operator()(int i) const { return i < 7; }
};
int main()
{
    std::vector<int> v{0,1,2,3,4,5,6,7,8,9,10};
    std::cout << std::count_if(begin(v), end(v),             LessThan7())  << "\n"; // Output '7'
    std::cout << std::count_if(begin(v), end(v), std::not1  (LessThan7())) << "\n"; // Output '4' (deprecated)
    std::cout << std::count_if(begin(v), end(v), std::not_fn(LessThan7())) << "\n"; // Output '4' (recommended)   
}
  • Ресурси пам'яті memory_resource. Новий набір компонентів що включає в себе базовий клас ресурсу пам'яті (memory_resource) для динамічного обрання провайдерів пам'яті. А також три конкретні реалізації (synchronized_pool_resource, unsynchronized_pool_resource та monotonic_buffer_resource). Дивись нижче варіанти використання.[63]
  • Поліморфний алокатор. Алокатор, що використовує ресурси пам'яті, які можна змінювати під час виконання і які не є частиною типу алокатора. Містить зручний псевдонім std::pmr::vector<T> = std::vector<T, polymorphic_allocator<T>>[63][92]

Зміни до існуючих можливостейРедагувати

  • static_assert з одним аргументом. Використання static_assert більше не вимагає другого аргументу: static_assert(N > 0);.[94]
  • Оголошення вкладених namespace. Наприклад: namespace X::Y { … } замість namespace X { namespace Y { … }}[95]
  • Дозволили використовувати typename в шаблоні який знаходиться в середині параметрів другого шаблона (template <template <typename> typename Tmpl> struct X;). Раніше шаблонні параметри шаблону були змушені використовувати ключове слово class.[96]
  • Оператор for приймає параметри begin/end різних типів. Переписане правило для for (decl : expr) тепер каже auto __begin = begin-expr; auto __end = end-expr; замість auto __begin = begin-expr, __end = end-expr;. Це створює основу для майбутньої підтримки оператором for діапазонів (ranges), робота над якими ще триває.[97]
  • Розгортання пачки параметрів типів в оголошеннях using. template <typename ...Args> struct X : Args... { using Args::f...; };[98]
  • Ініціалізація значень фіксованих перелічень (fixed-enums). C++11 додав можливість оголошення нового типу цілих чисел, який не може неявно перетворюватися в інший тип. Ця техніка дуже корисна якщо потрібно уникнути анархічних, неявних перетворень С++, що були успадковані з С. Проте існувала одна незручність: ініціалізація значення нового типу вимагала використання static_cast або функціональної нотатки (b = int (a);). Цим виправленням дозволили використовувати спрощену форму ініціалізації фіксованих перелічень.[99]

Наприклад

enum class Index : uint32_t { }; 

int main()
{
    Index i1 { Index(5) }; // C++11 OK
    Index i2 { 5 };        // C++11 error: cannot convert 'int' to 'Index' in initialization
    Index i3 { 5 };        // C++17 OK
}
  • uncaught_exceptions(). Функція uncaught_exception уже не підтримується. Нова функція uncaught_exceptions повертає кількість винятків, замість true/false. Попередня функція була непридатною до використання, дивись N4152 [Архівовано 16 листопада 2017 у Wayback Machine.] для подальшої інформації.[100]
  • Атрибути в іменних просторах та переліченнях. Тепер в іменний простір та перелічення можна додати коментар з атрибутом. Це дозволяє, наприклад, позначити параметр як застарілий.[101]
enum OperationMode {
  OM_Invalid,
  OM_Normal,
  OM_Terrified [[deprecated("re-named to invalid")]],
  OM_AbortOnError  [[deprecated("exceptions are used instead")]] = 4
};
namespace [[deprecated]] old_stuff{
    void legacy();
}
  • Можна використовувати using для іменних просторів атрибутів. Тепер замість:
void f() {
    [[rpr::kernel, rpr::target(cpu,gpu)]] // repetition
    do-task();
}

Можна писати так:

void f() {
    [[using rpr: kernel, target(cpu,gpu)]]
    do-task();
}

Це спрощення може допомогти, коли ви створюєте інструменти для автоматичного перекладу такого коду в іншу програмну модель.[102]

  • Покращено вставку в асоціативні контейнери. my_map.try_emplace(key, arg1, arg2, arg3) нічого не робить якщо ключ уже існує в контейнері, в іншому випадку створює новий елемент. Інтерфейс гарантує, що rvalue reference аргументи не будуть переміщені, якщо вставка не відбулась.[103]
  • Змінено тип, який повертає функція emplace. Послідовні контейнери які мають функції emplace_front та emplace_back раніше нічого не повертали (void emplace_front(…);). Тепер вони повертають зсилку на щойно створений елемент. (Ця зміна не вплинула на асоціативні контейнери, оскільки вони і раніше, завжди повертали ітератор на вставлений елемент).[104]
  • Об'єднання асоціативних контейнерів (map та set). До бібліотеки контейнерів додано новий механізм, що дозволяє переносити елементи між різними об'єктами map/set.[105][106]
set<int> src{1, 3, 5};
set<int> dst{2, 4, 5};
dst.merge(src); // Merge src into dst.
// src == {5}
// dst == {1, 2, 3, 4, 5}

Ця техніка також дозволяє змінювати ключ:

map<int, string> m{{1,mango}, {2,papaya}, {3,guava}};
auto nh = m.extract(2);
nh.key() = 4;
m.insert(move(nh));
// m == {{1,”mango”}, {3,”guava”}, {4,”papaya”}}
  • Неконстантний string::data. Додали неконстантну перегрузку до basic_string::data що повертає вказівник на дані які можна модифікувати.[107]
  • Версія lock_guard зі змінною кількістю аргументів називається scoped_lock. Новий шаблонний клас зі змінною кількістю аргументів scoped_lock<Args...> одночасно захоплює декілька об'єктів синхронізації, використовуючи такий самий алгоритм як lock та звільняє їх в деструкторі. Спершу, пропонувалося змінити визначення lock_guard, щоб додати можливість приймати змінну кількість аргументів, але виявилося, що ця зміна ламає існуючу поведінку. Тому, взамін, ми отримали новий клас scoped_lock, який однозначно кращий ніж старий lock_guard та має використовуватися замість нього.[108][109]
  • _v<T> шаблонні змінні. Добавлені some_trait_v<T> шаблонні змінні із значенням some_trait<T>::value для type trait стандартної бібліотеки..[110]
  • atomic::is_always_lock_free. Новий константний, статичний член is_always_lock_free документує чи операції з даним атомарним типом завжди вільні від блокувань (lock-free). Існуюча нестатична функція класу is_lock_free може повертати різні відповіді для різних значень атомарного типу.[111]
  • shared_ptr для масивів. Шаблонний клас shared_ptr тепер підтримує масиви в стилі С. Для цього конструктору треба передати T[] або T[N] як параметр шаблону, а конструктор shared_ptr сам визначить відповідну функцію для очищення пам'яті.[63][112]
using std::string;
using std::shared_ptr;
using std::default_delete;
int arr_size{};

// C++14
auto string_arr_sptr_cpp14 = shared_ptr<string[]>(new string[arr_size], default_delete<string[]>() );
string_arr_sptr_cpp14.reset(new string[arr_size], default_delete<string[]>() );
// define an explicit deleter, 
// or otherwise, "delete ptr;" will internally be used incorrectly!

// C++17
auto string_arr_sptr_cpp17 = shared_ptr<string[]>(new string[arr_size]);
string_arr_sptr_cpp17.reset(new string[arr_size]);
  • shared_ptr::weak_type. До класу shared_ptr<T> додали нове поле weak_type, який є синонімом weak_ptr<T>. Це дозволяє конструювати weak_ptr з shared_ptr без явного вказання типу weak_ptr.[113]
  • Тривимірна гіпотенуза. Додано hypot(x, y, z), як додатковий набір перегружених функцій, до <cmath> (але не до <math.h>, та тальки у простір імен std).[114]
  • Додаткові алгоритми роботи з неініціалізованою пам'яттю. Додаткові алгоритми для створення об'єктів в неініціалізованій пам'яті та для видалення об'єктів. Керування пам'яттю без використання алокаторів, що надаються стандартною бібліотекою, є поширеною практикою як серед бібліотек користувачів, так і в самій стандартній бібліотеці. Наприклад, можна використовувати внутрішні буфери, або використовувати алокатори що не керують життєвим циклом об'єкта: bde [Архівовано 21 серпня 2015 у Wayback Machine.], sgi, eastl [Архівовано 22 жовтня 2017 у Wayback Machine.], bitsquid [Архівовано 10 жовтня 2017 у Wayback Machine.]. Написання власних алокаторів досить складна задача, тому мати декілька реалізацій таких алгоритмів допоможе розробникам бібліотек написання коректного та високоефективного коду. Було додано наступні алгоритми:
    • destroy_at, destroy та destroy_n — викликають деструктор для конкретного елемента.
    • uninitialized_move та uninitialized_move_n — виконують створення елементів переміщенням (move construction) для діапазону пам'яті. Схоже на uninitialized_copy
    • uninitialized_value_construct та uninitialized_value_construct_n — виконують ініціалізацію об'єктів значеннями для діапазону пам'яті.
    • uninitialized_default_construct та uninitialized_default_construct_n — виконують ініціалізацію об'єктів значеннями за замовчуванням для діапазону пам'яті.[115]
  • Підтримка неповних типів для алокаторів. Ця зміна послаблює вимоги до алокаторів мати повний тип, що дозволяє використовувати такі рекурсивні структури як struct X { std::vector<X> data; };.[116]
  • Зміни до <chrono>. Додали округлення вгору, вниз та до найближчого цілого для часових точок (floor, ceil, round). Зробили більшість функцій constexpr.[117][118]
  • constexpr для char_traits. Всі спеціалізації необхідні для char_traits тепер мають constexpr функції-члени length, compare, find та assign. Це дозволить більш широко використовувати текстові рядки в константних виразах.[119]
  • Покращили pair та tuple. Ця зміна робить конструктори pair та tuple такими ж явними, як і відповідний тип елементу конструктора.[120] Тепер можна писати так:
std::tuple<int, int> pixel_coordinates() 
{
  return {10, -15};  // OK
}
  • Уточнена робота common_type.[121][122]

РізнеРедагувати

  • C++ тепер посилається на C11. Стандарт C++ тепер нормативно посилається на C11 (ISO/IEC 9899:2011) як «Стандарт С». Не тільки ISO вимагає, щоб посилання на інші міжнародні стандарти посилались на останню опубліковану версію, а не історичну версію, але це також дає доступ до aligned_alloc, який корисний для вдосконалення менеджменту динамічної пам'яті.[14]
  • Зарезервували іменні простори. Всі першорівневі простори імен вигляду stdX, де X це послідовність чисел, зарезервовані.[123]
  • Короткий огляд бібліотеки С. Чисто редакційна зміна. Раніше, всі заголовки в частині «Бібліотека С» були представлені простим списком імен. Тепер це було змінено на детальний опис. Це робить зміни в семантиці С простішими до врахування в С++.[124]
  • Визначення термінів «forwarding reference», «default member initializer», «templated entity» та «contiguous iterator». Ці зміни не мають нормативного впливу, але вони визначають офіційну термінологію для концептів, які тільки починають виникати з мовних правил. Точні та добре визначені терміни спрощують розмови про С++ та написання специфікації.[125][126][127][128]
  • Заміна «генератор випадкових чисел» на «генератор випадкових бітів». Аналогічно, заміна не має нормативного впливу, але роз'яснює дизайн та наміри бібліотеки <random>.[129]

ПриміткиРедагувати

  1. N4661 Editors' Report -- Programming Languages -- C++. 21 березня 2017. Архів оригіналу за 4 лютого 2020. Процитовано 21 березня 2017. 
  2. ISO/IEC DIS 14882: Programming Languages — C++. Архів оригіналу за 25 березня 2017. 
  3. C++17 is formally approved. Архів оригіналу за 29 січня 2020. Процитовано 10 жовтня 2017. 
  4. ISO/IEC 14882:2017. Архів оригіналу за 17 травня 2013. Процитовано 23 січня 2018. 
  5. N3981: Removing trigraphs??! (Richard Smith). 6 травня 2014. Архів оригіналу за 9 липня 2018. Процитовано 7 вересня 2017. 
  6. IBM comment on preparing for a Trigraph-adverse future in C++17 [Архівовано 11 вересня 2018 у Wayback Machine.], IBM paper N4210, 2014-10-10. Authors: Michael Wong, Hubert Tong, Rajan Bhakta, Derek Inglis
  7. Remove Deprecated Use of the register Keyword. Архів оригіналу за 14 вересня 2017. Процитовано 13 вересня 2017. 
  8. Remove Deprecated operator++(bool). Архів оригіналу за 11 вересня 2017. Процитовано 13 вересня 2017. 
  9. Removing Deprecated Exception Specifications from C++17. Архів оригіналу за 13 вересня 2017. Процитовано 13 вересня 2017. 
  10. а б Inline Variables. Архів оригіналу за 29 серпня 2017. Процитовано 13 вересня 2017. 
  11. Removing auto_ptr, random_shuffle(), And Old <functional> Stuff. Архів оригіналу за 20 жовтня 2017. Процитовано 7 вересня 2017. 
  12. Remove Deprecated iostreams aliases. Архів оригіналу за 22 серпня 2017. Процитовано 13 вересня 2017. 
  13. Removing Allocator Support in std::function (rev 1). Архів оригіналу за 17 вересня 2017. Процитовано 13 вересня 2017. 
  14. а б C++17 should refer to C11 instead of C99. Архів оригіналу за 13 вересня 2017. Процитовано 13 вересня 2017. 
  15. Deprecating Vestigial Library Parts in C++17. Архів оригіналу за 13 вересня 2017. Процитовано 13 вересня 2017. 
  16. Deprecating <codecvt>. Архів оригіналу за 16 вересня 2017. Процитовано 13 вересня 2017. 
  17. Temporarily discourage memory_order_consume. Архів оригіналу за 16 січня 2018. Процитовано 13 вересня 2017. 
  18. Proposed Resolution for CA 14 (shared_ptr use_count/unique). Архів оригіналу за 7 липня 2017. Процитовано 13 вересня 2017. 
  19. а б Resolving GB 55, US 84, US 85, US 86. Архів оригіналу за 5 липня 2017. Процитовано 13 вересня 2017. 
  20. Make exception specifications be part of the type system. Архів оригіналу за 12 вересня 2017. Процитовано 18 вересня 2017. 
  21. Wording for guaranteed copy elision through simplified value categories. Архів оригіналу за 12 вересня 2017. Процитовано 18 вересня 2017. 
  22. Dynamic memory allocation for over-aligned data. Архів оригіналу за 8 вересня 2017. Процитовано 7 вересня 2017. 
  23. Refining Expression Evaluation Order for Idiomatic C++. Архів оригіналу за 26 серпня 2018. Процитовано 18 вересня 2017. 
  24. c++ - What are the evaluation order guarantees introduced by C++17?. Stack Overflow. Процитовано 7 лютого 2019. 
  25. Adding u8 character literals. Архів оригіналу за 6 жовтня 2017. Процитовано 20 вересня 2017. 
  26. Hexadecimal floating literals for C++. Архів оригіналу за 22 серпня 2017. Процитовано 20 вересня 2017. 
  27. Unary Folds and Empty Parameter Packs (revision 1). Архів оригіналу за 9 грудня 2017. Процитовано 21 вересня 2017. 
  28. Folding expressions. Архів оригіналу за 9 вересня 2017. Процитовано 21 вересня 2017. 
  29. Declaring non-type template parameters with auto. Архів оригіналу за 16 вересня 2017. Процитовано 21 вересня 2017. 
  30. Template argument deduction for class templates (Rev. 6). Архів оригіналу за 16 вересня 2017. Процитовано 21 вересня 2017. 
  31. Toward a resolution of US7 and US14: Integrating template deduction for class templates into the standard library. Архів оригіналу за 25 вересня 2017. Процитовано 21 вересня 2017. 
  32. Class Template Argument DeductionAssorted NB resolution and issues. Архів оригіналу за 7 липня 2017. Процитовано 21 вересня 2017. 
  33. Drafting for class template argument deduction issues. Архів оригіналу за 5 липня 2017. Процитовано 21 вересня 2017. 
  34. constexpr if: A slightly different syntax. Архів оригіналу за 7 жовтня 2017. Процитовано 22 вересня 2017. 
  35. Selection statements with initializer. Архів оригіналу за 6 жовтня 2017. Процитовано 22 вересня 2017. 
  36. Wording for Constexpr Lambda. Архів оригіналу за 23 квітня 2017. Процитовано 22 вересня 2017. 
  37. Lambda Capture of *this by Value as [=,*this]. Архів оригіналу за 22 серпня 2017. Процитовано 25 вересня 2017. 
  38. P0217R3: Proposed wording for structured bindings. Архів оригіналу за 6 жовтня 2017. Процитовано 25 вересня 2017. 
  39. P0615R0: Renaming for structured bindings. Архів оригіналу за 10 вересня 2017. Процитовано 25 вересня 2017. 
  40. __has_include for C++17. Архів оригіналу за 1 жовтня 2017. Процитовано 25 вересня 2017. 
  41. Wording for [[fallthrough]] attribute. Архів оригіналу за 21 липня 2017. Процитовано 25 вересня 2017. 
  42. Wording for [[nodiscard]] attribute. Архів оригіналу за 21 липня 2017. Процитовано 25 вересня 2017. 
  43. Wording for [[maybe_unused]] attribute. Архів оригіналу за 21 липня 2017. Процитовано 25 вересня 2017. 
  44. Core Issue 1776: Replacement of class objects containing reference members. Архів оригіналу за 10 вересня 2017. Процитовано 25 вересня 2017. 
  45. A byte type definition. Архів оригіналу за 6 червня 2017. Процитовано 25 вересня 2017. 
  46. Mathematical Special Functions for C++17, v5. Архів оригіналу за 22 вересня 2017. Процитовано 26 вересня 2017. 
  47. Adopt the File System TS for C++17. Архів оригіналу за 7 жовтня 2017. Процитовано 26 вересня 2017. 
  48. Relative Paths for Filesystem (R1). Архів оригіналу за 26 вересня 2017. Процитовано 26 вересня 2017. 
  49. Directory Entry Caching for Filesystem (R1). Архів оригіналу за 26 вересня 2017. Процитовано 26 вересня 2017. 
  50. Adapting string_view by filesystem paths. Архів оригіналу за 11 жовтня 2017. Процитовано 26 вересня 2017. 
  51. P0430R2 – File system library on non-POSIX-like operating systems. Архів оригіналу за 11 жовтня 2017. Процитовано 26 вересня 2017. 
  52. Proposed Resolution of C++17 National Body Comments for Filesystems(R2). Архів оригіналу за 1 жовтня 2017. Процитовано 26 вересня 2017. 
  53. а б The Parallelism TS Should be Standardized. Архів оригіналу за 6 жовтня 2017. Процитовано 26 вересня 2017. 
  54. Better Names for Parallel Execution Policies in C++17. Архів оригіналу за 23 жовтня 2016. Процитовано 26 вересня 2017. 
  55. P0394-r4: Hotel Parallelifornia: terminate() for Parallel Algorithms Exception Handling. Архів оригіналу за 12 травня 2017. Процитовано 26 вересня 2017. 
  56. P0452r1 Unifying <numeric> Parallel Algorithms. Архів оригіналу за 25 серпня 2017. Процитовано 26 вересня 2017. 
  57. Iterator Concerns for Parallel Algorithms. Архів оригіналу за 5 липня 2017. Процитовано 26 вересня 2017. 
  58. P0502r0 Throwing out of a parallel algorithm terminates—but how?. Архів оригіналу за 7 липня 2017. Процитовано 26 вересня 2017. 
  59. P0518r1 Allowing copies as arguments to function objects given to parallel algorithms in response to CH11. Архів оригіналу за 5 липня 2017. Процитовано 26 вересня 2017. 
  60. P0523R1: Wording for CH 10: Complexity of parallel algorithms. Архів оригіналу за 5 липня 2017. Процитовано 26 вересня 2017. 
  61. P0574r1: Algorithm Complexity Constraints and Parallel Overloads. Архів оригіналу за 5 липня 2017. Процитовано 26 вересня 2017. 
  62. P0623r0 Final C++17 Parallel Algorithms Fixes. Архів оригіналу за 5 липня 2017. Процитовано 26 вересня 2017. 
  63. а б в г д е ж и Adopt Library Fundamentals V1 TS Components for C++17 (R1). Архів оригіналу за 4 листопада 2017. Процитовано 27 вересня 2017. 
  64. Integrating std::string_view and std::string. Архів оригіналу за 27 вересня 2017. Процитовано 27 вересня 2017. 
  65. Literal suffixes for basic_string_view. Архів оригіналу за 27 вересня 2017. Процитовано 27 вересня 2017. 
  66. а б в Revisiting in-place tag types for any/optional/variant. Архів оригіналу за 7 липня 2017. Процитовано 27 вересня 2017. 
  67. а б Homogeneous interface for variant, any andoptional (Revision 3). Архів оригіналу за 27 вересня 2017. Процитовано 27 вересня 2017. 
  68. Variant: a type-safe union for C++17 (v8). Архів оригіналу за 14 жовтня 2017. Процитовано 28 вересня 2017. 
  69. Disallowing references, incomplete types, arrays, and empty variants. Архів оригіналу за 7 липня 2017. Процитовано 28 вересня 2017. 
  70. Homogeneous interface for variant, any andoptional (Revision 3). Архів оригіналу за 27 вересня 2017. Процитовано 27 вересня 2017. 
  71. Making Variant Greater Equal. Архів оригіналу за 16 березня 2017. Процитовано 28 вересня 2017. 
  72. Making Optional Greater Equal Again. Архів оригіналу за 28 вересня 2017. Процитовано 28 вересня 2017. 
  73. A proposal to add invoke function template (Revision 1). Архів оригіналу за 6 жовтня 2017. Процитовано 28 вересня 2017. 
  74. is_callable, the missing INVOKE related trait. Архів оригіналу за 3 листопада 2017. Процитовано 28 вересня 2017. 
  75. P0067R5: Elementary string conversions, revision 5. Архів оригіналу за 13 вересня 2017. Процитовано 28 вересня 2017. 
  76. TransformationTrait Alias void_t. Архів оригіналу за 28 серпня 2017. Процитовано 29 вересня 2017. 
  77. Wording for bool_constant, revision 1. Архів оригіналу за 14 жовтня 2017. Процитовано 29 вересня 2017. 
  78. Logical Operator Type Traits (revision 1). Архів оригіналу за 3 листопада 2017. Процитовано 29 вересня 2017. 
  79. Adding [nothrow-]swappable traits, revision 3. Архів оригіналу за 24 липня 2017. Процитовано 29 вересня 2017. 
  80. C++ Standard Library Defect Report List (Revision D106). Архів оригіналу за 29 вересня 2017. Процитовано 29 вересня 2017. 
  81. has_unique_object_representations - wording. Архів оригіналу за 3 листопада 2017. Процитовано 29 вересня 2017. 
  82. Constant View: A proposal for a std::as_const helper function template. Архів оригіналу за 20 червня 2017. Процитовано 4 жовтня 2017. 
  83. Customization Point Design in C++11 and Beyond. Архів оригіналу за 4 жовтня 2017. Процитовано 4 жовтня 2017. 
  84. Non-member size() and more (Revision 2). Архів оригіналу за 8 січня 2019. Процитовано 4 жовтня 2017. 
  85. An algorithm to "clamp" a value between a pair of boundary values (revision 1). Архів оригіналу за 3 листопада 2017. Процитовано 4 жовтня 2017. 
  86. Adopt Selected Library Fundamentals V2 Components for C++17. Архів оригіналу за 7 липня 2017. Процитовано 4 жовтня 2017. 
  87. N4508: A proposal to add shared_mutex (untimed). Архів оригіналу за 3 листопада 2017. Процитовано 4 жовтня 2017. 
  88. P0154R1 constexpr std::hardware_{constructive,destructive}_interference_size. 
  89. P0209r2 | make_from_tuple: apply for construction. Архів оригіналу за 7 липня 2017. Процитовано 4 жовтня 2017. 
  90. Adopt not_fn from Library Fundamentals 2 for C++17. Архів оригіналу за 17 жовтня 2017. Процитовано 4 жовтня 2017. 
  91. Fixes for not_fn. Архів оригіналу за 3 листопада 2017. Процитовано 4 жовтня 2017. 
  92. P0337r0 | Delete operator= for polymorphic_allocator. Архів оригіналу за 23 жовтня 2016. Процитовано 4 жовтня 2017. 
  93. Fixing a design mistake in the searchers interface in Library Fundamentals. Архів оригіналу за 4 жовтня 2017. Процитовано 4 жовтня 2017. 
  94. Extending static_assert, v2. Архів оригіналу за 11 серпня 2015. Процитовано 7 вересня 2017. 
  95. Nested namespace definition (revision 2). Архів оригіналу за 3 серпня 2015. Процитовано 7 вересня 2017. 
  96. Allow typename in a template template parameter. Архів оригіналу за 11 серпня 2015. Процитовано 7 вересня 2017. 
  97. Generalizing the Range-Based For Loop. Архів оригіналу за 5 жовтня 2017. Процитовано 6 жовтня 2017. 
  98. Pack expansions in using-declarations. Архів оригіналу за 17 жовтня 2017. Процитовано 6 жовтня 2017. 
  99. Construction Rules for enum class Values. Архів оригіналу за 9 грудня 2017. Процитовано 6 жовтня 2017. 
  100. Wording for std::uncaught_exceptions. Архів оригіналу за 8 січня 2019. Процитовано 9 жовтня 2017. 
  101. Attributes for namespaces and enumerators. Архів оригіналу за 6 жовтня 2017. Процитовано 9 жовтня 2017. 
  102. Using attribute namespaces without repetition. Архів оригіналу за 12 жовтня 2017. Процитовано 9 жовтня 2017. 
  103. Improved insertion interface for unique-key maps (Revision 2.3). Архів оригіналу за 22 серпня 2017. Процитовано 9 жовтня 2017. 
  104. Emplace Return Type (Revision 2). Архів оригіналу за 7 липня 2017. Процитовано 9 жовтня 2017. 
  105. Splicing Maps and Sets (Revision 5). Архів оригіналу за 7 липня 2017. Процитовано 9 жовтня 2017. 
  106. Wording for GB 58. Архів оригіналу за 7 липня 2017. Процитовано 9 жовтня 2017. 
  107. Give 'std::string' a non-const '.data()' member function. Архів оригіналу за 3 листопада 2017. Процитовано 9 жовтня 2017. 
  108. Variadic lock_guard (Rev. 3). Архів оригіналу за 24 жовтня 2017. Процитовано 9 жовтня 2017. 
  109. Variadic lock_guard (Rev. 5). Архів оригіналу за 24 вересня 2017. Процитовано 9 жовтня 2017. 
  110. Adopt Type Traits Variable Templates from Library Fundamentals TS for C++17. Архів оригіналу за 21 липня 2017. Процитовано 9 жовтня 2017. 
  111. P0152R1 constexpr atomic<T>::is_always_lock_free. Архів оригіналу за 19 вересня 2017. Процитовано 9 жовтня 2017. 
  112. Merging shared_ptr changes from Library Fundamentals to C++17. Архів оригіналу за 9 жовтня 2017. Процитовано 9 жовтня 2017. 
  113. shared_ptr::weak_type. Архів оригіналу за 6 квітня 2017. Процитовано 10 жовтня 2017. 
  114. Proposal to Introduce a 3-Argument Overload to std::hypot. Архів оригіналу за 5 червня 2017. Процитовано 10 жовтня 2017. 
  115. Extending memory management tools. Архів оригіналу за 6 жовтня 2017. Процитовано 10 жовтня 2017. 
  116. Minimal incomplete type support for standard containers, revision 4. Архів оригіналу за 3 листопада 2017. Процитовано 10 жовтня 2017. 
  117. Difference from previous revision. Архів оригіналу за 19 жовтня 2017. Процитовано 10 жовтня 2017. 
  118. Wording for GB 50. Архів оригіналу за 3 листопада 2017. Процитовано 10 жовтня 2017. 
  119. Constexpr for std::char_traits. Архів оригіналу за 10 жовтня 2017. Процитовано 10 жовтня 2017. 
  120. Improving pair and tuple, revision 3. Архів оригіналу за 29 вересня 2017. Процитовано 10 жовтня 2017. 
  121. Resolving LWG Issues re common_type. Архів оригіналу за 10 жовтня 2017. Процитовано 10 жовтня 2017. 
  122. common_type and duration. Архів оригіналу за 5 липня 2017. Процитовано 10 жовтня 2017. 
  123. Reserve a New Library Namespace Future Standardization. Архів оригіналу за 10 жовтня 2017. Процитовано 10 жовтня 2017. 
  124. Synopses for the C library. Архів оригіналу за 11 жовтня 2017. Процитовано 10 жовтня 2017. 
  125. Wording for Forwarding References. Архів оригіналу за 4 серпня 2016. Процитовано 10 жовтня 2017. 
  126. Introducing a name for brace-or-equal-initializers for non-static data members. Архів оригіналу за 3 серпня 2016. Процитовано 10 жовтня 2017. 
  127. P0391R0: Introducing the term "templated entity". Архів оригіналу за 23 жовтня 2016. Процитовано 10 жовтня 2017. 
  128. N4284: Contiguous Iterators. Архів оригіналу за 6 жовтня 2017. Процитовано 10 жовтня 2017. 
  129. A <random> Nomenclature Tweak. Архів оригіналу за 10 жовтня 2017. Процитовано 10 жовтня 2017. 

ПосиланняРедагувати