What are the Key New Features and Enhancements Introduced in C 17?
Dec 11, 2024 pm 05:17 PMWhat are the new features in C 17?
C 17 introduces a range of new features and improvements to the language, including:
-
Language Features:
- Template argument deduction for class templates
- template
to represent values of any non-type template argument type - Fixes to non-type template arguments
- Support for template templates
- Extended folding and ... expressions
- auto x{8} as an integer
- Modernizing using with ... and lists
- Constexpr lambdas
- Capturing this in lambdas
- Attributes such as [[fallthrough]], [[nodiscard]], [[maybe_unused]]
- Attributes on namespaces and enumerators
- Using in attributes to avoid repeating attribute namespaces
- Requiring compilers to ignore non-standard attributes they don't recognize
- Inline variables
- Namespace aliases (e.g., namespace A::B)
- Simple static_assert(expression); without a string
- Eliminating no throw and replacing it with throw() and noexcept(true)
-
Cleaner multi-return and flow control:
- Structured bindings to simplify multi-return values
- if (init; condition) and switch (init; condition) for extended if and switch statements
- Generalizing range-based for loops for sentinels and custom iterators
- if constexpr for almost-generic code
-
Misc:
- Hexadecimal float point literals
- Dynamic memory allocation for over-aligned data
- Guaranteed copy elision
- Fixed order-of-evaluation for expressions
- Direct list-initialization of enums
- Forward progress guarantees (FPGs)
- Character literals u8'U', u8'T', u8'F', u8'8'
- noexcept in the type system
- __has_include to test for header file inclusion errors
- Arrays of pointer conversion fixes
- Fixes to inherited constructors and aggregate initialization with inheritance
- Utility functions for std type punning
-
Library Additions:
-
Data types:
- std::variant for tagged union types
- std::optional for nullable values
- std::any for any type of value
- std::string_view as a reference to a character array or substring
- std::byte as neither an integer nor a character, but just data
-
Invoke stuff:
- std::invoke for generic function calling
- std::apply for unpacking tuples into function calls
- std::make_from_tuple and std::apply for object construction
- is_invocable, is_invocable_r, and invoke_result for function invocation functionality
- File System TS v1: Improved file system operations
- New algorithms: for_each_n, reduce, transform_reduce, exclusive_scan, inclusive_scan, transform_exclusive_scan, and transform_inclusive_scan
-
Threading: std::shared_mutex, atomic
::is_always_lockfree, and scoped_lock - Parallelism TS v1: Parallel versions of algorithms and related machinery
- Library Fundamentals TS v1: Searching algorithms, polymorphic allocator (pmr), sampling
- Container Improvements: try_emplace and insert_or_assign, splicing for maps and sets, non-const .data() for strings, non-member std::size, std::empty, std::data, minimal incomplete type support in containers, contiguous iterator "concept", constexpr iterators, updated constructors for emplace family of functions
- Smart pointer changes: Fixes to unique_ptr and tweaks to weak_from_this and shared from this
- Other std datatype improvements: Construction of std::tuple with curly braces, trivially copyable reference_wrapper
-
Misc:
- C 17 library is based on C11 instead of C99
- Reserved std[0-9] for future standard libraries
- Utility functions like destroy, uninitialized_move, uninitialized_value_construct, and uninitialized_default_construct
- Special math functions
- std::clamp()
- GCD and LCM calculations
- std::uncaught_exceptions for throwing within destructors
- std::as_const and std::bool_constant types
- std::void_t
and std::void_t types - std::owner_less
for smart pointers to sort based on contents - Improvements to std::chrono
- std::conjunction, std::disjunction, std::negation
- std::not_fn
- Rules for noexcept within std
- std::is_contiguous_layout
- High performance number conversion with std::to_chars and std::from_chars
-
-
Traits:
- swap, is_aggregate, has_unique_object_representations
The above is the detailed content of What are the Key New Features and Enhancements Introduced in C 17?. For more information, please follow other related articles on the PHP Chinese website!

Hot AI Tools

Undress AI Tool
Undress images for free

Undresser.AI Undress
AI-powered app for creating realistic nude photos

AI Clothes Remover
Online AI tool for removing clothes from photos.

Clothoff.io
AI clothes remover

