Next: Foundational: Calling static_assert with a constant, Previous: Motivation, Up: Meta-error handling: static_assert [Contents]
Very brief introduction to the topic.
static_assert is a compile-time evaluated function that asserts
the truth of a supplied predicate, issuing an optional user-supplied
error message if the predicate is false.