Die C++ Alliance fördert Mechanismen für die sichere Speicherverwendung in C++, die bereits in Rust erprobt wurden.

Der Präsident der C++ Alliance hat die Arbeit an einer Spezifikation angekündigt, die dem C++-Lang Erweiterungen hinzufügt, um die sichere Arbeit mit Speicher zu ermöglichen, ähnlich den Funktionen, die in der Programmiersprache Rust implementiert sind. Für das Projekt wurde Sean Baxter, der Autor des experimentellen C++-Compilers Circle ist, gewonnen. Dieser verfolgt Ideen zur Erhöhung der Sicherheit von C++-Code, die auf Compilerseite ohne die Verwendung von Garbage Collection umgesetzt werden. Im Rahmen des Projekts hat Sean ein Dokument veröffentlicht, in dem er die Anwendbarkeit der in Rust vorgeschlagenen Schutzmaßnahmen analysiert, die Möglichkeiten ihrer Umsetzung für C++ bewertet und Vorschläge zur Hinzufügung von Erweiterungen im C++-Lang einbringt, die die Sicherheit des Codes erhöhen.

Es wird darauf hingewiesen, dass die Initiative als Reaktion auf den wachsenden Bedarf der Entwicklergemeinschaft an sicheren Programmiermethoden ins Leben gerufen wurde. Sie zielt darauf ab, neue Möglichkeiten in die Programmiersprache C++ zu integrieren, die einen Schutz vor häufigen Fehlern bieten, die bei der Arbeit mit Speicher auftreten, wie z. B. der Zugriff auf bereits freigegebenen Speicher und Überläufe von zugewiesenen Puffer. Die Ergänzungen werden als Optionen entwickelt, die es ermöglichen, Projekte schrittweise auf sichere Methoden umzustellen, während die Kompatibilität mit bereits bestehendem "unsicherem" Code gewahrt bleibt.

Die Sicherheit bei der Arbeit mit Speicher wird durch Mechanismen sichergestellt, die auf der Kompilierungsstufe implementiert werden und keine zusätzlichen Kosten verursachen, wie sie in Sprachen mit Garbage Collection vorkommen. Zu den hauptsächlich vorgeschlagenen Sicherheitsmethoden gehören das Verfolgen des Eigentums an Objekten, die Überprüfung der Ausleihe von Variablen (Borrow Checker), die Verwendung eines sicheren Kontexts (Safe) sowie die Erstellung der Schnittstellen std2::send und std2::sync. Außerdem wird die Entwicklung einer sicheren Variante der Standardbibliothek behandelt, die Implementierungen von Algorithmen und Datenstrukturen bietet, die eine sichere Arbeit mit Speicher ermöglichen.

Quelle: opennet.ru