C ++ 17 est désormais complet, il est donc peu probable qu'il subisse de grands changements. Des centaines de propositions ont été avancées pour C ++ 17.

Lesquelles de ces fonctionnalités ont été ajoutées à C ++ dans C ++ 17?

Lorsque vous utilisez un compilateur C ++ qui prend en charge "C ++ 1z", lesquelles de ces fonctionnalités seront disponibles lorsque le compilateur mettra à jour vers C ++ 17?

Caractéristiques linguistiques:

Modèles et code générique

• Déduction d'argument de modèle pour les modèles de classe

  • Comme la façon dont les fonctions déduisent les arguments de modèle, les constructeurs peuvent désormais déduire les arguments de modèle de la classe
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Représente une valeur de n'importe quel type (argument de modèle non-type).

• Correctifs des arguments de modèle non-type

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

• (Pliage + ... + expressions) et Révisions

• auto x{8}; est un int

• modernisation usingavec ...et listes

Lambda

• constexpr lambdas

  • Les lambdas sont implicitement constexpr s'ils se qualifient

• Capturer *thisen lambdas

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

Les attributs

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]Attributs

• [[attributes]]sur namespaces etenum { erator[[s]] }

• usingdans les attributs pour éviter d'avoir à répéter un espace de noms d'attribut.

• Les compilateurs doivent désormais ignorer les attributs non standard qu'ils ne reconnaissent pas .

  • Le libellé C ++ 14 a permis aux compilateurs de rejeter les attributs de portée inconnus.

Nettoyage de la syntaxe

• Variables en ligne

  • Comme les fonctions en ligne
  • Le compilateur choisit où l'instance est instanciée
  • Dépréciez la redéclaration constexpr statique , désormais implicitement en ligne.

• namespace A::B

• Simple static_assert(expression);sans chaîne

• non à throwmoinsthrow() , et throw()est noexcept(true).

Contrôle de retour et de débit plus propre

• Fixations structurées

  • Fondamentalement, de première classe std::tieavecauto
  • Exemple:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Crée des variables itet insertedavec le type déduit de la pairque des map::insertretours.
  • Fonctionne avec les tuple / pair-likes & std::arrays et les structures relativement plates
  • Liaisons structurées réellement nommées en standard

• if (init; condition) et switch (init; condition)

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Prolonge les if(decl)cas où decln'est pas convertible en bool sensiblement.

• Généralisation basée sur la plage pour les boucles

  • Semble principalement prendre en charge les sentinelles ou les itérateurs de fin qui ne sont pas du même type que les itérateurs de début, ce qui facilite les boucles à terminaison nulle et autres.

• si constexpr

  • Fonctionnalité très demandée pour simplifier le code presque générique.

Divers

• Littéraux hexadécimaux à virgule flottante

• Allocation dynamique de mémoire pour les données suralignées

• Élision de copie garantie

  • Finalement!
  • Pas dans tous les cas, mais distingue la syntaxe où vous "créez simplement quelque chose" qui était appelé élision, de "véritable élision".

• Ordre d'évaluation fixe pour (certaines) expressions avec quelques modifications

  • Non compris les arguments de fonction, mais l'entrelacement de l'évaluation des arguments de fonction est désormais interdit
  • Fait fonctionner un tas de code cassé principalement et fait .thendes travaux futurs.

• Initialisation directe de la liste des énumérations

• Garanties de progression (FPG) (également, FPG pour algorithmes parallèles )

  • Je pense que cela signifie "la mise en œuvre peut ne pas bloquer les threads pour toujours"?

• u8'U', u8'T', u8'F', u8'8' littéraux de caractères (la chaîne existait déjà)

• "noexcept" dans le système de type

• __has_include

  • Tester si un fichier d'en-tête inclure serait une erreur
  • facilite la migration de l'expérimental vers la std

• Tableaux de corrections de conversion de pointeur

