非タイプのパラメータパックでC++テンプレートの特殊化が失敗する

Question

私の質問はthis oneに関連するかもしれませんが、ここでは「部分的に特殊化された非型引数式」がない、またはその関係を理解し​​ていないと思います。

次のコードは、MSVC14コンパイラ（CPP11）と内部エラーを生成する：

template<typename T, T... Elmts> 
struct NonTyped 
{ 

}; 

template<typename T> 
struct is_NonTyped_of_type 
{ 
    template<typename TL> 
    static constexpr bool check = false; 

    template<T... Elmts> 
    static constexpr bool check<NonTyped<T, Elmts...>> = true; 
}; 

cout << is_NonTyped_of_type<int>::check<NonTyped<int, 5>> << endl; 

代わりに非型パラメータパックの唯一の非型パラメータを使用すると、期待通りに動作し、これは失敗するであろう。

これは標準で禁止されているのか、定義されていませんか？それは何のルールですか？

回避策はありますか？

ありがとうございました！

編集

solution実際MSVC14では動作しませんでした@StoryTellerによって与えられたが、私たちがここに持っている問題を理解することは非常に便利です。あなたの助けてくれてありがとう、StoryTeller！

Answer 1

Clangはコードを受け取りますが、GCCは受け付けません。変数テンプレートの部分的な特殊化はそのままでいいはずです。実際の計算を行うために、通常のクラステンプレートを使用した試行錯誤した方法にいつでも戻ることができます。

template<typename T> 
class is_NonTyped_of_type 
{ 
    template<typename TL> 
    struct check_impl : std::false_type {}; 

    template<T... Elmts> 
    struct check_impl<NonTyped<T, Elmts...>> : std::true_type {}; 

public: 
    template<typename TL> 
    static constexpr bool check = check_impl<TL>::value; 
};