Rotating Variadic Template Metaprogramming
29 Oct 2016Happy Halloween! If anyone is looking for a well-presented C++ core concept video, at msdn, Stephen T. Lavavej, has a series of videos which are highly recommended.
I’m sure many of us have heard how the compiler is Turing complete. In Stephen’s 8th video, he showed us how to manipulate template parameters to sort an int array of arbitrary length during compile time using variadic template metaprogramming. Mind = Blown.
Okay, this TMP isn’t rotating, but I thought I get my hands dirty by implementing the rotate algorithm from STL’s algorithm library. Rotate takes a list and shuffles all the elements forward by one, with the element at the front of the list being pushed to the back.
I like to have my conclusion at the top for those with shorter attention spans, such as myself. TLDR, variadic template meteprgramming is essentially a special syntax for writing recurision with the compiler. Each parameter pack is expanded until the recursion’s base case, which is typically a class template specialization with no entries. Something that took a bit for me to get used to is that partial specialization can have an arbitrary number of deduced template types that does not need to match the primary template, and these deduced types can be nested in other data structures, cool!
Alright, let’s see some code. First we need to define a non-type variadic template that can hold the arbitrary length of ints we pass into.
Our primary template, Rotate, takes in a single type that’s specialized into taking an Ints struct holding an arbitrary number of ints.
To print out the rotated ints, we can declare another class template, MakeArray, that’ll turn our types into a std::array.
And to put all this together, we will need to pass in the rotated type from Rotate into MakeArray.
A sample call from the main would be:
Full sauce can be found here, and there’s something extra for how to sum a list of array TMP style as well.