C++ assert vs static_assert

C++ assert vs static_assert

C++ provides two mechanisms to enforce assumptions: assert and static_assert. Though they seem similar, they operate at very different stages and serve distinct purposes.

🔍 assert — Runtime Check

assert verifies conditions at runtime. If the condition is false, it prints an error and aborts execution.

#include <cassert>

int divide(int x, int y) {
    assert(y != 0);  // Aborts if y is 0
    return x / y;
}

assert is typically used in debug builds and is disabled when NDEBUG is defined.

🧱 static_assert — Compile-Time Check

static_assert checks conditions during compilation. If the condition fails, compilation is stopped with an error message.

static_assert(sizeof(int) == 4, "This code assumes 4-byte int");

It requires a constant expression and is especially useful in templates and platform checks.

📊 Comparison

💡 When to Use

• Use assert when:
  • Checking runtime logic or data
  • Validating function arguments or invariants
  • You want the check only in debug builds
• Use static_assert when:
  • Verifying type or size constraints
  • Ensuring correctness in templates
  • Enforcing compile-time invariants

Conclusion

Both assert and static_assert help detect bugs early, but at different phases. Use static_assert for guarantees the compiler can enforce, and assert for logic that must be verified at runtime during development.

C/C++ Programming

• Understanding std::transform_reduce in Modern C++
• Implement a Lock Acquire and Release in C++
• Detecting Compile-time vs Runtime in C++: if consteval vs std::is_constant_evaluated()
• C++ Forward References: The Key to Perfect Forwarding
• Understanding dynamic_cast in C++: Safe Downcasting Explained
• C vs C++: Understanding the restrict Keyword and its Role in Optimization
• C++ Lvalue, Rvalue and Rvalue References
• C++ assert vs static_assert
• Why auto_ptr is Deprecated in C++?
• C++ What is the consteval? How is it different to const and constexpr?
• Tutorial on C++ std::move (Transfer Ownership)
• const vs constexpr in C++
• Tutorial on C++ Ranges
• Tutorial on C++ Smart Pointers
• Tutorial on C++ Future, Async and Promise
• The Memory Manager in C/C++: Heap vs Stack
• The String Memory Comparision Function memcmp() in C/C++
• Modern C++ Language Features
• Comparisions of push_back() and emplace_back() in C++ std::vector
• C++ Coding Reference: is_sorted_until() and is_sorted()
• C++ Coding Reference: iota() Setting Incrementing Values to Arrays or Vectors
• C++ Coding Reference: next_permutation() and prev_permutation()
• C++ Coding Reference: count() and count_if()
• C++ Code Reference: std::accumulate() and Examples
• C++ Coding Reference: sort() and stable_sort()
• The Next Permutation Algorithm in C++ std::next_permutation()

–EOF (The Ultimate Computing & Technology Blog) —