C++17

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

As of 2018, C++17 is the name for the most recent revision of the ISO/IEC 14882 standard for the C++ programming language.

History[edit]

Before the C++ Standards Committee fixed a 3-year release cycle, C++17's release date was uncertain. In that time period, the C++17 revision was also called C++1z, following C++0x or C++1x for C++11 and C++1y for C++14. The C++17 specification reached the Draft International Standard (DIS) stage in March 2017.[1][2] This DIS was unanimously approved, with only editorial comments,[3] and the final standard was published in December 2017.[4] Few changes were made to the C++ Standard Template Library, although some algorithms in the <algorithm> header were given support for explicit parallelization and some syntactic enhancements were made.

Next standard[edit]

Removed features[edit]

This revision of C++ not only added new features but also removed a few.

New features[edit]

C++17 introduces many new features. The following lists may not be complete.

Language[edit]

  • Making the text message for static_assert optional[12]
  • Allow typename (as an alternative to class) in a template template parameter[13]
  • New rules for [[Type inference|auto]] deduction from braced-init-list[14][10]
  • Nested namespace definitions, e.g., namespace X::Y { } instead of namespace X { namespace Y { }}[10][15]
  • Allowing attributes for namespaces and enumerators[16][17]
  • New standard attributes [[fallthrough]], [[maybe_unused]] and [[nodiscard]][18]
  • UTF-8 (u8) character literals[16][19] (UTF-8 string literals have existed since C++11; C++17 adds the corresponding character literals for consistency, though as they are restricted to a single byte they can only store ASCII)
  • Hexadecimal floating-point literals[20][21]
  • Constant evaluation for all non-type template arguments[16][22]
  • Fold expressions, for variadic templates[16][23]
  • A compile-time static if with the form if constexpr(expression)[24]
  • Structured binding declarations, allowing auto [a, b] = getTwoReturnValues();[25]
  • Initializers in if and switch statements[26]
  • copy-initialization and direct-initialization of objects of type T from prvalue expressions of type T (ignoring top-level cv-qualifiers) shall result in no copy or move constructors from the prvalue expression. See copy elision for more information.
  • Some extensions on over-aligned memory allocation[27]
  • Class template argument deduction (abrv. CTAD), introducing constructor deduction guides, eg. allowing std::pair(5.0, false) instead of explicitly specifying constructor arguments types std::pair<double, bool>(5.0, false) or without an additional helper template function std::make_pair(5.0, false).[28][29]
  • Inline variables, which allows the definition of variables in header files without violating the one definition rule. The rules are effectively the same as inline functions
  • __has_include, allowing the availability of a header to be checked by preprocessor directives[30]
  • The keyword register is now reserved and unused (formerly deprecated)[31]
  • Value of __cplusplus changed to 201703L[32]
  • Exception specifications were made part of the function type[33]

Library[edit]

Compiler support[edit]

  • GCC 8 has complete (but experimental)[clarification needed] support for C++17.[48][49]
  • Clang 5 and later implement all the features of C++17.[50]
  • Visual Studio 2017 15.7 (MSVC 19.14) supports almost all of C++17.[51][52]

See also[edit]