Video Face Swap
Swap faces in any video effortlessly with our completely free AI face swap tool!

Hot Article

Hot Tools

Notepad++7.3.1
Easy-to-use and free code editor

SublimeText3 Chinese version
Chinese version, very easy to use

Zend Studio 13.0.1
Powerful PHP integrated development environment

Dreamweaver CS6
Visual web development tools

SublimeText3 Mac version
God-level code editing software (SublimeText3)

std::chrono is used in C to process time, including obtaining the current time, measuring execution time, operation time point and duration, and formatting analysis time. 1. Use std::chrono::system_clock::now() to obtain the current time, which can be converted into a readable string, but the system clock may not be monotonous; 2. Use std::chrono::steady_clock to measure the execution time to ensure monotony, and convert it into milliseconds, seconds and other units through duration_cast; 3. Time point (time_point) and duration (duration) can be interoperable, but attention should be paid to unit compatibility and clock epoch (epoch)

There are mainly the following methods to obtain stack traces in C: 1. Use backtrace and backtrace_symbols functions on Linux platform. By including obtaining the call stack and printing symbol information, the -rdynamic parameter needs to be added when compiling; 2. Use CaptureStackBackTrace function on Windows platform, and you need to link DbgHelp.lib and rely on PDB file to parse the function name; 3. Use third-party libraries such as GoogleBreakpad or Boost.Stacktrace to cross-platform and simplify stack capture operations; 4. In exception handling, combine the above methods to automatically output stack information in catch blocks

In C, the POD (PlainOldData) type refers to a type with a simple structure and compatible with C language data processing. It needs to meet two conditions: it has ordinary copy semantics, which can be copied by memcpy; it has a standard layout and the memory structure is predictable. Specific requirements include: all non-static members are public, no user-defined constructors or destructors, no virtual functions or base classes, and all non-static members themselves are PODs. For example structPoint{intx;inty;} is POD. Its uses include binary I/O, C interoperability, performance optimization, etc. You can check whether the type is POD through std::is_pod, but it is recommended to use std::is_trivia after C 11.

To call Python code in C, you must first initialize the interpreter, and then you can achieve interaction by executing strings, files, or calling specific functions. 1. Initialize the interpreter with Py_Initialize() and close it with Py_Finalize(); 2. Execute string code or PyRun_SimpleFile with PyRun_SimpleFile; 3. Import modules through PyImport_ImportModule, get the function through PyObject_GetAttrString, construct parameters of Py_BuildValue, call the function and process return

FunctionhidinginC occurswhenaderivedclassdefinesafunctionwiththesamenameasabaseclassfunction,makingthebaseversioninaccessiblethroughthederivedclass.Thishappenswhenthebasefunctionisn’tvirtualorsignaturesdon’tmatchforoverriding,andnousingdeclarationis

In C, there are three main ways to pass functions as parameters: using function pointers, std::function and Lambda expressions, and template generics. 1. Function pointers are the most basic method, suitable for simple scenarios or C interface compatible, but poor readability; 2. Std::function combined with Lambda expressions is a recommended method in modern C, supporting a variety of callable objects and being type-safe; 3. Template generic methods are the most flexible, suitable for library code or general logic, but may increase the compilation time and code volume. Lambdas that capture the context must be passed through std::function or template and cannot be converted directly into function pointers.

AnullpointerinC isaspecialvalueindicatingthatapointerdoesnotpointtoanyvalidmemorylocation,anditisusedtosafelymanageandcheckpointersbeforedereferencing.1.BeforeC 11,0orNULLwasused,butnownullptrispreferredforclarityandtypesafety.2.Usingnullpointershe

std::move does not actually move anything, it just converts the object to an rvalue reference, telling the compiler that the object can be used for a move operation. For example, when string assignment, if the class supports moving semantics, the target object can take over the source object resource without copying. Should be used in scenarios where resources need to be transferred and performance-sensitive, such as returning local objects, inserting containers, or exchanging ownership. However, it should not be abused, because it will degenerate into a copy without a moving structure, and the original object status is not specified after the movement. Appropriate use when passing or returning an object can avoid unnecessary copies, but if the function returns a local variable, RVO optimization may already occur, adding std::move may affect the optimization. Prone to errors include misuse on objects that still need to be used, unnecessary movements, and non-movable types
