Обработка строкового литерала в классическом C++

#include <cstddef>
 
// TypeList implementation begins...
struct NullList;
 
template <typename Head, typename Tail = NullList>
struct TypeList;
 
// Эти повторения могут быть сгенерированы через макро
template <
    typename Arg0 = NullList, typename Arg1 = NullList
  , typename Arg2 = NullList, typename Arg3 = NullList
  , typename Arg4 = NullList, typename Arg5 = NullList
  , typename Arg6 = NullList, typename Arg7 = NullList
  , typename Arg8 = NullList, typename Arg9 = NullList // Etc... 
>
struct MakeList
{
private:
    typedef typename MakeList<
        Arg1, Arg2, Arg3
      , Arg4, Arg5, Arg6
      , Arg7, Arg8, Arg9
    >::Result TailType;
 
public:
    typedef TypeList<Arg0, TailType> Result;
};
template <>
struct MakeList<>
{
    typedef NullList Result;
};
 
template <char C>
struct CharToType {};
 
template <int Ax, typename TailType>
struct SplitChars;
 
template <typename TailType>
struct SplitChars<0, TailType>
{
    typedef TailType Result;
};
 
template <int Ax, typename TailType>
struct SplitChars 
{
    typedef typename SplitChars<
        (Ax >> 8), TypeList<CharToType<(Ax & 0xff)>, TailType>
    >::Result Result;
};
 
// Эти повторения могут быть сгенерированы через макро
template <
    int a0 = 0, int a1 = 0
  , int a2 = 0, int a3 = 0
  , int a4 = 0, int a5 = 0
  , int a6 = 0, int a7 = 0
  , int a8 = 0, int a9 = 0 // Etc... 
>
struct MakeString 
{
private:
    typedef typename MakeString<
        a1, a2, a3
      , a4, a5, a6
      , a7, a8, a9
    >::Result TailType;
 
public:
    typedef typename SplitChars<a0, TailType>::Result Result;
};
template <>
struct MakeString<>
{
    typedef NullList Result;
};
 
#include <iostream>
 
template <typename X>
void demo() 
{
    std::cout << __PRETTY_FUNCTION__ << std::endl;
}
 
int main() 
{
    demo<MakeString<'abcd', 'efg', 'h'>::Result>();
}