• Les constructeurs hérités corrigent certains cas d'angle (voir P0136R0 pour des exemples de changements de comportement)

• initialisation agrégée avec héritage .

• std::launder, type punning, etc.

Ajouts à la bibliothèque:

Types de données

• std::variant<Ts...>

  • Presque toujours non vide la dernière fois que j'ai vérifié?
  • Tagged type d'union
  • {génial | utile}

• std::optional

  • Peut-être détient-il quelque chose
  • Ridiculement utile

• std::any

  • Peut contenir n'importe quoi (qui est copiable)

• std::string_view

  • std::string comme la référence à un tableau de caractères ou une sous-chaîne
  • Ne prenez plus jamais string const&. Peut également accélérer l'analyse d'un bajillion de fois.
  • "hello world"sv
  • constexpr char_traits

• std::byte plus qu'ils ne pouvaient mâcher.

  • Ni un entier ni un caractère, juste des données

Appeler des trucs

• std::invoke
  • Appelez tout appelable (pointeur de fonction, fonction, pointeur de membre) avec une seule syntaxe. Du concept standard INVOKE.
• std::apply
  • Prend une fonction et un tuple, et décompresse le tuple dans l'appel.

• std::make_from_tuple, std::applyappliqué à la construction d'objets

• 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
  • Obsolète result_of
  • is_invocable<Foo(Args...), R>est "pouvez-vous appeler Fooavec Args...et obtenir quelque chose de compatible avec R", où R=voidest par défaut.
  • invoke_result<Foo, Args...>est std::result_of_t<Foo(Args...)>apparemment moins déroutant?

Système de fichiers TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] et [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams peut être ouvert avec paths, ainsi qu'avec des const path::value_type*chaînes.

De nouveaux algorithmes

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Ajouté à des fins de threading, exposé même si vous ne les utilisez pas

Enfiler

• std::shared_mutex

  • Intemporelle, ce qui peut être plus efficace si vous n'en avez pas besoin.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Enregistre un peu de std::lockdouleur lors du verrouillage de plus d'un mutex à la fois.

• Parallélisme TS v1

  • Le document lié de 2014 peut être obsolète
  • Versions parallèles d' stdalgorithmes et de machines associées

• matériel _ * _ taille_interférence

(parties de) Library Fundamentals TS v1 non couvert ci-dessus ou ci-dessous

• [func.searchers] et [alg.search]
  • Un algorithme et des techniques de recherche

• [pmr]

  • Allocateur polymorphe, comme std::functionpour les allocateurs
  • Et quelques ressources de mémoire standard pour l'accompagner .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample, échantillonnage à partir d'une plage?

Améliorations des conteneurs

• try_emplace et insert_or_assign

  • donne de meilleures garanties dans certains cas où un déplacement / copie parasite serait mauvais

• Splicing pour map<>, unordered_map<>, set<>etunordered_set<>

  • Déplacez les nœuds entre les conteneurs à moindre coût.
  • Fusionnez des conteneurs entiers à moindre coût.

• non const .data()pour chaîne.

• non-membre std::size, std::empty,std::data

  • comme std::begin/end

• Prise en charge minimale des types incomplets dans les conteneurs

• "Concept" d'itérateur contigu

• constexpr itérateurs

• La emplacefamille de fonctions renvoie désormais une référence à l'objet créé .

Modifications du pointeur intelligent

• unique_ptr<T[]>corrections et autres unique_ptrajustements.
• weak_from_this et certains fixes à partagé à partir de cette

Autres stdaméliorations de type de données:

• {}construction std::tupleet autres améliorations
• TriviallyCopyable reference_wrapper , peut améliorer les performances

Divers

• La bibliothèque C ++ 17 est basée sur C11 au lieu de C99

• Réservé std[0-9]+aux futures bibliothèques standard

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

  • le code de l'utilitaire est déjà stdexposé dans la plupart des implémentations
• Fonctions mathématiques spéciales
  • les scientifiques peuvent les aimer
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) grossièrement
• gcd et lcm
• std::uncaught_exceptions
  • Obligatoire si vous souhaitez lancer uniquement à l'abri des destructeurs
