El presidente de la organización C++ Alliance anunció que se está trabajando en una especificación que añade al lenguaje C++ extensiones para un manejo seguro de la memoria, similares a las capacidades implementadas en el lenguaje Rust. Para llevar a cabo el proyecto, se ha reclutado a Sean Baxter, autor del compilador experimental C++ Circle, quien desarrolla ideas para aumentar la seguridad del código C++, implementadas en el lado del compilador sin el uso de recolección de basura. En el marco del proyecto, Sean ha publicado un documento analizando la aplicabilidad de ciertas medidas de protección propuestas en el lenguaje Rust, evaluando la posibilidad de su implementación en C++ y sugiriendo la incorporación de extensiones en C++ que mejoren la seguridad del código.
Se señala que la iniciativa se lanzó en respuesta a la creciente demanda entre los desarrolladores por métodos de programación seguros, y está destinada a integrar en el lenguaje C++ nuevas capacidades que protejan contra errores comunes que ocurren al trabajar con la memoria, tales como el acceso a memoria ya liberada y el desbordamiento de búferes. Las adiciones se están desarrollando como opciones que permitirán migrar gradualmente los proyectos a métodos seguros, manteniendo al mismo tiempo la compatibilidad con el código 'no seguro' existente.
Se propone garantizar la seguridad del manejo de la memoria mediante mecanismos implementados en la etapa de compilación que no generan costos adicionales, característicos de los lenguajes que utilizan recolectores de basura. Como métodos principales propuestos para asegurar la seguridad, se mencionan el seguimiento de la propiedad de los objetos, la comprobación de préstamos de variables (borrow checker), el uso de un contexto seguro (safe) y la creación de interfaces std2::send y std2::sync. El trabajo también abarca la creación de una variante segura de la biblioteca estándar, que ofrece implementaciones de algoritmos y estructuras de datos, permitiendo trabajar con la memoria de manera segura.
Fuente: opennet.ru
