Mathieu and Jason are joined by Jon Bauman to discuss safety and interoperability between Rust and C++. They dig into what "safety" really means (there are several categories of safety), what can and can't be guaranteed, how C++ could become a memory-safe language, and the challenges of making Rust and C++ work well together. Jon is currently looking for sponsorship to continue this important work. You can contact Jon via Joncppcast@shumi.org.

Links

• Jon's talks - YouTube playlist
• P3874R1: Should C++ be a memory-safe language? - Jon Bauman, Timur Doumler, Nevin Liber, Ryan McDougall, Pablo Halpern, Jeff Garland, Jonathan Müller
• P3874 R1 Should C++ be a memory-safe language? - cplusplus/papers issue #2475
• C++ Interoperability Initiative problem statement - Rust Foundation
• BorrowSanitizer - an LLVM sanitizer for finding aliasing violations across Rust, C and C++
• C++/Rust Interop Problem Space Mapping - Rust Project Goals 2025H2
• Miri example on the Rust Playground
• There is no memory safety without thread safety - Ralf Jung
• RustBelt: Logical Foundations for the Future of Safe Systems Programming - MPI-SWS
• Understanding and Evolving the Rust Programming Language - Ralf Jung's PhD thesis