Английская Википедия:C23 (C standard revision)

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

C23 is the informal name for what will likely become ISO/IEC 9899:2024, the next standard for the C programming language, which will replace C17 (standard ISO/IEC 9899:2018). It was started in 2016 informally as C2x, and expected to be published in 2024. The most recent publicly available working draft of C23 was released on April 1, 2023. The first WG14 meeting for the C2x draft was held in October 2019, virtual remote meetings were held in 2020 due to the COVID-19 pandemic, then various teleconference meetings continued to occur through 2024.

Features

Changes integrated into the latest working draft of C23 are listed below.

Standard Library

New functions

• Add memset_explicit() function in <string.h> to erase sensitive data, where memory store must always be performed regardless of optimizations.
• Add memccpy() function in <string.h> to efficiently concatenate strings – similar to POSIX and SVID C extensions.
• Add strdup() and strndup() functions in <string.h> to allocate a copy of a string – similar to POSIX and SVID C extensions.
• Add memalignment() function in <stdlib.h> to determine the byte alignment of a pointer.
• Add bit utility functions / macros / types in new header <stdbit.h> to examine many integer types. All start with stdc_ to minimize conflict with legacy code and 3rd party libraries.
  • In the following, replace * with uc, us, ui, ul, ull for five function names, or blank for a type-generic macro.
  • Add stdc_count_ones*() and stdc_count_zeros*() to count number of 1 or 0 bits in value.
  • Add stdc_leading_ones*() and stdc_leading_zeros*() to count leading 1 or 0 bits in value.
  • Add stdc_trailing_ones*() and stdc_trailing_zeros*() to count trailing 1 or 0 bits in value.
  • Add stdc_first_leading_one*() and stdc_first_leading_zero*() to find first leading bit with 1 or 0 in value.
  • Add stdc_first_trailing_one*() and stdc_first_trailing_zero*() to find first trailing bit with 1 or 0 in value.
  • Add stdc_has_single_bit*() to determine if value is an exact power of 2 (return true if and only if there is a single 1 bit).
  • Add stdc_bit_floor*() to determine the largest integral power of 2 that is not greater than value.
  • Add stdc_bit_ceil*() to determine the smallest integral power of 2 that is not less than value.
  • Add stdc_bit_width*() to determine number of bits to represent a value.
• Add timegm() function in <time.h> to convert time structure into calendar time value - similar to function in glibc and musl libraries.

Existing functions

• Add %b binary conversion specifier to printf() function family, prepending non-zero values with 0b, similar to how %x works. Implementations that previously did not use %B as their own extension are encouraged to implement and prepend non-zero values with 0B, similar to how %X works.
• Add %b binary conversion specifier to scanf() function family.
• Add 0b and 0B binary conversion support to strtol() and wcstol() function families.
• Make the functions bsearch(), bsearch_s(), memchr(), strchr(), strpbrk(), strrchr(), strstr(), and their wide counterparts wmemchr(), wcschr(), wcspbrk(), wcsrchr(), wcsstr() return a const qualified object if one was passed to them.

Preprocessor

• Add Шаблон:C-lang and Шаблон:C-lang directives, which are essentially equivalent to Шаблон:C-lang and Шаблон:C-lang. Both directives were added to C++23 standard and GCC 12.
• Add Шаблон:C-lang directive for binary resource inclusion and Шаблон:C-lang allowing the availability of a resource to be checked by preprocessor directives.
• Add Шаблон:C-lang directive for diagnostics.
• Add Шаблон:C-lang allowing the availability of a header to be checked by preprocessor directives.
• Add Шаблон:C-lang allowing the availability of an attribute to be checked by preprocessor directives. (see "C++ compatibility" group for new attribute feature)
• Add Шаблон:C-lang functional macro for variadic macros which expands to its argument only if a variadic argument has been passed to the containing macro.

Types

• Add [[nullptr_t|Шаблон:Code]], a null pointer type.
• Add Шаблон:C-lang and Шаблон:C-lang types for bit-precise integers. Add Шаблон:C-lang macro for maximum bit width.
• Add ckd_add(), ckd_sub(), ckd_mul() macros for checked integer operations.
• Variably-modified types (but not VLAs which are automatic variables allocated on the stack) become a mandatory feature.
• Better support for using const with arrays.
• Standardization of the typeof(...) operator.
• The meaning of the Шаблон:C-lang keyword was changed to cause type inference while also retaining its old meaning of a storage class specifier if used alongside a type. Unlike C++, C23 allows type inference only for object definitions (no inferring function return type or function parameter type).
• Compatibility rules for structure, union, and enumerated types were changed to allow a redeclaration of a compatible type with the same tag.

Constants

