Assertion Macros

Testing และ validation macros เป็นเครื่องมือหลักสำหรับตรวจสอบความถูกต้องของโปรแกรม ทั้งในระหว่าง development และ production ช่วยให้ค้นหา bugs ได้เร็วและมี documentation ที่ชัดเจนเกี่ยวกับ invariants ของ code

หัวข้อหลัก: assert! Macro

assert! เป็น macro พื้นฐานสำหรับ runtime assertion checking โดยจะ panic ถ้า condition เป็น false ใช้ได้ทั้งใน tests และ production code

การใช้งานพื้นฐาน

assert! รับ boolean expression และ optional message สำหรับแสดงเมื่อ fail ถ้าไม่ใส่ message จะแสดง default message พร้อม expression ที่ fail

fn main() {
    // Basic assertion - must be true
    assert!(true);
    assert!(1 + 1 == 2);
    assert!(!false);

    println!("=== assert! Basics ===");
    println!("assert!(condition) - panics if false");

    // With message
    let value = 42;
    assert!(value > 0, "Value must be positive");
    assert!(value < 100, "Value {} is too large!", value);

    println!("All assertions passed!");

    // This would panic:
    // assert!(1 > 2, "Math is broken");
}