How can I create a n way Cartesian product of type lists in C++?

Question

Self explanatory.

Basically, say I have type lists like so:

using type_list_1 = type_list;
using type_list_2 = type_list

        

Answer 1

With Boost.Mp11, this is a short one-liner (as always):

using result = mp_product<
    type_list,
    type_list_1, type_list_2, type_list_3>;

Demo.