非タイプの部分特殊化タプルが使用されないのはなぜですか？

Question

私は（C++ 17個の機能を使用して）次のことを達成しようとしています：グラムで私に次のエラーを与える

#include <type_traits> 

template<auto value_> 
using constant_t = std::integral_constant<decltype(value_), value_>; 

template<typename ... > class Tuple {}; 

template<auto ... values_> 
class Tuple<constant_t<values_> ... > {}; 

int main(void) 
{ 
    Tuple<int, int, char> types; 
    Tuple<1, 2, 3> values; 
} 

++ - 7.1.0

main.cpp: In function ‘int main()’: 
main.cpp:15:18: error: type/value mismatch at argument 1 in template parameter list for ‘template<class ...> class Tuple’ 
    Tuple<1, 2, 3> values; 
      ^
main.cpp:15:18: note: expected a type, got ‘1’ 
main.cpp:15:18: error: type/value mismatch at argument 1 in template parameter list for ‘template<class ...> class Tuple’ 
main.cpp:15:18: note: expected a type, got ‘2’ 
main.cpp:15:18: error: type/value mismatch at argument 1 in template parameter list for ‘template<class ...> class Tuple’ 
main.cpp:15:18: note: expected a type, got ‘3’ 

、なぜ一部の誰もが説明できますTuple<1, 2, 3>の特化は有効になりませんか？

Answer 1

1と2と3はタイプではありません。特殊化では、プライマリテンプレートを値を受け入れるように変更することはできません（また、変更することもできません）。

あなたが値を受け入れるテンプレートをしたい場合は、エイリアステンプレートではなく専門のことを行うことができます。

template<auto... values_> 
using VTuple = Tuple<constant_t<values_>... >; 

しかし、それは別のテンプレートです。