介绍一下typelist

TypeList 是一个模板元编程技术中的一个概念，它是一种可以存储多个类型的列表结构，可以用于实现模板元函数和模板类等。TypeList 通常使用递归模板来实现，它的最基本的形式是一个空列表 TypeList<>, 也可以通过递归将多个类型组成一个列表 TypeList<T1, TypeList<T2, TypeList<T3, ...>>>。TypeList 可以用于实现许多元编程中的技巧，如类型转换、类型列表运算、类型递归展开等。