将变异模板链接在一起

如果将以下代码中的X转换为使用C++ 11变量模板，并且应该支持任意数量的模板参数，那该怎么办？将变异模板链接在一起

template<int OFFSET> 
struct A { enum O { offset = OFFSET }; enum S { size = 2 }; }; 

template<int OFFSET> 
struct B { enum O { offset = OFFSET }; enum S { size = 4 }; }; 

template<int OFFSET> 
struct C { enum O { offset = OFFSET }; enum S { size = 10 }; }; 

template < template <int> class B0, 
      template <int> class B1, 
      template <int> class B2 > 
struct X : public B0<1>, 
        B1<B0<1>::size * B0<1>::offset >, 
        B2< B1<B0<1>::size * B0<1>::offset >::size * 
         B1<B0<1>::size * B0<1>::offset >::offset > 
{ }; 

int main(int argc, const char *argv[]) 
{ 
    X<A, B, C> x; 
    return 0; 
}

来源

2012-01-07 Allan

可能：

template <int Var, template <int> Head, typename... Tail> 
struct X_helper : Head<Var>, 
       , X_helper<Head<Var>::size * Head<Var>::offset, Tail...> 
{}; 

template <int Var, template <int> Arg> 
struct X_helper : Head<Var> 
{}; 

template <typename... Args> 
struct X : X_helper<1, Args...> 
{};

我希望我得到的语义正确。

来源

2012-01-07 10:13:05 filmor

有一些细节丢失，你传递'参数数量...''到，但X_helper'，预计第一个参数是'int'。 – SirGuy 2016-07-05 20:13:18

你是绝对正确的，谢谢:) – filmor 2016-07-06 10:09:14

你还对这个问题感兴趣吗？

我正在使用C++ 11，所以我试着回答。

我不知道你想要什么（呃...你想在2012年），但我认为下面的例子应该赶上你的要求。

template<int OFFSET> 
struct A { enum O { offset = OFFSET }; enum S { size = 2 }; }; 

template<int OFFSET> 
struct B { enum O { offset = OFFSET }; enum S { size = 4 }; }; 

template<int OFFSET> 
struct C { enum O { offset = OFFSET }; enum S { size = 10 }; }; 

template <int N, template <int> class ...> 
    struct H; 

template <int N> 
    struct H<N> 
    { }; 

template <int N, 
      template <int> class C1, 
      template <int> class ... Cs> 
    struct H<N, C1, Cs...> : public C1<N>, 
          public H<C1<N>::size * C1<N>::offset, Cs...> 
    { }; 

template <template <int> class ... C> 
    struct X : public H<1, C...> 
    { }; 

int main() 
{ 
    X<A, B, C> x; 

    return 0; 
}

P.S：对不起，我的英语不好

来源

2016-07-05 19:59:53 max66

将变异模板链接在一起

回答

相关问题