What Is Macro Hygiene in Rust?

Macro hygiene in Rust is a compiler mechanism that prevents macros from accidentally capturing or conflicting with variables defined in the calling code. It ensures that identifiers generated inside a macro are treated as distinct from those in the surrounding scope, avoiding name collisions. This is managed automatically by the compiler using Span and Hygiene attributes, so you rarely need to configure it manually.

// Example: Hygiene prevents 'x' in the macro from shadowing 'x' in main
macro_rules! print_x {
    () => {
        let x = 42; // This 'x' is hygienic and won't conflict
        println!("Macro x: {}", x);
    };
}

fn main() {
    let x = 10; // This 'x' is safe from the macro
    print_x!(); // Prints: Macro x: 42
    println!("Main x: {}", x); // Prints: Main x: 10
}

Macro hygiene is like giving every variable a unique ID tag so the compiler knows exactly which one you mean, even if two variables share the same name. It matters because it stops macros from accidentally breaking your code by overwriting variables you didn't intend to touch. You use it automatically whenever you write or call a macro to ensure your code behaves predictably.