Constraints and Concepts

Challenges in writing C++ metaprograms

So far, we have covered quite a few important techniques for writing C++ metaprograms. We have seen how templates can generate concrete classes and functions for us with excellent support from the type traits library. Furthermore, we have seen how using constexpr, consteval, and if constexpr can help us move computations from runtime to compile time. That way, we can detect programming errors at compile time and write programs with lower runtime costs. This is great, but there is still plenty of room for improvement in writing and consuming generic code in C++.