现在还只是基本,之后有心情会想办法同时获得非类型参数,这个的研究是为了获取Lambda的捕获内容,不过我发现对于Lambda的结构并不成立,Lambda本身的捕获可能不是靠可变参数模板来实现的,但是Lambda本身有operator(),可以靠这个函数的class特化来匹配,获得Lambda的入参类型等,和普通仿函数一致,不过这不是这篇博客的内容。
template<typename ClassName>
struct Template_Type_Traits
{
};
template<template<typename ...Args> class ClassName, typename ...Args>
struct Template_Type_Traits<ClassName<Args...>>
{
template<size_t i>
using type = typename std::tuple_element<i, std::tuple<Args...> >::type;
template<typename ...InputArgs>
using classType = ClassName<InputArgs...>;
};
int main()
{
Template_Type_Traits<std::vector<char>>::type<0> i;
std::cout << typeid (i).name ();
return 0;
}