可変個引数は、ここで謎

Question

をテンプレートが正常に動作コードです：私たちは、カウントクラステンプレートを専門に部分的に必要とする理由

template<typename... Args> struct count; 

template<> 
struct count<> { 
static const int value = 0; 
}; 

template<typename T, typename... Args> 
struct count<T, Args...> { 
static const int value = 1 + count<Args...>::value; 
}; 

今私は思っていましたか？

は、我々のような何かを行うことができます：

template< typename... args> struct dd; // edited according to answer but now getting error redeclared with 2 template parameters which is point below with mark %% 

template<> 
struct dd<>{ 
static const int value = 0; 
}; 

template<typename T, typename... args> //%% 
struct dd{ 
static const int value= 1+ dd<args...>::value; 
}; 

をしかし、これは動作しますが、なぜしないのですか？

すべてのヘルプは非常に高く評価され:)

編集は：答えに応じたソリューションを編集しました。

Answer 1

あなたが Tを省略専門（すなわち dd<>）を作成することはできません template <typename T, typename... Args>で

- パックが空になることができますが、Tはできません。したがって、パックを1つだけ取り出し、空のパックを再帰を停止するように特化してテンプレートを宣言し、1つのタイプを解凍して（n - 1）タイプの新しいパックを作成するために部分的に<T, Args...>に特化します。

編集に関しては、異なる引数で同じ名前の別のテンプレートを定義することはできません。既存のものを特殊化する必要があります。

Answer 2

template<> 
struct dd<> { 
static const int value = 0; 
}; 

ddは、常に少なくとも1つのパラメータを必要としますと言い

template< typename T,typename... args> struct dd; 

の専門ではありません。

---

追記は、既に `可変長テンプレートパラメータの数とcount構造体は、あなたが`はsizeof（引数）を行うことができ

template <class ...args> 
struct count 
{ 
    static const int value = sizeof...(args); 
};