Au cours du rassemblement et avant la finalisation du langage, un nouveau type a été introduit : std::byte (P0298R3). Ce type a été conçu spécifiquement pour les accès bruts à la mémoire. Jusqu'à présent, les programmeurs utilisaient char ou encore unsigned char qui sont conçus pour représenter avant tout des caractères. En plus, il est possible d'appliquer des opérations arithmétiques sur les char, ce qui ne convient pas. Bref, un nouveau type, pour permettre un code plus clair et plus de sécurité sur les types.
En plus du nouveau type std::byte, le C++17 apporte, entre autres :
- de nouvelles règles de déduction de types pour le mot clé auto sur les listes d'initialisation (N3922) ;
- l'ajout de if dans les expressions pouvant être résolues à la compilation (P0128R1) ;
- la déduction des arguments de template pour les classes templates (P0091R3) ;
- l'utilisation du mot clé auto pour les templates (P0127R1) ;
- la garantie sur l'omission de la copie (P0135R0) ;
- if et switch peuvent procéder à une initialisation if (status_code err = fct(); err != SUCCESS) (P0305R0) ;
- la garantie forward progress (P0296R0) ;
- les variables inline (P0386R0) ;
- les liaisons structurées (« Structured Bindings ») (N4659) ;
- l'affaiblissement de l'ordre d'évaluation fixe pour les expressions : pour enlever toute ambiguïté sur un code tel que f(i++,i) (P0145R2) ;
- l'allocation dynamique de mémoire pour les données sur alignées (P0035R4) ;
- la permission d'imbriquer les espaces de nommage et les énumérations : namespace X::Y { ... } (N4230) ;
- la permission d'avoir des attributs pour les namespace et énumérations (N4266) ;
- l'ajout des trois attributs [[fallthrough]], [[nodiscard]] et [[maybe_unused]] (N4640) ;
- l’ajout du support des caractères littéraux au format Unicode 8 bits (u8) (N4287) ;
- la permission de ne pas mettre un message dans static_assert (N3928) ;
- le remplacement de std::uncaught_exception par std::uncaught_exceptions (N4259) ;
- l'ajout des types std::variant et std::any (N4659 et P0220R1) ;
- une interface pour les systèmes de fichiers (N3505) ;
- la parallélisation des algorithmes de la STL (P0024R2) ;
- les lambdas constexpr (P0170r1) ;
- la généralisation des boucles sur ensemble (P0184R0) ;
- expressions de réductions (« fold expressions ») (N4295) ;
- la capture de *this dans les lambdas (P0018R3) ;
- les valeurs littérales hexadécimales pour les nombres à virgule flottante (P0245R1) ;
- résolution d'un manque de précision sur les conversions de qualificatifs pour les pointeurs pointant sur des tableaux de pointeurs (N4261) ;
- ajout des spécifications d'exceptions au système de typage (P0012R1) ;
- ajout de __has_include permettant de demande au préprocesseur si un fichier d'entête est disponible (P006R1) ;
- suppression de l'opérateur ++ pour les booléens (P0002R1) ;
- la suppression des trigraphs (N4086) ;
- la suppression du mot-clé register (P0001R1) ;
- la suppression de std::auto_ptr et std::random_shuffle (N4190) ;
- ....
Évidemment, le comité continue son travail sur les fonctionnalités qui n'ont pas pu être intégrées dans C++17. Ainsi, on peut espérer les voir dans C++20 :
- les concepts ;
- les ranges ;
- les modules ;
- le réseau ;
- les coroutines ;
- la réflexion ;
- les graphismes 2D (dans la lignée de cairo).
Du côté des compilateurs, le support complet de C++17 devrait bientôt arriver. Par exemple, GCC7 est en phase de stabilisation et devrait donc être bientôt disponible. De même pour clang 5.
Votre opinion
Avez-vous déjà commencé des développements avec C++17 ? Quelles nouvelles fonctionnalités utilisez-vous ?
Source
L'annonce de Herb Sutter
Les fonctionnalités de C++17