Тип типа для std :: array

Question

Я пытаюсь определить черту типа, которую я могу использовать с static_assert, чтобы управлять тем, что один из моих классов шаблонов создается только с помощью s td::array<T,n>. Вот моя попытка:

template <typename T> 
struct is_std_array : public false_type {}; 

template <template <typename, size_t> class T, typename V, size_t n> 
struct is_std_array<std::array<V, n>> : public true_type {}; 

Но я получаю следующее предупреждение от лязга:

warning: class template partial specialization contains a template parameter 
that cannot be deduced; this partial specialization will never be used 
non-deductible template parameter 'T' 

Почему 'T' не вычитаются? Как это исправить?

Answer 1

Ваш синтаксис на специализирующемся неправильно:

template <template <typename, size_t> class T, typename V, size_t n> 

Вы введение три параметров шаблона здесь: первые из которых представляет собой шаблон шаблона параметр с именем T, который принимает два параметра: тип и size_t. Поскольку T не ссылается где-нибудь в вашей статье специализации:

struct is_std_array<std::array<V, n>> // <== no T 

это, не выводится контекст. Подумайте о том, что то же написанной функции:

template <template <typename, size_t> class T, typename V, size_t n> 
void foo(std::array<V, n>); 

Здесь также T является не выводится контекст и поэтому должны быть указаны в явном виде. Тем не менее, вам действительно не нужно T! Только V и n. Вы имеете в виду просто ввести два соответствующих параметра напрямую:

template <typename V, size_t n> 
struct is_std_array<std::array<V, n>> : public true_type {};