C++23
De cppreference.com
< cpp
La revisión actual del estándar C++.
| Esta sección está incompleta Razón: Verificar que todas las características significativas estén mencionadas (usando las tablas de apoyo del compilador a continuación). Agregar más enlaces y tal vez reagrupar algunas líneas. |
Nuevas características del lenguaje
- Nuevas macros de prueba de característica del lenguaje.
- parámetro de objeto explícito, funciones miembro de objeto explícitas, también conocido como "deduciendo
this" (P0847R7) - Operador de subíndice multidimensional (por ejemplo,
v[1, 3, 7] = 42;) (P2128R6). static operator[](P2589R1),static operator(), y lambdas estáticas (P1169R4).auto(x)yauto{x}: decay-copy en el lenguaje (P0849R8).- Suposiciones mediante el nuevo atributo
[[assume]](P1774R8). - Atributos en expresiones lambda (P2173R1).
- Tipos punto flotante extendidos opcionales:
std::float{16|32|64|128}_t, ystd::bfloat16_t(P1467R9). - Nuevas directivas del preprocesador:
#elifdef,#elifndef(P2334R1), y #warning (P2437R1). - Sufijo literal '
Z'/'z' para literales (signed)std::size_t(P0330R8), p.ej.auto ouz = 0uz;. - Recorte de espacios en blanco antes del recorte (splicing) de líneas (P2223R2).
- Movimiento implícito más simple (P2266R3).
- Extensión de la vida útil de temporales en el inicializador de bucles basados en rangos (P2718R0).
- CTAD a partir de constructores heredados (P2582R1).
- Etiquetas al final de declaraciones compuestas (P2324R2), p.ej.
void f(int& x){if (x)goto END;x = 42;END:}
- Declaraciones de alias (
using) en las declaraciones de inicialización (P2360R0), p.ej.
for (using T = int; T e : v)/* ... */
- Hacer
()más opcional para las expresiones lambda (P1102R2). - Conversiones contextuales de estrechamiento a
boolenstatic_assertyif constexpr(P1401R5). - Hacer obligatorio el orden de declaración (de los datos miembro de clase no estáticos) (P1847R4).
- Cambios en la codificación de texto:
- Juegos de caracteres y codificaciones (P2314R4).
- Codificación consistente de literales de caracteres (P2316R2).
- Secuencias de escape de caracteres universales denominadas, p.ej.
"\N{CAT FACE}"para"🐱"(P2071R2). - Secuencias de escape delimitadas, p.ej.
"\o{7777}","\x{C0DE}","\u{CAFE}"(P2290R3). - Apoyo para UTF-8 como codificación de archivo fuente portátil (P2295R6).
- if consteval / if not consteval (P1938R3).
- Cambios en
constexpr:- Variables no literales, etiquetas y
gotoen funcionesconstexpr(P2242R3). - Permitir variables
staticythread_localen expresiones constantes en funcionesconstexpr(P2647R1). - La función
constexprno necesita que su tipo de retorno y tipos de parámetros sean de tipo literal (P2448R2). - Función
constexprpara la cual ninguna invocación satisface los requisitos de una expresión constante central (P2448R2).
- Variables no literales, etiquetas y
Nuevas características de la biblioteca
Nuevos módulos
Nuevos encabezados
Encabezados de compatibilidad de C:
Características de la biblioteca
Servicios generales
std::expected: un nuevo tipo vocabulario para devolver el resultado de una función (<expected>) (P0323R12, P2549R1).std::move_only_function: un envoltorio invocable solo movible (P0288R9).std::bind_back: un envoltorio de llamada (P2387R3).std::byteswap: invierte los bytes (P1272R4).std::forward_like(P2445R1).std::invoke_r: invoca un objeto Callable (P2136R3).std::to_underlying: una función de servicio para obtener el valor subyacente deenum(P1682R3).std::unreachable: una función para marcar código inalcanzable (P0627R6).- Operaciones monádicas (
transform,or_else, yand_then) parastd::optional(P0798R8) ystd::expected(P2505R5). std::tuplees compatible con otros objetos similares a tuplas (P2165R4).- Agregar argumentos por defecto para el constructor de reenvío de
std::pair(P2718R0). - Especialización de
std::basic_common_referenceparastd::reference_wrapperque produce tipos referencia (P2655R3).
Biblioteca de Corrutinas
std::generator: generador de corrutinas síncrono para rangos (P2502R2, P2787R0).
Diagnóstico
- Biblioteca de seguimiento de pila (P0881R7)
Algoritmos, iteradores y rangos
- Nuevos adaptadores de rango:
views::adjacentyviews::adjacent_transform(P2321R2).views::as_const(P2278R4).views::as_rvalue(P2446R2).views::cartesian_product(P2374R4).views::chunk_by(P2443R1).views::chunk(P2442R1).views::enumerate(P2164R9).views::join_with(P2441R2).views::repeat(P2474R2).views::slide(P2442R1).views::stride(P1899R3).views::zip,views::zip_transform(P2321R2).
ranges::range_adaptor_closure: un auxiliar para cierres de adaptadores de rango definidos por el programa (P2387R3).ranges::to: una función de conversión de rango (P1206R7).- Nuevos algoritmos restringidos de rangos :
ranges::starts_withyranges::ends_with(P1659R3).ranges::containsyranges::contains_subrange(P2302R4).ranges::find_last,ranges::find_last_if, yranges::find_last_if_not(P1223R5).ranges::iota,ranges::shift_left, yranges::shift_right: versiones de rangos de algoritmos no restringidos (P2440R1).ranges::fold_leftetc.: algoritmos de pliegue de rangos (P2322R6).
- Rectificación de iteradores constantes, centinelas y rangos, es decir,
ranges::cbeginy otros servicios similares que devuelven iteradores constantes deberían estar completamente garantizadas incluso para vistas superficiales-const(comostd::span) (P2278R4). - Hacer explícitos los constructores de múltiples parámetros de algunas vistas (P2711R1).
- Iteradores de rangos como entradas para algoritmos de no-rangos (P2408R5).
- Relajación de adaptadores de rango para permitir tipos solo-movibles (P2494R2).
Contenedores
std::mdspan: una referencia de array multidimensional no dueña (P0009R18, P2599R2, P2604R0, P2613R1, P2763R1).- Constructibilidad y asignabilidad de contenedores a partir de otros rangos compatibles (P1206R7).
std::flat_set,std::flat_multiset(P1222R4),std::flat_map,std::flat_multimap(P0429R9): conjuntos y mapas planos - adaptadores de contenedor que envuelven contenedores subyacentes, ordenados, de acceso aleatorio.- Permitir la construcción de pares de iteradores en
std::stackystd::queue(P1425R4). - Sobrecargas de borrado heterogéneo para contenedores asociativos (P2077R2).
- Contexto de no deducción para asignadores en guías de deducción de contenedores (P1518R2).
- Requerir que
std::spanystd::basic_string_viewsean trivialmente copiables (P2251R1).
Apoyo en tiempo de compilación
constexprapoyo para:- Servicios de metaprogramación:
Gestión de memoria
std::out_ptrystd::inout_ptr: adaptadores de punteros inteligentes para interoperabilidad con C (P1132R7).std::allocate_at_leastystd::allocator::allocate_at_least(P0401R6).std::start_lifetime_as: una función de gestión explícita de tiempo de vida para tipos de tiempo de vida implícito (P2590R2).- Prohibición de la especialización de usuario de
std::allocator_traits(P2652R2).
Procesamiento de cadenas y texto
- Nuevas funciones miembro y cambios en los tipos de cadenas:
std::basic_string::containsystd::basic_string_view::contains(P1679R3).- Deshabilitar la construcción desde
nullptrparastd::basic_stringystd::basic_string_view(P2166R1). - Constructor de rango explícito para
std::basic_string_view(P1989R2). std::basic_string::resize_and_overwrite(P1072R10).- Sobrecarga de referencia r-valor de
std::basic_string::substrpara un corte (splicing) eficiente (P2438R2).
- Formateo de rangos, tuplas, presentación de secuencias de escape de caracteres y cadenas,
std::thread::id, y seguimiento de pila. (P2286R8) (P2585R1) (P2693R1).
E/S e impresión
- Funciones de salida formateada
std::printystd::printlnproporcionadas en el encabezado <print> (P2093R14). - Biblioteca
spanstream(flujo de cadena basado enstd::span) proporcionada en el encabezado <spanstream> (P0448R4). - Apoyo del modo exclusivo en
std::fstreams(P2467R1). - Apoyo para imprimir
volatile T*:std::basic_ostream::operator<<(const volatile void*)(P1147R1).
Características obsoletas
Características eliminadas
- Apoyo de recolección de basura y detección de fugas basada en alcanzabilidad. (P2186R2).
- Apoyo de literales de cadena ancha mixtos concatenación, por ejemplo,
const auto* no = u"q" U"p"es incorrecto. (P2201R1). - Literales de caracteres anchos no codificables y literales de caracteres anchos múltiples, por ejemplo,
wchar_t x = 'db'es incorrecto. (P2362R3).
Características obsoletas
Deprecaciones revertidas
- El
operator,(operador coma) en expresiones de subíndice (pero la semántica ha cambiado para admitir subíndices multidimensionales sobrecargablesoperator[]). - Algunos encabezados de C (los encabezados correspondientes
<*.h>para compatibilidad con C) (P2340R1).
Informes de defectos
Apoyo del compilador
Artículo principal: Apoyo de C++23 en compiladores.
Características principales del lenguaje C++23
| Característica de C++23 |
Ponencia(s) |
GCC |
Clang |
MSVC |
Apple Clang |
EDG eccp |
Intel C++ |
IBM XLC++ |
Sun/Oracle C++ |
Embarcadero C++ Builder |
Cray |
Portland Group (PGI) |
Nvidia nvcc |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Sufijo de literal para size_t (con signo) | P0330R8 | 11 | 13 | |||||||||||
Hacer () más opcional para lambdas
|
P1102R2 | 11 | 13 | 6.3 | ||||||||||
| if consteval | P1938R3 | 12 | 14 | 6.3 | ||||||||||
| Eliminar apoyo para recolección de basura | P2186R2 | 12 | ||||||||||||
| ID: Sintaxis de identificador de C++ usando el estándar Unicode anexo 31 | P1949R7 | 12 | 14 | |||||||||||
| ID: Admitir atributos duplicados | P2156R1 | 11 | 13 | |||||||||||
| Conversiones contextuales estrechantes en static_assert y constexpr if | P1401R5 | 9 | 13 (parcial)* 14 |
|||||||||||
| Recorte de espacios en blanco antes del empalme de línea | P2223R2 | Sí | Sí | Sí | ||||||||||
| Hacer obligatorio la distribución del orden de declaración | P1847R4 | Sí | Sí | Sí | Sí | |||||||||
| Eliminar el modo mezclado de la concatenación de literales de cadena | P2201R1 | Sí | Sí | Sí | Sí | Sí | Sí | |||||||
| Deducir | P0847R7 | 6.3 | ||||||||||||
auto(x) y auto{x}
|
P0849R8 | 12 | ||||||||||||
| Cambiar ámbito del tipo de retorno al final de las lambdas | P2036R3 | |||||||||||||
#elifdef y #elifndef
|
P2334R1 | 12 | 13 | |||||||||||
| Variables no literal (y etiquetas y gotos) en las funciones constexpr | P2242R3 | 12 | 6.3 | |||||||||||
| Codificación consistente de literales de carácter | P2316R2 | Sí | Sí | Sí | ||||||||||
| Juegos de caracteres y codificaciones | P2314R4 | Sí | ||||||||||||
| Extender la instrucción de inicialización para admitir la declaración de alias | P2360R0 | 12 | 14 | |||||||||||
| Operador de índice/subíndice multidimensional | P2128R6 | 12 | ||||||||||||
| Característica de C++23 |
Ponencia(s) |
GCC |
Clang |
MSVC |
Apple Clang |
EDG eccp |
Intel C++ |
IBM XLC++ |
Sun/Oracle C++ |
Embarcadero C++ Builder |
Cray |
Portland Group (PGI) |
Nvidia nvcc |
Características de la biblioteca de C++23
| Característica de C++23 |
Ponencia(s) |
GCC libstdc++ |
Clang libc++ |
MSVC Biblioteca Estándar |
Apple Clang |
Sun/Oracle C++ Biblioteca Estándar |
Embarcadero C++ Builder Biblioteca Estándar |
Cray C++ Biblioteca Estándar |
|
|---|---|---|---|---|---|---|---|---|---|
| Biblioteca de listado de pila | P0881R7 P2301R1 | ||||||||
| <stdatomic.h> | P0943R6 | 19.31* | |||||||
| std::is_scoped_enum | P1048R1 | 11 | 12 | 19.30* | |||||
| basic_string::contains(), basic_string_view::contains() | P1679R3 | 11 | 12 | 19.30* | |||||
| std::to_underlying | P1682R3 | 11 | 13 | 19.30* | |||||
| Relajar los requerimientos para std::chrono::time_point | P2212R2 | N/A | N/A | ||||||
| ID: std::visit() para clases derivadas de std::variant | P2162R2 | 12 | 13 | 19.20** 19.30* |
|||||
| ID: Rangos prestados condicionalmente | P2017R1 | 11 | 19.30* | ||||||
| ID: Reparación de los adaptadores de rangos de entrada y std::counted_iterator | P2259R1 | 12 | 19.30*(parcial)* 19.31* |
||||||
| Proporcionar retralimentación del tamaño en la interfaz de Allocator | P0401R6 | 19.30* | |||||||
| <spanstream> : string-stream con un búfer basado en std::span | P0448R4 | 12 | 19.31* | ||||||
| std::out_ptr(), std::inout_ptr() | P1132R8 | 19.30* | |||||||
| constexpr type_info::operator==() | P1328R1 | 12 | |||||||
| Constructores con un par de iteradores para std::stack y std::queue | P1425R4 | 12 | 14 | 19.31* | |||||
| Contextos de no-deducción para asignadores de memoria en las guías de deducción de los contenedores | P1518R2 | 13 | 19.31* | ||||||
| ranges::starts_with() y ranges::ends_with() | P1659R3 | 12 | |||||||
| Prohibición de la construcción de std::basic_string y std::basic_string_view a partir de nullptr | P2166R1 | 12 | 13 | 19.30* | |||||
| std::invoke_r() | P2136R3 | 12 | 19.31* | ||||||
| Constructor de rango para std::basic_string_view | P1989R2 | 11 | 14 | 19.30* | |||||
| Argumentos de plantilla por defecto para el constructor de reenvío de pair | P1951R1 | 12 | 14 | 19.30* | |||||
| Eliminar recolección de basura y detección de fugas basada en alcance (apoyo de la biblioteca) | P2186R2 | 12 | 14 | 19.30* | |||||
| ID: join_view debería unir todas las vistas de los rangos | P2328R1 | 11.2 | 19.30* | ||||||
ID: view no requiere default_initializable
|
P2325R3 | 12 | 19.30* | ||||||
| ID: Los objetos de adaptador de rango vinculan los argumentos por valor | P2281R1 | 11 | 19.29 (16.10)* (parcial)* 19.31* |
||||||
| ID: constexpr para std::optional y std::variant | P2231R1 | 12 | 13 (parcial)* | 19.31* | |||||
| ID: Mejoras a std::format() | P2216R3 | 14 (parcial)* | 19.32* | ||||||
| ID: lazy_split_view y rediseño de split_view | P2210R2 | 12 | 19.31* | ||||||
| zip | P2321R2 | ||||||||
| Sobrecargas de borrado heterogéneo para contenedores asociativos | P2077R3 | 19.32* | |||||||
| std::byteswap() | P1272R4 | 12 | 14 | 19.31* | |||||
Imprimir volatile T*
|
P1147R1 | 12 | 14 | 19.31* | |||||
| basic_string::resize_and_overwrite() | P1072R10 | 12 | 14 | 19.31* | |||||
| Operaciones monádicas para std::optional | P0798R8 | 12 | 14 | 19.32* | |||||
| std::move_only_function | P0288R9 | 12 | 19.32* | ||||||
Añadir una especificación noexcept condicional a std::exchange
|
P2401R0 | 12 | 14 | 19.25* | |||||
| Requerir que span y basic_string_view sean TriviallyCopyable | P2251R1 | Sí | Sí | Sí | Sí | ||||
| Clarificar el estado de los “encabezados de C” | P2340R1 | Sí | |||||||
| ID: Corregir ranges::istream_view | P2432R1 | 12 | 19.31* | ||||||
ID: Añadir apoyo para los tipos formateables no const a std::format
|
P2418R2 | ||||||||
ID: Qué es una vista (view)
|
P2415R2 | 14 | 19.31* | ||||||
| ID: Corregir el manejo de la configuración regional en los formateadores de chrono | P2372R3 | 19.31* | |||||||
| ID: Limpieza de los tipos enteros | P2393R1 | ||||||||
| Característica de C++23 |
Ponencia(s) |
GCC libstdc++ |
Clang libc++ |
MSVC Biblioteca Estándar |
Apple Clang |
Sun/Oracle C++ Biblioteca Estándar |
Embarcadero C++ Builder Biblioteca Estándar |
Cray C++ Biblioteca Estándar |
* - planea sobre el número de versión para ver las notas
Enlaces externos
| C++23 - Wikipedia |