Emulating Rust's Borrow Checker in C++
summary
A header-only C++ library demonstrates how templates, RAII and move semantics can emulate Rust’s borrow checker to enforce exclusive borrows and prevent mutable aliasing at compile time. It uses template metaprogramming, constexpr checks and a few annotations to plug into existing types, catching use-after-move and ownership violations during compilation with no runtime overhead.
AI-written summary · about
related talks
53mThe Rust Borrow Checker - A Deep Dive
36mThe Rust Borrow Checker: A Deep Dive
22mThe Rust Borrow Checker - A Deep Dive
50mRust's Borrow Checker Proven Correct!
38mThe Rust Borrow Checker: a Deep Dive
01h 29mA Friendly Introduction to Rust for C++ Developers
01h 22mRust for the C++ Programmer
59mRust for C++ developers - What you need to know to get rolling with crates