c++ - 可変個引数テンプレートに渡されるチェックタイプ

Question

私はそのようなことを達成したいと思います：

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

しかし、1つの単純な例外を除いて。型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;
}

Answer 2

template<typename T>
std::size_t size()
{
    return sizeof(T);
}

template<>
std::size_t size<char*>()
{
    return 0;
}

template<class... Args>
class MyClass{
public:
    MyClass()
    {
        std::initializer_list<char> { (std::cout << size<Args>(), void(), char {})... };
    }
};

実は私は醜さEXPANDを隠すマクロを持っていますが（ +コンマ演算子のトリックは言うまでもありません）、のように見えます。std::initializer_listvoid()EXPAND( std::cout << size<Args>() )