C++20

El lenguaje de programación C++ está estandarizado por ISO/IEC, quienes publican una revisión cada 3 años desde 2011. C++20 es el nombre de la revisión del año 2020, que sigue a C++17. La próxima revisión será C++23.

El estándar quedó técnicamente concluido por WG21 en la reunión en Praga en febrero de 2020 y pasó la aprobación final el 4 de septiembre de 2020. En octubre de 2020 se encontraba en la etapa de trabajo editorial final.

C++20 añade más características importantes que C++14 o C++17. Abajo se listan algunas de estas características.

Características nuevas

C++20 introdujo muchas características nuevas, siendo la versión que más cambios introdujo en el lenguaje. Las siguientes listas sólo mencionan algunas de estas características. El artículo Descripción de las nuevas características de C++20 profundiza en su descripción.

Principales novedades

De la multitud de cambios introducidos, cuatro características largamente esperadas y potencialmente transformadoras, conocidas como the big four, se destacan sobre el resto:

  • conceptos
    • especificaciones de tipos y clases aceptados en plantillas
  • módulos
    • alternativa moderna al #include
  • corrutinas
    • generalización de la idea de función, que se puede pausar e implementar generadores
  • rangos
    • unificación de los contenedores STL con funciones generales de acceso, filtrado y manipulación de datos

Estas características nuevas se repiten en las siguientes listas más completas.

Lenguaje

Novedades en el lenguaje:

  • conceptos
  • módulos
  • inicializadores designados (basado en la característica de C99, que además es una extensión común de G++)
  • [=, this] como captura lambda
  • plantillas (templates) en lambdas
  • comparación de tres sentidos con operator <=>
  • una nueva inicialización de variables dentro de un range-based for
  • lambdas en contextos no evaluados
  • lambdas sin estado asignables con constructores por defecto
  • admite expansiones de paquete en una captura lambda init-capture
  • strings literales como parámetros de plantilla
  • se retira la necesidad de typename en ciertas circunstancias
  • nuevos atributos estándares [[no_unique_address]] , [[likely]] y [[unlikely]]
  • constexpr expandido a varios casos
  • funciones inmediatas utilizan la nueva palabra clave consteval
  • enteros con signo ahora defidos en complemento a dos (el desbordamiento sigue siendo comportamiento indefinido)
  • modelo de memoria revisado
  • mejoras en structured bindings (interacción con capturas de lambda, duración de almacenamiento estático y local de hilo)
  • corrutinas
  • using en enums
  • nueva palabra claveconstinit

Bibliotecas

Novedades en la biblioteca estándar:

  • rangos
  • std::make_shared y std::allocate_shared para arrays
  • smart pointers atómicos (como std::atomic<shared_ptr<T>> and std::atomic<weak_ptr<T>>)
  • std::to_address para convertir un puntero a un puntero crudo
  • agregados de calendario y zonas horarias en <chrono>
  • std::span proporciona una vista de un array contiguo (similar a std::string_view pero mutable)
  • <version>
  • std::bit_cast<> para el casting de objetos, menos verborrágico que memcpy()
  • macros para evaluar características
  • varios constexpr
  • inicialización por defecto para la creación de smart pointers
  • nuevo método std::map::contains
  • operaciones de bit, como cuenta de ceros o unos iniciales o finales, operaciones log2, std::popcount

Obsolescencia

  • uso de comas en subíndices, como en array[x,y]
  • volatile se volvió obsoleto en la mayoría de sus formas

Nuevas palabras clave

Algunas palabras clave nuevas en C++20:

  • asociadas a const
    • constinit
    • consteval
  • asociadas a corrutinas
    • co_await
    • co_return
    • co_yield
  • asociadas a módulos
    • import
    • module
    • requires
    • export
  • atributos
    • [[likely]]
    • [[unlikely]]
    • [[no_unique_address]]

Características publicadas como Especificaciones Técnicas

Aquellas partes mayores que implican un gran trabajo de especificación se llevan a cabo de forma desacoplada de las versiones de C++ , y manejan su propio calendario. Estos trabajos se conocen como "Especificaciones Técnicas" abreviados TS (Technical Specification).