• Add [[nullptr|Шаблон:Code]] constant for nullptr_t type.
• Add wb and uwb integer literal suffixes for Шаблон:C-lang and Шаблон:C-lang types, such as Шаблон:C-lang yields an unsigned _BitInt(3), and Шаблон:C-lang yields a signed _BitInt(4) which has three value bits and one sign bit.
• Add 0b and 0B binary literal constant prefixes, such as Шаблон:C-lang (equating to 0xAA).
• Add ' digit separator to literal constants, such as Шаблон:C-lang (equating to 0xFEDCBA98), Шаблон:C-lang (equating to 299792458), Шаблон:C-lang (equating to 1.414213562).
• Add the ability to specify the underlying type of an enum.
• Allow Шаблон:C-langs with no fixed underlying type to store values that are not representable by Шаблон:C-lang.

Keywords

• Add Шаблон:C-lang and Шаблон:C-lang keywords.
• Add Шаблон:C-lang, Шаблон:C-lang, Шаблон:C-lang, Шаблон:C-lang, [[thread-local storage|Шаблон:Code]] keywords. Previously defined keywords become alternative spellings: Шаблон:C-lang, Шаблон:C-lang, Шаблон:C-lang, Шаблон:C-lang, Шаблон:C-lang.
• Add Шаблон:C-lang keyword (see "types" group)
• Add Шаблон:C-lang and Шаблон:C-lang keywords (see "types" group)
• Add Шаблон:C-lang keyword (see "constants" group)
• Add Шаблон:C-lang keyword (see "other" group)
• Add Шаблон:C-lang, Шаблон:C-lang, Шаблон:C-lang keywords for (optional) decimal floating-point arithmetic (see "other" group)

Syntax

• Labels can appear before declarations and at the end of compound statements.
• Unnamed parameters in function definitions.
• Zero initialization with {} (including initialization of VLAs).
• Variadic functions no longer need a named argument before the ellipsis and the Шаблон:C-lang macro no longer needs a second argument nor does it evaluate any argument after the first one if present.
• Add C++11 style attribute syntax using double square brackets Шаблон:C-lang.
• Add single-argument _Static_assert for compatibility with C++17.
• Functions with no arguments listed in the prototype void foo() are understood as taking no arguments (see removal of K&R function declarations)

C++ compatibility

• Various syntax changes improve compatibility with C++, such as labels before declarations, unnamed function arguments, zero initialization with {}, variadic functions without named argument, C++11 style attributes, _Static_assert (see Syntax). For labels at the end of compound statements a corresponding change was made to C++23.
• Add C++-style attributes (see Syntax). Add attributes Шаблон:C-lang, Шаблон:C-lang, Шаблон:C-lang, Шаблон:C-lang, and Шаблон:C-lang attribute for compatibility with C++11, then deprecate Шаблон:C-lang, Шаблон:C-lang, header <stdnoreturn.h> features introduced in C11. Duplicate attributes are allowed for compatibility with C++23. All standard attributes can also be surrounded by double underscores (e.g Шаблон:C-lang is equivalent to Шаблон:C-lang).
• Add u8 prefix for character literals to represent UTF-8 encoding for compatibility with C++17.
• Add Шаблон:C-lang and Шаблон:C-lang preprocessing directives for compatibility with C++23. (see "preprocessor" group)

Other features

• Support for the ISO/IEC 60559:2020, the current version of the IEEE 754 standard for floating-point arithmetic, with extended binary floating-point arithmetic and (optional) decimal floating-point arithmetic.

• The constexpr specifier for objects but not functions, unlike C++'s equivalent.
• Add Шаблон:C-lang type for storing UTF-8 encoded data and change the type of u8 character constants and string literals to Шаблон:C-lang. Also, the functions mbrtoc8() and c8rtomb() to convert a narrow multibyte character to UTF-8 encoding and a single code point from UTF-8 to a narrow multibyte character representation respectively.
• Clarify that all Шаблон:C-lang strings and literals shall be UTF-16 encoded, and all Шаблон:C-lang strings and literals shall be UTF-32 encoded, unless otherwise explicitly specified.
• Allow storage class specifiers to appear in compound literal definition.

Obsolete features

Some old obsolete features are either removed or deprecated from the working draft of C23:

• Remove Trigraphs.
• Remove K&R function definitions/declarations (with no information about the function arguments).
• Remove representations for signed integers other than two's complement. Two's complement signed integer representation will be required.
• The Шаблон:C-lang macros in <float.h> are obsolescent features.

Compiler support

The GCC 9, Clang 9.0, and Pelles C 11.00 compilers implement an experimental compiler flag to support this standard.

See also

• C++23, C++20, C++17, C++14, C++11, C++03, C++98, versions of the C++ programming language standard
• Compatibility of C and C++

External links

• C Language Working Group WG14 Documents
  • N3096 - working draft of C23 standard - dated April 1, 2023