Quelles sont les nouvelles fonctionnalités de C ++ 17?

Question

C++ 17 est maintenant complet, il est donc peu probable que de gros changements se produisent. Des centaines de propositions ont été avancées pour C++ 17.

Lesquelles de ces fonctionnalités ont été ajoutées au C++ en C++ 17?

Lors de l'utilisation d'un compilateur C++ prenant en charge "C++ 1z", quelles fonctionnalités seront disponibles lors de la mise à jour du compilateur vers C++ 17?

Answer 1

Caractéristiques linguistiques:

Modèles et code générique

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

  • De la même manière que les fonctions déduisent des arguments de modèle, les constructeurs peuvent désormais déduire les arguments de modèle de la classe
  • http://wg21.link/p0433r2http://wg21.link/p0620rhttp://wg21.link/p0512r

• template <auto>

  • Représente une valeur de tout type (argument de modèle autre que de type).

• Correction des arguments de modèle non-type

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

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

• auto x{8}; EST UN int

• modernisation de using avec ... et listes

Lambda

• constexpr lambdas

  • Les Lambda sont implicitement constexpr si elles sont qualifiées

• Capture de *this dans lambdas

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

Les attributs

• [[fallthrough]] , [[nodiscard]] , [[maybe_unused]] attributs

• [[attributes]] SUR namespaceS ET enum { erator[[s]] }

• using dans attributs pour éviter de devoir répéter un espace de nom d'attribut.

• Les compilateurs sont maintenant requis pour ignorer les attributs non standard qu'ils ne reconnaissent pas .

  • La formulation C++ 14 permettait aux compilateurs de rejeter des attributs étendus inconnus.

Nettoyage de la syntaxe

• variables en ligne

  • Comme les fonctions en ligne
  • Choix du compilateur où l'instance est instanciée
  • Obsolète la redéclaration constexpr statique , désormais implicitement en ligne.

• namespace A::B

• Simple static_assert(expression); sans chaîne

• no throw sauf si throw() , et throw() est noexcept(true).

Nettoyeur multi-retour et contrôle de flux

• Liaisons structurées

  • Fondamentalement, std::tie de première classe avec auto
  • Exemple:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Crée les variables it et inserted avec un type déduit de pair renvoyé par map::insert.
  • Fonctionne avec les Tuple/paires-like & std::arrays et les structures relativement plates
  • En réalité nommé liaisons structurées en standard

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

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Étend la if(decl) aux cas où decl n'est pas convertible de manière sensée.

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

  • Il semble que ce soit principalement un support pour les sentinelles, ou des itérateurs de fin qui ne sont pas du même type que les débutants, ce qui aide les boucles à terminaison NULL et autres.

• si constexpr

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

Misc

• littéraux hexadécimaux flottants

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

• Copie garantie

  • Finalement!
  • Pas dans tous les cas, mais distingue la syntaxe dans laquelle vous "créez simplement" quelque chose qui s'appelait é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 codes cassés principalement, et rend .then sur les travaux futurs.

• initialisation directe des énumérations

• Garanties de progression vers l'avant (FPG) (aussi, FPG pour algorithmes parallèles )

  • Je pense que cela signifie "la mise en œuvre ne peut 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 types

• __has_include

  • Test si un fichier d'en-tête inclus serait une erreur
  • rend la migration d'expérimentale à std presque transparente

• Tableaux de correctifs de conversion de pointeur

• constructeurs hérités corrige certains cas (voir P0136R pour obtenir des exemples de changements de comportement)

• initialisation d'agrégat avec héritage .

• std::launder, tapez 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é?
  • Type d'union étiqueté
  • {génial | utile}

• std::optional

  • Peut-être détient l'un de quelque chose
  • Ridiculement utile

• std::any

  • Peut contenir tout ce qui est copiable

• std::string_view

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

• std::byte plus que ce qu'ils pourraient mâcher.

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

Invoquer 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::apply appliqué à la construction d'objet

