c++ - 这是什么类型的类模板定义？

Question

template<class T> struct is_ref_wrapper<std::reference_wrapper<T>> : std::true_type {};

它出现在 possible implementation 中的 std::experimental::make_array .对我来说它看起来很奇怪的原因是类名包含一个模板参数列表 <std::reference_wrapper<T>>仅提及一个参数，但该参数位于类的模板参数内(即某些内容已被省略)。

Answer 1

您链接到的页面中的其他相关行是:

template<class> struct is_ref_wrapper : std::false_type {};

这定义了通用模板。下一行是专业。

template<class T> struct is_ref_wrapper<std::reference_wrapper<T>> : std::true_type {};

当 is_ref_wrapper用 std::reference_wrapper<T> 实例化作为模板参数，使用特化。