如何检测在可变参数模板第一个和最后一个参数？ [英] How to detect the first and the last argument in the variadic templates?

问题描述

如何检测在可变参数模板第一个和最后一个参数？

对于第一个参数很容易（只比较 ...的sizeof（T） 0），但有一种方法来检测的最后一个元素？

这个例子：

 的#include＆LT;＆iostream的GT;
＃包括LT＆;＆所属类别GT;模板＆LT;类... T＆GT;
一个结构
{
    INT美孚（INT K）{返回K表; };
};模板＆LT;组别为T1，类... T＆GT;
结构A＆LT; T1，T ...＆GT;
{
    A（）：A（）
    {
        性病::法院LT＆;＆LT;A i =＆LT;＆LT; ...的sizeof（T）LT;＆LT;的std :: ENDL
                 ＆LT;＆LT;一类=＆LT;＆LT; typeid的（T1）。名称（）＆LT;＆LT;的std :: ENDL;
    }    INT美孚（INT K）{返回anotherA.foo（a.foo（K））; };    T1一个;
    A＆LT;的...＆GT; anotherA;
};结构B1
{
    B1（）{性病::法院LT＆;＆LT;B1＆LT;＆LT;的std :: ENDL; };
    INT美孚（INT K）{性病::法院LT＆;＆LT;B1 :: foo的（）K =＆LT;＆LT; K＆LT;＆LT;的std :: ENDL;回归K + 1; };
};
结构B2
{
    B2（）{性病::法院LT＆;＆LT;B2＆LT;＆LT;的std :: ENDL; };
    INT美孚（INT K）{性病::法院LT＆;＆LT;B2 :: foo的（）K =＆LT;＆LT; K＆LT;＆LT;的std :: ENDL;回归K + 2; };
};
结构B3
{
    B3（）{性病::法院LT＆;＆LT;B3＆LT;＆LT;的std :: ENDL; };
    INT美孚（INT K）{性病::法院LT＆;＆LT;B3 :: foo的（）K =＆LT;＆LT; K＆LT;＆LT;的std :: ENDL;回归K + 3; };
};诠释的main（）
{
    A＆LT; B3，B2，B1＆GT;一个;    性病::法院LT＆;＆LT;值
             ＆所述;＆下; a.foo（5）
             ＆LT;＆LT;的std :: ENDL;
}
 

解决方案

我不是正面的，如果这是你想要的。但这里有两个名为公用事业第一和末页称取可变参数模板和typedef的分别在第一和最后一类：

 的#include＆LT;＆iostream的GT;
＃包括LT＆;＆所属类别GT;模板＆LT;组别为T1，类... T＆GT;
首先结构
{
    的typedef T1型;
};模板＆LT;组别为T1，类... T＆GT;
结构持续
{
    的typedef typename的最后＆LT;吨...＆GT; ::类型类型;
};模板＆LT;组别为T1＆GT;
结构持续＆LT; T1＆GT;
{
    的typedef T1型;
};模板＆LT;类... T＆GT;
一个结构
{
    的typedef typename的第一＆LT;吨...＆GT; ::型第一;
    的typedef typename的最后＆LT;吨...＆GT; ::类型最后;
};结构B1 {};
结构B2 {};
结构B3 {};诠释的main（）
{
    typedef的A＆LT; B1，B2，B3＆GT;笔;
    性病::法院LT＆;＆LT; typeid的（T ::第一）。名称（）＆LT;＆LT;的'\\ n';
    性病::法院LT＆;＆LT; typeid的（T ::最后一个）。名称（）＆LT;＆LT;的'\\ n';
}
 

How to detect the first and the last argument in the variadic templates?

For the 1st argument it is easy (just compare sizeof...(T) with 0), but is there a way to detect the last element?

The example :

#include <iostream>
#include <typeinfo>

template < class... T >
struct A
{
    int foo(int k){ return k; };
};

template < class T1, class... T >
struct A< T1, T... >
{
    A() :a()
    {
        std::cout<<"A  i="<<sizeof...(T)<<std::endl
                 <<"   a type = " << typeid(T1).name()<<std::endl;
    }

    int foo(int k){ return anotherA.foo( a.foo(k) ); };

    T1 a;
    A< T... > anotherA;
};

struct B1
{
    B1(){ std::cout<<"b1"<<std::endl; };
    int foo(int k){ std::cout<<"b1::foo() k="<<k<<std::endl; return k+1; };
};
struct B2
{
    B2(){ std::cout<<"b2"<<std::endl; };
    int foo(int k){ std::cout<<"b2::foo() k="<<k<<std::endl; return k+2; };
};
struct B3
{
    B3(){ std::cout<<"b3"<<std::endl; };
    int foo(int k){ std::cout<<"b3::foo() k="<<k<<std::endl; return k+3; };
};

int main ()
{
    A< B3, B2, B1 > a;

    std::cout<<"the value is "
             <<a.foo(5)
             << std::endl;
}

解决方案

I'm not positive if this is what you want. But here are two utilities named first and last that take variadic templates and typedef the first and last type respectively:

#include <iostream>
#include <typeinfo>

template <class T1, class ...T>
struct first
{
    typedef T1 type;
};

template <class T1, class ...T>
struct last
{
    typedef typename last<T...>::type type;
};

template <class T1>
struct last<T1>
{
    typedef T1 type;
};

template <class ...T>
struct A
{
    typedef typename first<T...>::type first;
    typedef typename last<T...>::type  last;
};

struct B1 {};
struct B2 {};
struct B3 {};

int main()
{
    typedef A<B1, B2, B3> T;
    std::cout << typeid(T::first).name() << '\n';
    std::cout << typeid(T::last).name() << '\n';
}

这篇关于如何检测在可变参数模板第一个和最后一个参数？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！