You can use static_assert but compilers observe assert already. assume is another commonly used invariant.