Panic-freies Rust: Kann Rust C für Low-Level-Systemprogrammierung ersetzen?

Dieser Artikel untersucht die Machbarkeit, C für Low-Level-Systemprogrammierung durch Rust zu ersetzen, insbesondere im Hinblick auf die Protocol-Buffers-Bibliothek upb. Der Autor bezweifelte zunächst, ob Rust in Bezug auf Performance und Codegröße mit C mithalten kann, entdeckte aber die Technik "Panic-freies Rust". Dies bedeutet, `panic!()` zu vermeiden. Der Artikel geht detailliert auf die Prinzipien, Vorteile und Herausforderungen von Panic-freiem Rust ein, einschließlich Codegröße, nicht wiederherstellbare Beendigung und Laufzeit-Overhead. Es wird gezeigt, wie man Panic-freies Rust-Code mit Techniken wie der Verwendung der libc-Bibliothek, Optimierungsoptionen und `std::hint::assert_unchecked` schreibt, wobei die Beibehaltung von Überlaufprüfungen im Debug-Modus für zusätzliche Konsistenzprüfungen hervorgehoben wird. Obwohl diese Technik sorgfältige Arbeit erfordert und möglicherweise das Vermeiden des größten Teils der Standardbibliothek notwendig macht, verspricht sie die Performance und Codegröße einer C-Bibliothek bei gleichzeitiger Beibehaltung der Sicherheit von Rust.