c++ - 从模板化类中提取模板

Question

我正在尝试从模板类的实例中提取类型包:

template <template <class T, class... Ts> class>
using first_in_template_class = T;

我尝试了这个和其他类似的变体，但出现此错误:

unknown type name 'T'

怎么办呢？
附言我知道我可以在 std::tuple_element情况下使用 std::tuple，但是我正在寻找一种从模板化类中提取类型的方法。

Answer 1

您可以使用:

template <typename T>
struct extract_first {};

template <template <typename...> typename ClassTemplate, typename... ClassTemplateParams>
struct extract_first<ClassTemplate<ClassTemplateParams...> > {
    using type = typename std::tuple_element<0, std::tuple<ClassTemplateParams...> >::type;
};