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 {};