c++ - 检查传递给可变参数模板的类型

Question

我想实现这样的目标:

template<class... Args>
class MyClass{
  public:
    MyClass(){
      for(auto arg : {sizeof(Args)...})
        std::cout<<arg<<std::endl;
    }
};

但有一个简单的异常(exception)。 char* 类型应返回 0(或其他所有与 int 不同的值)。

Answer 1

下面的怎么样？

/* heavily borrowed from IBM's variadic template page */
#include <iostream>
using namespace std;

/*
template<typename T> struct type_size{
    operator int(){return sizeof( T );}
};

template<> struct type_size <char *>{
    operator int(){return 0;}
};
*/
/* as per Mattieu M.'s suggestion */
template<typename T> constexpr size_t type_size(T dummy) {
return sizeof dummy;
}

constexpr size_t type_size(char *){
    return 0;
} 
template <typename...I> struct container{
    container(){
    int array[sizeof...(I)]={type_size<I>()...};
    printf("container<");
    for(int count = 0; count<sizeof...(I); count++){
        if(count>0){
            printf(",");
        }
        printf("%d", array[count]);
    }
    printf(">\n");
    }
};

int main(void){
   container<int, short, char *> g;
}