• std::as_const
• std::bool_constant
• Un tas de _vvariables de modèle
• std::void_t<T>
  • Étonnamment utile lors de l'écriture de modèles
• std::owner_less<void>
  • comme std::less<void>, mais pour les pointeurs intelligents pour trier en fonction du contenu
• std::chrono polonais
• std::conjunction, std::disjunction,std::negation Exposé
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Règles pour noexcept within std
• std :: is_contiguous_layout , utile pour un hachage efficace
• std :: to_chars / std :: from_chars , haute performance, conversion de nombre indépendante des paramètres régionaux; enfin un moyen de sérialiser / désérialiser en formats lisibles par l'homme (JSON & co)
• std :: default_order , indirection terminée std::less. ( interrompt l'ABI de certains compilateurs en raison d'un changement de nom, supprimé.)

Traits

• échanger
• is_aggregate
• has_unique_object_representations

Obsolète

• Quelques bibliothèques C ,
• <codecvt>
• memory_order_consume
• result_of, remplacé par invoke_result
• shared_ptr::unique, ce n'est pas très sûr

Isocpp.org a une liste indépendante de changements depuis C ++ 14; il a été partiellement pillé.

Naturellement, le travail TS se poursuit en parallèle, il y a donc certains TS qui ne sont pas tout à fait mûrs qui devront attendre la prochaine itération. La cible pour la prochaine itération est le C ++ 20 comme prévu précédemment, et non le C ++ 19 comme le suggèrent certaines rumeurs. C ++ 1O a été évité.

Liste initiale tirée de ce post reddit et de ce post reddit , avec des liens ajoutés via googling ou à partir de la page isocpp.org ci-dessus.

Entrées supplémentaires pillées à partir de la liste de test de fonctionnalité SD-6 .

La liste des fonctionnalités de clang et liste des fonctionnalités bibliothèque sont à côté d'être pillée. Cela ne semble pas fiable, car il s'agit de C ++ 1z, pas de C ++ 17.

ces diapositives avaient des fonctionnalités manquantes ailleurs.

Bien que "ce qui a été supprimé" n'ait pas été demandé, voici une courte liste de quelques éléments ((principalement?) Obsolètes précédents) qui sont supprimés en C ++ 17 de C ++:

Supprimé:

• register, mot-clé réservé pour une utilisation future
• bool b; ++b;
• trigraphes
  • si vous en avez toujours besoin, ils font désormais partie de l'encodage de votre fichier source, et non plus de la langue
• alias ios
• auto_ptr, vieux <functional>trucs,random_shuffle
• répartiteurs dans std::function

Il y a eu des reformulations. Je ne sais pas si ceux-ci ont un impact sur le code, ou si ce ne sont que des nettoyages dans la norme:

Articles non encore intégrés dans ci-dessus:

• P0505R0 (constexpr chrono)

• P0418R2 (réglages atomiques)

• P0512R0 (réglages de déduction d'argument de modèle)

• P0490R0 (réglages de liaison structurés)

• P0513R0 (modifie std::hash)

• P0502R0 (exceptions parallèles)

• P0509R1 (mise à jour des restrictions sur la gestion des exceptions)

• P0012R1 (intégrer les spécifications d'exception au système de types)

• P0510R0 (restrictions sur les variantes)

• P0504R0 (balises pour facultatif / variante / tout)

• P0497R0 (réglages ptr partagés)

• P0508R0 (poignées de nœud de liaisons structurées)

• P0521R0 (nombre d'utilisation de pointeurs partagés et modifications uniques?)

Modifications des spécifications:

• spécifications d'exception et expressions de lancement

Référence supplémentaire:

• articles regroupés par année; pas tous acceptés

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

  • Devrait être mis à jour en "Modifications des fonctionnalités existantes" ici.