Тип переключателя во время выполнения для списков типов как переключатель вместо вложенного, если?

Это из TTL:

////////////////////////////////////////////////////////////
//  run-time type switch
template <typename L, int N = 0, bool Stop=(N==length<L>::value) > struct type_switch;

template <typename L, int N, bool Stop>
  struct type_switch
  {
    template< typename F >
      void operator()( size_t i, F& f )
      {
        if( i == N )
        {
          f.operator()<typename impl::get<L,N>::type>();
        }
        else
        {
          type_switch<L, N+1> next;
          next(i, f);
        }
      }
  };

Он используется для переключения типов в TypeList. Вопрос в том, что они делают это через ряд вложенных if. Есть ли способ сделать этот тип переключения в качестве одного оператора выбора вместо?

Спасибо!

Ответы на вопрос(3)

Ваш ответ на вопрос