Se espera que formen parte de C++23.

Características reprogramadas para futuros estándares

Una de las etapas en la preparación de cada versión consiste en determinar qué características solicitadas se incluyen en la versión actual, y cuáles se postergan.

La postergación de una característica no asegura su inclusión en la versión siguiente ni garantiza que alguna vez sea lanzada.

Una característica postergada sigue recibiendo atención, y su inclusión en una versión depende, entre otras cosas, del estado de avance de su especificación.

Entre las características reprogramadas es común encontrar aquellas que cuentan con su propia especificación técnica (lo que implica que siguen su propio calendario de especificación).

Algunas características reprogramadasː

Soporte por compiladores

En el pasado los compiladores comenzaban a soportar parcialmente una versión de C++ a partir del momento de su publicación. En la actualidad los desarrolladores de compiladores importantes se anticipan al estándar final implementando soporte experimental para varias características a partir de los borradores.

Véase también

Referencias

  1. ↑ «The Standard». isocpp.org. Consultado el 7 de septiembre de 2020.
  2. ↑ Sutter, Herb (1 de octubre de 2019). «P1000R3: C++ IS schedule». Consultado el 13 de febrero de 2020.
  3. ↑ Dusíková, Hana (6 de noviembre de 2019). «N4817: 2020 Prague Meeting Invitation and Information». Consultado el 13 de febrero de 2020.
  4. ↑ «Current Status : Standard C++». isocpp.org. Consultado el 25 de octubre de 2020.
  5. ↑ «Current Status». isocpp.org. Consultado el 7 de septiembre de 2020.
  6. ↑ «C++20 Approved -- Herb Sutter». isocpp.org. Consultado el 8 de septiembre de 2020.
  7. ↑ «Why does the C++ standard ship every three years?».
  8. ↑ «P0592R0: To boldly suggest an overall plan for C++20».
  9. ↑ «The big four (en inglés)».
  10. 1 2 «P0606R0: Concepts Are Ready».
  11. 1 2 «P1141R1 - Yet another approach for constrained declarations».
  12. 1 2 3 «N4720: Working Draft, Extensions to C++ for Modules».
  13. 1 2 «N4649: Working Draft, Technical Specification on C++ Extensions for Coroutines».
  14. 1 2 Tim Shen. «Designated Initialization Wording».
  15. ↑ Thomas Köppe. «Allow lambda capture [=, this]».
  16. ↑ «Familiar template syntax for generic lambdas».
  17. ↑ «Range-based for statements with initializer».
  18. ↑ «Trip Report: C++ Standards Meeting in Albuquerque, November 2017» (en inglés estadounidense). 20 de noviembre de 2017. Consultado el 11 de diciembre de 2017.
  19. ↑ «Wording for lambdas in unevaluated contexts».
  20. ↑ «Default constructible and assignable stateless lambdas».
  21. ↑ «Pack expansion in lambda init-capture». www.open-std.org. Consultado el 11 de diciembre de 2017.
  22. ↑ «String literals as non-type template parameters».
  23. ↑ Nina Ranns. «Down with typename!».
  24. ↑ «Language support for empty objects».
  25. ↑ «Proposed wording for likely and unlikely attributes (Revision 5)».
  26. ↑ «Allowing Virtual Function Calls in Constant Expressions». www.open-std.org. Consultado el 11 de marzo de 2019.
  27. ↑ «P1330R0 - Changing the active member of a union inside constexpr».
  28. ↑ «P1002R0 - Try-catch blocks in constexpr functions».
  29. ↑ «P1327R0 - Allowing dynamic_cast, polymorphic typeid in Constant Expressions».
  30. ↑ «P1006R1 - Constexpr in std::pointer_traits».
  31. ↑ «P1073R2 - Immediate functions».
  32. ↑ «P1236R0: Alternative Wording for P0907R4 Signed Integers are Two's Complement».
  33. ↑ «P0668R4: Revising the C++ memory model».
  34. ↑ «P1091R1: Extending structured bindings to be more like variable declarations». www.open-std.org. Consultado el 24 de febrero de 2019.
  35. ↑ «P1091R2: Extending structured bindings to be more like variable declarations». www.open-std.org. Consultado el 24 de febrero de 2019.
  36. ↑ «P1099R5: Using Enum». www.open-std.org. 20 de julio de 2019. Consultado el 20 de julio de 2019.
  37. ↑ «P1143R2: Adding the constinit keyword». www.open-std.org. 20 de julio de 2019. Consultado el 20 de julio de 2019.
  38. ↑ «P0896R3».
  39. ↑ «Extending make_shared to Support Arrays».
  40. ↑ Meredith, Alisdair. «Revising atomic_shared_ptr for C++20». JTC1/SC22/WG21 - The C++ Standards Committee - ISOCPP. ISO. Consultado el 27 de diciembre de 2018.
  41. ↑ «Utility to convert a pointer to a raw pointer».
  42. ↑ Howard E. Hinnant. «Extending <chrono> to Calendars and Time Zones».
  43. ↑ Neil MacIntosh. «span: bounds-safe views for sequences of objects».
  44. ↑ Alan Talbot. «<version>».
  45. ↑ «Bit-casting object representations». www.open-std.org. Consultado el 10 de noviembre de 2018.
  46. ↑ «Integrating feature-test macros into the C++ WD». www.open-std.org. Consultado el 10 de noviembre de 2018.
  47. ↑ «P1032R1 - Misc constexpr bits».
  48. ↑ «Smart pointer creation with default initialization».
  49. ↑ «std::map::contains - cppreference.com». en.cppreference.com. Consultado el 12 de mayo de 2020.
  50. ↑ «P0553R4: Bit operations». www.open-std.org. 20 de julio de 2019. Consultado el 20 de julio de 2019.
  51. ↑ «P0556R3: Integral power-of-2 operations». www.open-std.org. 6 de junio de 2018. Consultado el 8 de agosto de 2020.
  52. ↑ «P1355R2 Exposing a narrow contract for ceil2». www.open-std.org. 11 de junio de 2019. Consultado el 8 de agosto de 2020.
  53. ↑ «On the names of low-level bit manipulation functions». www.open-std.org. 11 de febrero de 2020. Consultado el 8 de agosto de 2020.
  54. ↑ «P1161R2: Deprecate uses of the comma operator in subscripting expressions». www.open-std.org. Consultado el 20 de julio de 2019.
  55. ↑ «P1152R4: Deprecating volatile». www.open-std.org. 20 de julio de 2019. Consultado el 20 de julio de 2019.
  56. ↑ «attribute specifier sequence(since C++11) - cppreference.com». en.cppreference.com. Consultado el 4 de agosto de 2019.
  57. ↑ «C++ Extensions for Parallelism Version 2».
  58. ↑ «Task Blocks».
  59. ↑ «C++ Extensions for Networking».
  60. ↑ «C++ Extensions for Reflection».
  61. ↑ Sutter, Herb (20 de julio de 2019). «Trip report: Summer ISO C++ standards meeting (Cologne)». Sutter's Mill (en inglés). Consultado el 21 de julio de 2019.
  62. ↑ «Reflections on the reflection proposals - Meeting C++». meetingcpp.com (en inglés). Consultado el 30 de junio de 2017.
  63. ↑ «Static reflection». www.open-std.org. Consultado el 10 de noviembre de 2018.
  64. ↑ Herb Sutter. «Metaclasses».
  65. ↑ «A Unified Executors Proposal for C++». www.open-std.org. Consultado el 24 de febrero de 2019.
  66. ↑ «N4771: Working Draft, C++ Extensions for Networking».
  67. ↑ «ISO/IEC TS 19216:2018 Programming Languages -- C++ Extensions for Networking».
  68. ↑ «A General Property Customization Mechanism». www.open-std.org. Consultado el 24 de febrero de 2019.
  69. ↑ «A Unified Futures Proposal for C++».
  70. ↑ https://clang.llvm.org/cxx_status.html
  71. ↑ https://gcc.gnu.org/legacy-ml/gcc-patches/2017-07/msg01234.html
  72. ↑ https://gcc.gnu.org/projects/cxx-status.html

Enlaces externos