• 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 Foo avec Args... et obtenir quelque chose de compatible avec R", où R=void est la valeur par défaut.
  • invoke_result<Foo, Args...> est std::result_of_t<Foo(Args...)> mais 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 les chaînes const path::value_type*.

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 threadé

Filetage

• std::shared_mutex

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

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Enregistre une douleur std::lock lors du verrouillage de plusieurs mutex à la fois.

• Parallelism TS v1

  • Le papier lié de 2014 peut être périmé
  • Versions parallèles des algorithmes std et machines connexes

• hardware _ * _ference_size

(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::function pour les allocateurs
  • Et certains ressources de mémoire standard pour aller avec .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

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

Amélioration des conteneurs

• try_emplace et insert_or_assign

  • donne de meilleures garanties dans certains cas où des mouvements/copies parasites seraient mauvais

• Épissage pour map<>, unordered_map<>, set<> et unordered_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

• support de type incomplet minimal dans les conteneurs

• "concept" d'itérateur contig

• constexpr itérateurs

• La famille de fonctions emplacerenvoie maintenant une référence à l'objet créé .

Changements de pointeur intelligent

• unique_ptr<T[]> corrige et autres unique_ptr ajustements.
• weak_from_this et quelques uns sont partagés depuis

Autres améliorations du type de données std:

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

Misc

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

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

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

  • code utilitaire déjà dans la plupart des implémentations std exposées
• Fonctions mathématiques spéciales
  • les scientifiques peuvent les aimer
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) à peu près
• gcd ET lcm
• std::uncaught_exceptions
  • Obligatoire si vous ne voulez lancer que si vous êtes à l'abri des destructeurs
• std::as_const
• std::bool_constant
• n tas de variables de modèle _v
• std::void_t<T>
  • Étonnamment utile lors de la rédaction de modèles
• std::owner_less<void>
  • comme std::less<void>, mais pour que les pointeurs intelligents trient 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 dans std
• std :: is_contiguous_layout , utile pour un hachage efficace
• std :: to_chars/std :: from_chars , haute performance, conversion du nombre de locales non locales; enfin un moyen de sérialiser/désérialiser vers des formats lisibles par l'homme (JSON & co)
• std :: default_order , indirection sur std::less. ( casse l'ABI de certains compilateurs en raison de la modification du nom, supprimé.)

Traits

• échange
• 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 threadsafe

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

Naturellement, le travail de TS se poursuit en parallèle, de sorte que certains TS qui ne sont pas encore assez mûrs devront attendre la prochaine itération. La cible pour la prochaine itération est C++ 20 comme prévu précédemment, pas C++ 19 comme le supposent certaines rumeurs. C++ 1O a été évité.

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

Entrées supplémentaires extraites de SD-6 liste de tests de fonctionnalités.

liste des fonctionnalités de clang et liste des fonctionnalités de la bibliothèque sont les prochains à être pillés. Cela ne semble pas fiable, car il s’agit de C++ 1z et non de C++ 17.

ces diapositives il manquait certaines fonctionnalités ailleurs.

Bien que "ce qui a été supprimé" n'ait pas été demandé, voici une courte liste de quelques éléments ((la plupart du temps obsolètes) obsolètes) supprimés de C++ dans C++ 17:

Enlevé:

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

Il y avait des reformulations. Je ne sais pas si cela a un impact sur le code, ou si ce sont juste des nettoyages dans la norme:

Papiers non encore intégrés ci-dessus:

• P0505R (constexpr chrono)

• P0418R2 (réglages atomiques)

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

• P0490R (réglages structurés de la liaison)

• P0513R (remplace par std::hash)

• P0502R (exceptions parallèles)

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

• P0012R1 (les spécifications d'exception doivent faire partie du système de types)

• P0510R (restrictions sur les variantes)

• P0504R (tags pour optionnel/variant/quelconque)

• P0497R (réglages de ptr partagés)

• P0508R (descripteurs de noeud de liaisons structurées)

• P0521R (nombre d'utilisations de pointeur partagé et modifications uniques?)

Modifications techniques:

• specs d'exception et expressions de lancer

Référence supplémentaire:

• articles groupés par année; tous ne sont pas acceptés

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

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