References[edit]

  1. ^ "N4661 Editors' Report -- Programming Languages -- C++". 21 March 2017. Retrieved 2017-03-21.
  2. ^ "ISO/IEC DIS 14882: Programming Languages — C++" (PDF). Archived from the original (PDF) on 2017-03-25.
  3. ^ Herb Sutter. "C++17 is formally approved".
  4. ^ "ISO/IEC 14882:2017".
  5. ^ https://herbsutter.com/2016/06/30/trip-report-summer-iso-c-standards-meeting-oulu/ "the next standard after C++17 will be C++20"
  6. ^ "Current Status : Standard C++".
  7. ^ "Trip Report: C++ Standards Meeting in Toronto, July 2017". 2 August 2017. Retrieved 11 January 2018.
  8. ^ "N3981: Removing trigraphs??! (Richard Smith)". 2014-05-06.
  9. ^ IBM comment on preparing for a Trigraph-adverse future in C++17, IBM paper N4210, 2014-10-10. Authors: Michael Wong, Hubert Tong, Rajan Bhakta, Derek Inglis
  10. ^ a b c "Updates to my trip report".
  11. ^ "N4190: Removing auto_ptr, random_shuffle(), And Old <functional> Stuff (Stephan T. Lavavej)".
  12. ^ "N3928: Extending static_assert, v2 (Walter E. Brown)" (PDF).
  13. ^ "N4051: Allow typename in a template template parameter (Richard Smith)".
  14. ^ "N3922: New Rules for auto deduction from braced-init-list (James Dennett)".
  15. ^ "N4230: Nested namespace definition (Robert Kawulak, Andrew Tomazos)".
  16. ^ a b c d e "New core language papers adopted for C++17".
  17. ^ "N4266: Attributes for namespaces and enumerators (Richard Smith)".
  18. ^ "N4640: Working Draft, Standard for Programming Language C++" (PDF). pp. 193–195.
  19. ^ "N4267: Adding u8 character literals (Richard Smith)".
  20. ^ Thomas Köppe. "Hexadecimal floating literals for C++".
  21. ^ "N4659: Working Draft, Standard for Programming Language C++" (PDF). §5.13.4.
  22. ^ "N4268: Allow constant evaluation for all non-type template arguments (Richard Smith)".
  23. ^ "N4295: Folding expressions (Andrew Sutton, Richard Smith)".
  24. ^ "N4659: Working Draft, Standard for Programming Language C++" (PDF). §9.4.1.
  25. ^ "N4659: Working Draft, Standard for Programming Language C++" (PDF). §11.5.
  26. ^ "Selection statements with initializer".
  27. ^ "Dynamic memory allocation for over-aligned data".
  28. ^ "Class template argument deduction".
  29. ^ "CppCon 2018: Timur Doumler "Class template argument deduction in C++17"".
  30. ^ "N4640: Working Draft, Standard for Programming Language C++" (PDF). pp. 431–433.
  31. ^ "C++ Keywords: register".
  32. ^ "N4659: Working Draft, Standard for Programming Language C++" (PDF). §19.8.
  33. ^ "P0012R1: Make exception specifications be part of the type system, version 5".
  34. ^ "Adopt Library Fundamentals V1 TS Components for C++17 (R1)".
  35. ^ "Current Status".
  36. ^ "std::basic_string_view - cppreference.com". en.cppreference.com. Retrieved 2016-06-23.
  37. ^ "N4259: Wording for std::uncaught_exceptions (Herb Sutter)" (PDF).
  38. ^ "N4279: Improved insertion interface for unique-key maps (Thomas Köppe)".
  39. ^ a b c "New standard library papers adopted for C++17".
  40. ^ "N4280: Non-member size() and more (Riccardo Marcangelo)" (PDF).
  41. ^ "N4284: Contiguous Iterators (Jens Maurer)".
  42. ^ "Filesystem Library Proposal (Beman Dawes)".
  43. ^ "The Parallelism TS Should be Standardized".
  44. ^ "Mathematical Special Functions for C++17, v5" (PDF).
  45. ^ "N4659: Working Draft, Standard for Programming Language C++" (PDF). §23.7.
  46. ^ "A byte type definition" (PDF).
  47. ^ "N4659: Working Draft, Standard for Programming Language C++" (PDF). §23.15.8.
  48. ^ "C++ Standards Support in GCC - GNU Project - Free Software Foundation (FSF)". gcc.gnu.org.
  49. ^ "Chapter 1. Status". gcc.gnu.org.
  50. ^ "Clang - C++17, C++14, C++11 and C++98 Status". clang.llvm.org.
  51. ^ corob-msft. "Visual C++ Language Conformance". docs.microsoft.com.
  52. ^ "Announcing: MSVC Conforms to the C++ Standard".