パラメータパックを展開し、引数リストを定義することはできますか？

Question

[temp.variadic]（作業草案）から、別のテンプレートクラスまたは関数の引数リストを定義しながら、パラメータパックを展開することができました。

は、次のクラスを考えてみましょう：

template<typename... T> 
struct S { 
    template<T... I> 
    void m() {} 
}; 

int main() { 
    S<int, char> s; 
    // ... 
} 

意図がキャプチャにテンプレートクラスSを専門とメンバーメソッドの非型パラメータの引数リストを定義するためにそれらを使用するために使用さタイプですm （Tは数種類に限られますが、これは質問の議論ではありません）。

この法的コードはありますか？私はそれを使用した方法でパラメータパックを使うことができますか、私は標準を誤解していますか（確かにそうだと確信しています）？

• s.m<0, 'c'>()：ここで、質問に詳細を追加するために

  ---

  は、主要なコンパイラといくつかの実験からのいくつかの結果であるclang v3.9は、GCC v6.2それをコンパイルし、エラーを返しGCC v7。

• s.m<0>();：clang v3.9はエラーを返し、GCC v7はICEでコンパイルを停止しGCC v6.2、それをコンパイルします。

• s.m<>();：clang v3.9,およびGCC v7エラーなしでコンパイルします。

少なくとも、コンパイラは私と同じように混乱しているようです。

Answer 1

テンプレートSの定義、およびインスタンス化S<int, char>が有効です。

[temp.param]/15参照：「タイプ一つ以上の非拡張パラメータパックを含んパラメータ宣言あるテンプレートパラメータパックは、パックの拡張です。」

これはtemplate<T ...I>は、2つの異なるものの一つを意味することができますことを意味しますTは、非パックタイプであれば、それはTの任意の数を受け入れ、通常のパラメータパックを宣言します。しかし、Tに拡張されていないパラメータパックが含まれている場合、外側のテンプレートがインスタンス化されるときにパラメータ宣言が一連のパラメータに展開されます。

mへのあなたの最初の呼び出しは有効ですが、mにあなたの第二と第三の呼び出しは

S<int, char>のインスタンス化が次のようになります悪い形成されている：

template<> 
struct S<int, char> { 
    template<int I$0, char I$1> 
    void m() {} 
}; 

（どこI$0とI$1をパックの最初と2番目のスライスはIです）。したがって

（I$0もI$1どちらも呼び出しからmに推論することができるので）、s.m<0,'c'>()は有効ですが、s.m<0>()とs.m<>()が悪い形成されています。