O presidente da C++ Alliance anunciou que está trabalhando em uma especificação que adiciona ao C++ extensões para o gerenciamento seguro de memória, semelhantes às capacidades implementadas na linguagem Rust. Para conduzir o projeto, Sean Baxter, autor do compilador experimental C++ Circle, foi recrutado. O Circle desenvolve ideias para aumentar a segurança do código C++, implementadas no lado do compilador sem o uso de coleta de lixo. No âmbito do projeto, Sean divulgou um documento analisando a aplicabilidade de diversas medidas de proteção propostas na linguagem Rust, avaliando a possibilidade de sua implementação no C++ e sugerindo a adição de extensões que aumentem a segurança do código C++.
Observa-se que a iniciativa foi lançada em resposta à crescente demanda entre desenvolvedores por métodos de programação seguros, visando integrar novas funcionalidades ao C++ que permitam se proteger contra erros comuns relacionados à memória, como acessar memória já liberada e ultrapassar os limites de buffers alocados. As adições estão sendo desenvolvidas como opções que permitirão a transição gradual de projetos para métodos seguros, mantendo a compatibilidade com o código "não seguro" já existente.
A segurança no gerenciamento de memória será garantida por meio de mecanismos implementados na fase de compilação, sem incorrer em custos adicionais, típicos de linguagens que utilizam coletores de lixo. Entre os métodos principais propostos para garantir a segurança, mencionam-se o rastreamento da posse de objetos, a verificação de empréstimos de variáveis (borrow checker), a utilização de um contexto seguro (safe) e a criação de interfaces std2::send e std2::sync. O trabalho também abrange a criação de uma versão protegida da biblioteca padrão, oferecendo implementações de algoritmos e estruturas de dados que permitem gerenciar memória de forma segura.
Fonte: opennet.ru
