c++ - 类型列表的运行时类型开关作为开关而不是嵌套的 if's？

Question

这是来自 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 来做到这一点的。有没有办法将这种类型切换作为单个选择语句来代替？

谢谢!

Answer 1

你需要预处理器来生成一个大的 switch .你需要 get<>到无操作越界查找。检查编译器输出以确保未使用的情况不会产生输出，如果你关心的话；根据需要调整 ;v) .

如果您想擅长这类事情，请查看 Boost 预处理器库……

template <typename L>
  struct type_switch
  {
    template< typename F >
      void operator()( size_t i, F& f )
      {
        switch ( i ) {
         #define CASE_N( N ) \
         case (N): return f.operator()<typename impl::get<L,N>::type>();
         CASE_N(0)
         CASE_N(1)
         CASE_N(2)
         CASE_N(3) // ad nauseam.
      }
  };