Tipos de tempo de execução alternam para listas de tipos como uma opção em vez de um if aninhado?

Question

Jan 28, 2010, 08:05 PM

Tipos de tempo de execução alternam para listas de tipos como uma opção em vez de um if aninhado?

Isto é do 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);
        }
      }
  };

É usado para alternar tipos em uma TypeList. A questão é - eles estão fazendo isso através de uma série de if's aninhados. Existe uma maneira de fazer esse tipo alternar como uma única instrução de seleção?

Obrigado!